Your search returned 57 results.

Results
	41.	Reliable Software Technology – Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings / edited by Tullio Vardanega, Andy Wellings. by Vardanega, Tullio Wellings, Andy SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3555 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.R44 V37 2005. Place hold Add to cart (remove)
	42.	Principles and Practice of Constraint Programming - CP 2006 [electronic resource] : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings / edited by Frédéric Benhamou. by Benhamou, Frédéric SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4204 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.64 B46 2006. Place hold Add to cart (remove)
	43.	UML Modeling Languages and Applications [electronic resource] : < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez. by Jardim Nunes, Nuno Selic, Bran Rodrigues da Silva, Alberto Toval Alvarez, Ambrosio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3297 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	44.	FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev Nipkow, Tobias Sekerinski, Emil SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4085 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 M57 2006. Place hold Add to cart (remove)
	45.	Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura. by Namjoshi, Kedar S Yoneda, Tomohiro Higashino, Teruo Okamura, Yoshio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4762 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 N36 2007. Place hold Add to cart (remove)
	46.	Implementing Distributed Systems with Java and CORBA [electronic resource] / by Markus Aleksy, Axel Korthaus, Martin Schader. by Aleksy, Markus Korthaus, Axel Schader, Martin SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin · Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 A44 2005 . Place hold Add to cart (remove)
	47.	Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings / edited by Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp. by Petrenko, Alexandre Veanes, Margus Tretmans, Jan Grieskamp, Wolfgang SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4581 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5101.A1 P48 2007. Place hold Add to cart (remove)
	48.	Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Peled, Doron A Tsay, Yih-Kuen SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3707 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 P45 2005. Place hold Add to cart (remove)
	49.	Early Aspects: Current Challenges and Future Directions [electronic resource] : 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers / edited by Ana Moreira, John Grundy. by Moreira, Ana Grundy, John SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4765 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.64 M67 2007. Place hold Add to cart (remove)
	50.	Middleware 2005 [electronic resource] : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings / edited by Gustavo Alonso. by Alonso, Gustavo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3790 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.M54 A46 2005. Place hold Add to cart (remove)
	51.	Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang. by Graf, Susanne Zhang, Wenhui SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4218 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 G73 2006. Place hold Add to cart (remove)
	52.	Transactions on Aspect-Oriented Software Development IV [electronic resource] / edited by Awais Rashid, Mehmet Aksit. by Rashid, Awais Aksit, Mehmet SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4640 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 R37 2007. Place hold Add to cart (remove)
	53.	Foundations of Security Analysis and Design IV [electronic resource] : FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. by Aldini, Alessandro Gorrieri, Roberto SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4677 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 A43 2007. Place hold Add to cart (remove)
	54.	Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development / by Bruno Bouyssounouse, Joseph Sifakis. by Bouyssounouse, Bruno Sifakis, Joseph SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3436 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 B68 2005. Place hold Add to cart (remove)
	55.	FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Cuellar, Jorge Maibaum, Tom Sere, Kaisa SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5014 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 C84 2008. Place hold Add to cart (remove)
	56.	ECOOP 2008 – Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek. by Vitek, Jan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5142 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.64 V58 2008. Place hold Add to cart (remove)
	57.	Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings / edited by Robert Glück, Michael Lowry. by Glück, Robert Lowry, Michael SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3676 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76 G58 2005. Place hold Add to cart (remove)

Powered by Koha