A to Z List of Ebooks
| Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
|---|---|---|---|---|---|---|
| Computational Texture and Patterns | Kristin J. Dana |
9783031018237 |
Synthesis Collection of Technology (R0) |
Computing and Processing |
2018 |
|
| Computational Thermodynamics of Materials | Liu/Wang |
9781139018265 |
Cambridge University Press |
Engineering, Solid Mechanics and Materials, Materials Science |
2016 |
|
| Computational View of Autism | Uttama Lahiri |
9783030402372 |
Springer |
Computer Science |
2020 |
|
| Computations in Higher Types | Johan Moldestad |
9783540374251 |
Springer |
Mathematics |
574 |
1977 |
| Computer Aided Design Modelling, Systems Engineering, CAD-Systems | Jose Encarnacao |
9783540383246 |
Springer |
Computer Science |
89 |
1980 |
| Computer Aided Learning and Instruction in Science and Engineering | Arantza DÃaz de Ilarraza Sánchez, Isabel Fernández de Castro |
9783540686750 |
Springer |
Computer Science |
1108 |
1996 |
| Computer Aided Systems Theory – EUROCAST 2019 | Roberto Moreno-DÃaz, Franz Pichler, Alexis Quesada-Arencibia |
9783030450939 |
Springer |
Computer Science |
2020 |
|
| Computer Aided Systems Theory – EUROCAST 2019 | Roberto Moreno-DÃaz, Franz Pichler, Alexis Quesada-Arencibia |
9783030450960 |
Springer |
Computer Science |
2020 |
|
| Computer Aided Systems Theory — CAST '94 | George J. Klir, Tuncer I. Ören |
9783540686002 |
Springer |
Computer Science |
1105 |
1996 |
| Computer Aided Systems Theory — EUROCAST '89 | F. Pichler, R. Moreno-Diaz |
9783540469322 |
Springer |
Computer Science |
410 |
1990 |
| Computer Aided Systems Theory — EUROCAST '91 | Franz Pichler, Roberto Moreno DÃaz |
9783540470342 |
Springer |
Computer Science |
585 |
1992 |
| 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 |
