Biblioteca da Universidade do Minho catalog › Results of search for '0302-9743'

Your search returned 43 results.

		Spatial information theory : a theoretical basics for GIS : proceedings / International Conference COSIT'95 ; ed. Andrew U. Frank, Werner Kuhn Monografia Publication Berlin : Springer, cop. 1995 Description XIII, 568 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Software architecture : proceedings / First European Workshop, EWSA 2004 ; ed. Flavio Oquendo, Brian Warboys, Ron Morrison Monografia Publication Berlin : Springer, cop. 2004 Description X, 278 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Replication : theory and practice / ed. Bernadette Charron-Bost, Fernando Pedone, André Schiper Monografia Publication Berlin : Springer, cop. 2010 Description XV, 290 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Language engineering and rigorous software development / International LerNet ALFA Summer School 2008 / edited by Ana Bove... [et al.] Monografia Publication Berlin : Springer, 2009 Description VI, 300 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Euro-Par 2014 : parallel processing : proceedings / 20th International Conference ; ed. Fernando Silva, Inês Dutra, Vítor Santos Costa Monografia Publication Cham : Springer International Publishing, 2014 Description XLIII, 827 p. : il. LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Graph transformation, specifications, and nets : in memory of Hartmut Ehrig / ed. Reiko Heckel, Gabriel Taentzer Monografia Publication [Cham] : Springer, cop. 2018 Description XIV, 331, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Electronic government : 15th IFIP WG 8.5 International Conference, egov 2016 : proceedings / ed. Hans Jochen Scholl...[et al.] Monografia Publication Cham : Springer, cop. 2016 Description XV, 311 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Spatial information theory : a theoretical basics for GIS : proceedings / International Conference COSIT'97 ; ed. Stephen C. Hirtle, Andrew U. Frank Monografia Publication Berlin : Springer, 1997 Description XIV, 510 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programs as data objects ; proceedings / second symposium PADO 2001 ; ed. Olivier Danvy, Andrzej Filinski Monografia Publication Berlin : Springer, cop. 2001 Description VIII, 277 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Database theory - ICDT 2003 : proceedings / 9th International Conference... ; ed. Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani Monografia Publication Berlin : Springer, cop. 2003 Description XI, 454 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programming languages and systems : proceedings / 12th European Symposium Programmig, ESOP 2003 ; ed. Pierpaolo Degano Monografia Publication Berlin : Springer, cop. 2003 Description XV, 413 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Types for proofs and programs : revised selected papers / International Workshop, TYPES 2003 ; ed. Stefano Berardi, Mario Coppo, Ferruccio Damiani Monografia Publication Berlin : Springer, cop. 2004 Description X, 408 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Isabelle-HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel Monografia Publication Berlin : Springer, cop. 2002 Description XIII, 218 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Multiple classifier systems : proceedings / 4th International Workshop, MCS 2003 ; ed. Terry Windeatt, Fabio Roli Monografia Publication Berlin : Springer, cop. 2003 Description X, 406 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Models, mindsets, meta : the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday / ed. Tiziana Margaria, Susanne Graf, Kim G. Larsen Monografia Publication Cham : Springer, cop. 2019 Description XV, 430, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / ed. Carlo A. Furia, Kirsten Winter Monografia Publication Cham : Springer, cop. 2018 Description XVI, 420 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Formal methods for multicore programming : 15th International School on Formal Methods fo the Design of Computer, Communication, and Software Systems, SFM 2015... / ed. Marco Bernardo, Einar Broch Johnsen Monografia Publication Cham : Springer, 2015 Description 210, [4] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		AI approaches to the complexity of legal systems : complex systems, the semantic Web, ontologies, argumentation, and dialogue : International workshops AICOL-I/IVR-XXIV, Beijing, China, September 19, 2009 and AICOL-II/JURIX 2009, Rotterdam, The netherlands, December 16, 2009 / ed. Pompeu Casanovas... [et al.] Monografia Publication Berlin : Springer, cop. 2010 Description X, 241, [2] p. : il. ; 24 cm LocationBiblioteca de Direito Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Transactions on Petri nets and other models of concurrency XIII / ed. Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek Monografia Publication Berlin : Springer, cop. 2018 Description [XVI], 209, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available Intelligent Data Engineering and Automated Learning - IDEAL 2020 : 21st International Conference, Guimaraes, Portugal, November 4-6, 2020 : proceedings / edited by Cesar Analide... [et al.] Monografia Publication Cham : Springer, 2020 Description 2 v. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (6). 1 2 3 4 5 Place hold Add to cart (remove)