Your search returned 19 results.

Results
	1.	Recent trends in algebraic development techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers Martin Wirsing, Dirk Pattinson, Rolf Hennicker by Wirsing, M Pattinson, Dirk, 1970- Hennicker, Rolf, 1952- Series: Lecture notes in computer science ; 2755 Publication details: Berlin New York Springer-Verlag c2003 Availability: Items available for loan: IMAR (1)Call number: II 35183. Place hold Add to cart (remove)
	2.	Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers Fiadeiro, Josë Luiz (ed.) by Fiadeiro, Josë Luiz Series: Lecture notes in computer science ; 1589 Publication details: Berlin New York Springer c1999 Other title: WADT '98 Online resources: Click here to access online Availability: Items available for loan: IMAR (1)Call number: II 35185. Place hold Add to cart (remove)
	3.	Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers Francesco Parisi Presicce, (ed.) by Parisi Presice, Francesco Series: Lecture notes in computer science ; 1376 Publication details: Berlin New York Springer c1998 Availability: Items available for loan: IMAR (1)Call number: II 35184. Place hold Add to cart (remove)
	4.	Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) by Fiadeiro, José Luiz, 1961- Mosses, Peter Orejas, F Series: Lecture notes in computer science ; 3423 Publication details: Berlin New York Springer c2005 Other title: WADT 2004 Online resources: Click here to access online Publisher description Availability: Items available for loan: IMAR (1)Call number: II 35187. Place hold Add to cart (remove)
	5.	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers Maura Cerioli, Gianna Reggio (eds.) by Cerioli, Maura Reggio, Gianna, 1957- Series: Lecture notes in computer science ; 2267 Publication details: Berlin London Springer c2001 Online resources: Click here to access online Availability: Items available for loan: IMAR (1)Call number: II 35188. Place hold Add to cart (remove)
	6.	The role of norms and electronic institutions in multi-agent systems the HarmonIA framework Javier Vázquez-Salceda by Vázquez-Salceda, Javier Series: Whitestein series in software agent technologies Publication details: Basel Boston Birkhèauser c2004 Availability: Items available for loan: IMAR (1)Call number: II 34723. Place hold Add to cart (remove)
	7.	Catalogue of artificial intelligence tools edited by Alan Bundy by Bundy, Alan Series: Symbolic computation Edition: 2nd rev. ed Publication details: Berlin New York Springer-Verlag c1986 Availability: Items available for loan: IMAR (1)Call number: II 32786. Place hold Add to cart (remove)
	8.	Programmno-apparatnye sredstva i matematicheskoe obespechenie vychislitel'nyh sistem Redactor: L. N. Koroleva; V. M. Repina by Korolev, L. N Repin, V. M Publication details: Moskva Izd-vo Moskovskogo universiteta 1989 Availability: Items available for loan: IMAR (1)Call number: II 31762. Place hold Add to cart (remove)
	9.	Applications of agent technology in traffic and transportation Franziska Klèugl, Ana Bazzan, Sascha Ossowski, editors by Klèugl, Franziska Bazzan, Ana L. C Ossowski, Sascha, 1968- Series: Whitestein series in software agent technologies Publication details: Basel Boston Birkhauser Verlag 2005 Online resources: Publisher description Table of contents only Availability: Items available for loan: IMAR (1)Call number: II 35652. Place hold Add to cart (remove)
	10.	Organizatorial principles for multi-agent architectures Chris van Aart by Aart, Chris van Series: Whitestein series in software agent technologies Publication details: Basel Boston Birkhèauser Verlag 2005 Online resources: Publisher description Availability: Items available for loan: IMAR (1)Call number: II 35653. Place hold Add to cart (remove)
	11.	The semantic analysis of modular programs an approach towards the software reliability studies Janusz W. ¡ñaski by ¡ñaski, Janusz W Polska Akademia Nauk Instytut Podstaw Informatyki Publication details: Warszawa Paânstwowe Wydawnictwo Naukowe 1981 Availability: Items available for loan: IMAR (1)Call number: II 23277. Place hold Add to cart (remove)
	12.	The macro implementation of SNOBOL4 a case study of machine-independent software development [by] Ralph E. Griswold by Griswold, Ralph E Publication details: San Francisco W. H. Freeman [1972] Availability: Items available for loan: IMAR (1)Call number: II 19921. Place hold Add to cart (remove)
	13.	Principles of model checking Christel Baier, Joost-Pieter Katoen by Baier, Christel Katoen, Joost-Pieter Publication details: Cambridge, Mass The MIT Press [2008] Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	14.	Multi-agent programming Languages, platforms and applications Rafael H. Bordini; Mehdi Dastani; Jurgen Dix, Amal El Fallah Seghrouchni, editors. by Bordini, Rafael Bordini, Rafael H Dastani, Mehdi Dix, Jurgen El Fallah Seghrouchni, Amal Publication details: Dordrecht New York Springer 2009 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	15.	Socionics scalability of complex social systems Klaus Fischer, Michael Florian, Thomas Malsch (eds.) by Fischer, Klaus Fischer, Klaus Florian, Michael Malsch, Thomas Series: Lecture notes in computer science \| Lecture notes in computer science \| Lecture notes in computer science Publication details: Berlin ; New York : Springer, c2005 Other title: Scalability of complex social systems Online resources: Click here to access online Availability: Items available for loan: IMAR (1)Call number: 006.3-FIS. Place hold Add to cart (remove)
	16.	Decision making in complex systems : The deciMaS agent-based interdisciplinary framework approach Marina V. Sokolova; Antonio Fernandez-Caballero by Sokolova, Marina V Fernandez-Caballero, Antonio Series: Intelligent systems reference library Publication details: Berlin: Springer, c2012 Online resources: Publisher description Table of contents Availability: Items available for loan: IMAR (1)Call number: 658.4038-SOK. Place hold Add to cart (remove)
	17.	The Startup Owner's Manual : The Stepy By Step Giuide for Building a Great Company Steven C. Blank, Bob Dorf by Blank, Steven C Carter, Colin Andre Schmiesing, Brian H Publication details: Englewood Cliffs, N.J. : C&S RANCH 2012 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	18.	Multiagent systems : Algorithmic, game-theoretic, and logical foundations Yoav Shoham, Kevin Leyton-Brown by Shoham, Yoav Leyton-Brown, Kevin Publication details: Cambridge ; New York : Cambridge University Press, 2009 Online resources: Contributor biographical information Publisher description Table of contents Availability: Items available for loan: IMAR (1)Call number: 006.3-SHO. Place hold Add to cart (remove)
	19.	Membrane Computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : Revised Selected Papers Grzegorz Rozenberg, Arto Salomaa, Jose M. Sempere, Claudio Zandron (eds.). by Rozenberg, Grzegorz (ed.) Salomaa, Arto (ed.) Zandron, Claudio (ed.) Sempere, Jose M. (ed.) Series: Lecture notes in computer science Availability: Items available for loan: IMAR (1)Call number: 004.0151-ROZ. Place hold Add to cart (remove)

Powered by Koha