| | Books 1 - 10 of 14 | Previous | Next | 
|  | | STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 990. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Christian Choffrut (Editor), Thomas Lengauer (Editor)
Paperback, 312 Pages, Published 1990 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Euro-Par '97 Parallel Processing: Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997 : Proceedings (Lecture Notes in Computer Science)
by Christian Lengauer (Editor), Martin Griebl (Editor), Sergei Gorlatch (Editor)
Paperback, 1380 Pages, Published 1997 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Constructive Methods for Parallel Programming (Advances in the Theory of Computational Mathematics, V. 10.)
by Sergei Gorlatch (Editor), Christian Lengauer (Editor)
Hardcover, 182 Pages, Published 2002 by Nova Science Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Object Orientation with Parallelism and Persistence (The Springer International Series in Engineering and Computer Science) (1st Edition)
by Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek
Hardcover, 248 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers (Lecture Notes in Computer Science) (1st Edition)
by Christian Lengauer (Editor), Don Batory (Editor), Charles Consel (Editor), Martin Odersky (Editor)
Paperback, 325 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Euro-Par'97, Parallel Processing : Proceedings of the Third InternationalEuro-Par Conference, Passua, Germany, August 1997 (Lecture Notes inComputer Science 1300)
by Christian, Martin Griebl, Sergei Gorlatch, Eds. Lengauer
Hardcover, Published 1997 by Publisher Unknown
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Automated deduction in programming language semantics: The mechanical certification of program transformations to derive concurrency (Technical report. ... Texas at Austin. Dept. of Computer Sciences)
by Christian Lengauer
Unknown Binding, 25 Pages, Published 1985 by University of Texas at Austin, Dept. of Computer Sciences
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A mechanically certified theorem about optimal concurrency of sorting networks, and its proof (Technical report. University of Texas at Austin. Dept. of Computer Sciences)
by Christian Lengauer
Unknown Binding, 15 Pages, Published 1985 by University of Texas at Austin, Dept. of Computer Sciences
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Euro-Par'97, Parallel Processing : Proceedings of the Third International Euro-P
by Christian, Martin Griebl, Sergei Gorlatch, Eds. Lengauer
Paperback, Published 1997 by New York, NY, U.S.A. Springer-Verlag New York, Incorporated .
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A view of automated proof checking and proving (TR. University of Texas at Austin. Department of Computer Science)
by Christian Lengauer
Unknown Binding, 19 Pages, Published 1986 by University of Texas, Dept. of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 14 | Previous | Next |
|