Your search returned 13 results.

Results
	1.	Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach / by Marcus S. Fisher. by Fisher, Marcus S SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 F57 2007. Place hold Add to cart (remove)
	2.	From Specification to Embedded Systems Application [electronic resource] / edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by Rettberg, Achim Zanella, Mauro C Rammig, Franz J SpringerLink (Online service) Series: IFIP On-Line Library in Computer Science ; 184 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.A65 R48 2005. Place hold Add to cart (remove)
	3.	Automatic Quantum Computer Programming [electronic resource] : A Genetic Programming Approach / edited by Lee Spector. by Spector, Lee SpringerLink (Online service) Series: Genetic Programming ; 7 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.889 S64 2007. Place hold Add to cart (remove)
	4.	Autonomy Oriented Computing [electronic resource] : From Problem Solving to Complex Systems Modeling / by Jiming Liu, Xiaolong Jin, Kwok Ching Tsui. by Liu, Jiming Jin, Xiaolong Tsui, Kwok Ching SpringerLink (Online service) Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series ; 12 Material type: Computer file; Format: electronic Publication details: Boston, MA : Kluwer Academic Publishers, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 L58 2005. Place hold Add to cart (remove)
	5.	Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings / edited by Michael J. Maher. by Maher, Michael J SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3321 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: QA75.5 M34 2005. Place hold Add to cart (remove)
	6.	Developing Ambient Intelligence [electronic resource] : Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06) / by Antonio Maña, Volkmar Lotz. by Maña, Antonio Lotz, Volkmar SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Paris : Springer-Verlag France, Paris, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A48 M36 2006. Place hold Add to cart (remove)
	7.	Multi-Agent Programming [electronic resource] : Languages, Platforms and Applications / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Bordini, Rafael H Dastani, Mehdi Dix, Jürgen Fallah Seghrouchni, Amal SpringerLink (Online service) Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series ; 15 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 M8 2005. Place hold Add to cart (remove)
	8.	Ontologies for Agents: Theory and Experiences [electronic resource] / edited by Valentina Tamma, Stephen Cranefield, Timothy W. Finin, Steven Willmott. by Tamma, Valentina Cranefield, Stephen Finin, Timothy W Willmott, Steven SpringerLink (Online service) Series: Whitestein Series in Software Agent Technologies Material type: Computer file; Format: electronic Publication details: Basel : Birkhäuser Verlag, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 T36 2005. Place hold Add to cart (remove)
	9.	Virtual, Distributed and Flexible Organisations [electronic resource] : Studies in Organisational Semiotics / edited by Kecheng Liu. by Liu, Kecheng SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: HD58.7 L58 2005. Place hold Add to cart (remove)
	10.	Coordination of Large-Scale Multiagent Systems [electronic resource] / edited by Paul Scerri, Régis Vincent, Roger Mailler. by Scerri, Paul Vincent, Régis Mailler, Roger SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 S34 2006. Place hold Add to cart (remove)
	11.	Agent Intelligence Through Data Mining [electronic resource] / by Andreas L. Symeonidis, Pericles A. Mitkas. by Symeonidis, Andreas L Mitkas, Pericles A SpringerLink (Online service) Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series ; 14 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D343 S935 2005. Place hold Add to cart (remove)
	12.	Issues in Multi-Agent Systems [electronic resource] : The AgentCities.ES Experience / edited by Antonio Moreno, Juan Pavón. by Moreno, Antonio Pavón, Juan SpringerLink (Online service) Series: Whitestein Series in Software Agent Technologies and Autonomic Computing Material type: Computer file; Format: electronic Publication details: Basel : Birkhäuser Verlag, P.O. Box 133, CH-4010 Basel, Switzerland, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 M67 2008. Place hold Add to cart (remove)
	13.	Enterprise Information Systems V [electronic resource] / edited by Olivier Camp, Joaquim B. L. Filipe, Slimane Hammoudi, Mario Piattini. by Camp, Olivier Filipe, Joaquim B. L Hammoudi, Slimane Piattini, Mario SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: T58.6 C36 2005. Place hold Add to cart (remove)

Powered by Koha