| Biblio No. |
Subject |
Title |
Author |
Publisher |
Image |
|
48622
|
Computer science
|
Verified Software: Theories, Tools, Experiments |
Natarajan Shankar, Jim Woodcock
|
Springer
|
 |
|
48623
|
Computer science
|
Model Driven Engineering Languages and Systems |
Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter
|
Springer
|
 |
|
48624
|
Computer science
|
Conceptual Modeling - ER 2008 |
Qing Li, Stefano Spaccapietra, Eric Yu, Antoni Olivé
|
Springer
|
 |
|
48625
|
Computer science
|
Quality of Software Architectures. Models and Architectures |
Steffen Becker, Frantisek Plasil, Ralf Reussner
|
Springer
|
 |
|
48626
|
Computer science
|
Artificial Intelligence: Theories, Models and Applications |
John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos
|
Springer
|
 |
|
48627
|
Computer science
|
Haptic and Audio Interaction Design |
Antti Pirhonen, Stephen Brewster
|
Springer
|
 |
|
48628
|
Computer science
|
Component-Based Software Engineering |
Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner
|
Springer
|
 |
|
48629
|
Computer science
|
Algorithmic Learning Theory |
Yoav Freund, László Györfi, György Turán, Thomas Zeugmann
|
Springer
|
 |
|
48630
|
Computer science
|
Comparative Genomics |
Craig E. Nelson, Stéphane Vialette
|
Springer
|
 |
|
48631
|
Computer science
|
Advances in Conceptual Modeling – Challenges and Opportunities |
Il-Yeol Song, Mario Piattini, Yi-Ping Phoebe Chen, Sven Hartmann, Fabio Grandi, Juan Trujillo, Andreas L. Opdahl, Fernando Ferri, Patrizia Grifoni, Maria Chiara Caschera, Colette Rolland, Carson Woo, Camille Salinesi, Esteban Zimányi, Christophe Claramunt, Flavius Frasincar, Geert-Jan Houben, Philippe Thiran
|
Springer
|
 |
