A to Z List of Ebooks
| Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
|---|---|---|---|---|---|---|
| Computer Aided Systems Theory — EUROCAST '93 | Franz Pichler, Roberto Moreno DÃaz |
9783540482864 |
Springer |
Computer Science |
763 |
1994 |
| Computer Aided Systems Theory — EUROCAST '95 | Franz Pichler, Roberto Moreno DÃaz, Rudolf Albrecht |
9783540493587 |
Springer |
Computer Science |
1030 |
1995 |
| Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg | Kim G. Larsen, Arne Skou |
9783540467632 |
Springer |
Computer Science |
575 |
1992 |
| Computer Aided Verification: 5th International Conference, CAV '93 Elounda | Costas Courcoubetis |
9783540477877 |
Springer |
Computer Science |
697 |
1993 |
| Computer Aided Verification: 6th International Conference, CAV '94 Stanford | David L. Dill |
9783540484691 |
Springer |
Computer Science |
818 |
1994 |
| 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 |
