Results
|
661.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski. by Series: Lecture Notes in Computer Science ; 4349
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
662.
|
Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio. by Series: Lecture Notes in Computer Science ; 4199
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 N54 2006.
|
|
663.
|
|
|
664.
|
Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings / edited by Reiner R. Dumke, René Braungarten, Günter Büren, Alain Abran, Juan J. Cuadrado-Gallego. by Series: Lecture Notes in Computer Science ; 5338
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.S65 D86 2008.
|
|
665.
|
Security Protocols [electronic resource] : 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Series: Lecture Notes in Computer Science ; 4631
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 C75 2007.
|
|
666.
|
|
|
667.
|
|
|
668.
|
|
|
669.
|
|
|
670.
|
|
|
671.
|
Advances in Conceptual Modeling – Challenges and Opportunities [electronic resource] : ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings / edited by 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. by
- Song, Il-Yeol
- Piattini, Mario
- Chen, Yi-Ping Phoebe
- Hartmann, Sven
- Grandi, Fabio
- Trujillo, Juan
- Opdahl, Andreas L
- Ferri, Fernando
- Grifoni, Patrizia
- Caschera, Maria Chiara
- Rolland, Colette
- Woo, Carson
- Salinesi, Camille
- Zimányi, Esteban
- Claramunt, Christophe
- Frasincar, Flavius
- Houben, Geert-Jan
- Thiran, Philippe
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 5232
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D26 S66 2008.
|
|
672.
|
|
|
673.
|
|
|
674.
|
|
|
675.
|
|
|
676.
|
|
|
677.
|
|
|
678.
|
|
|
679.
|
Cellular Automata [electronic resource] : 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006. Proceedings / edited by Samira Yacoubi, Bastien Chopard, Stefania Bandini. by Series: Lecture Notes in Computer Science ; 4173
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.5.C45 Y33 2006.
|
|
680.
|
|