A to Z List of Ebooks
Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
---|---|---|---|---|---|---|
Computer Aided Verification: 7th International Conference, CAV '95 Liège | Pierre Wolper | 9783540494133 | Springer | Computer Science | 939 | 1995 |
Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick | Rajeev Alur, Thomas A. Henzinger |
9783540685999 |
Springer |
Computer Science |
1102 |
1996 |
Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal | Gregor Bochmann, David Karl Probst |
9783540475729 |
Springer |
Computer Science |
663 |
1993 |
Computer Algebra and Parallelism | Richard E. Zippel |
9783540470267 |
Springer |
Computer Science |
584 |
1992 |
Computer Algebra in Scientific Computing | François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov |
9783030600266 |
Springer |
Computer Science |
2020 |
|
Computer Algebra: EUROCAL'83, European Computer Algebra Conference London | J. A. Hulzen |
9783540387565 |
Springer |
Computer Science |
162 |
1983 |
Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille | Jacques Calmet |
9783540394334 |
Springer |
Computer Science |
144 |
1982 |
Computer Analysis of Images and Patterns: 5th International Conference, CAIP'93 Budapest | Dmitry Chetverikov, Walter G. Kropatsch |
9783540479802 |
Springer |
Computer Science |
719 |
1993 |
Computer Analysis of Images and Patterns: 6th International Conference, CAIP '95 Prague | Václav HlaváÄ, Radim Šára |
9783540447818 |
Springer |
Computer Science |
970 |
1995 |
Computer Animation and Social Agents | Feng Tian, Xiaosong Yang, Daniel Thalmann, Weiwei Xu, Jian Jun Zhang, Nadia Magnenat Thalmann, Jian Chang |
9783030634261 |
Springer |
Computer Science |
2020 |
|
Computer architecture | Patterson Hennessy |
9780080475028 |
Elsevier |
Computer architecture |
4th ed. |
2006 |
Computer Architecture Performance Evaluation Methods | Lieven Eeckhout |
9783031017278 |
Synthesis Collection of Technology (R0) |
Computing and Processing |
2010 |
|
Computer Architecture Techniques for Power-Efficiency | Stefanos Kaxiras, Margaret Martonosi |
9783031017216 |
Synthesis Collection of Technology (R0) |
Computing and Processing |
2008 |
|
Computer Assisted Learning: 2nd International Conference, ICCAL '89 Dallas | Hermann Maurer |
9783540461630 |
Springer |
Computer Science |
360 |
1989 |
Computer Assisted Learning: 3rd International Conference, ICCAL '90 Hagen | Douglas H. Norrie, Hans-Werner Six |
9783540471110 |
Springer |
Computer Science |
438 |
1990 |
Computer Assisted Learning: 4th International Conference, ICCAL '92 Wolfville | Ivan Tomek |
9783540472216 |
Springer |
Computer Science |
602 |
1992 |
Computer holography: acceleration algorithms and hardware implementations | Shimobaba, Tomoyoshi &Ito, Tomoyoshi |
9780429428005 |
CRC Press |
Electrical Engineering, Image Processing |
2019 |
|
Computer Information Systems and Industrial Management | Khalid Saeed, Jiřà Dvorský |
9783030476793 |
Springer |
Computer Science |
2020 |
|
Computer Methods and Borel Summability Applied to Feigenbaum's Equation | Jean-Pierre Eckmann, Peter Wittwer |
9783540393597 |
Springer |
Physics |
227 |
1985 |
Computer Networks | Piotr Gaj, Wojciech Gumiński, Andrzej Kwiecień |
9783030507190 |
Springer |
Computer Science |
2020 |