|
|
Conceptual modeling- ER 2003 : proceedings / 22nd International conference on conceptual modeling ; ed. Il-Yeol Song... [et al.]
Monografia
Publication
Berlin : Springer, cop. 2003
Description
XIX, 581 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Applied semantics : advanced lectures / International Summer School, APPSEM 2000s ; ed. Gilles Barthe... [et al.]
Monografia
Publication
Berlin : Springer, 2002
Description
VI, 536 p. :
il. ;
24 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
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).
|
|
|
Typed lambda calculi and applications : proceedings / 6th International Conference, TLCA 2003 ; ed. Martin Hofmann
Monografia
Publication
Berlin : Springer, cop. 2003
Description
VIII, 315 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|