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

Your search returned 43 results.

		UML modeling languages and applications : revised selected papers / UML Conference Satellite Activities Lisbon, Portugal, October 11-15, 2004 ; ed. Nuno Jardim Nunes...[et al.] Monografia Publication Berlin : Springer, cop. 2005 Description XIV, 294 p. : il. ; 23 cm Online resource Versão electrónica. Acesso restrito à U.M. LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Advances in object-oriented information systems : proceedings / Object Oriented Information Systems Workshops, OOIS 2002 ; ed. Jean-Michel Bruel, Zohra Bellahsène Monografia Publication Berlin : Springer, cop. 2002 Description IX, 314 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)
		Progress in artificial intelligence : proceedings : workshops GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS and TEMA / 13th Portuguese Conference on Aritficial [i. é Artificial] Intelligence, EPIA 2007 ; ed. José Neves, Manuel Filipe Santos, José Manuel Machado Monografia Publication Berlin : Springer, cop. 2007 Description XVIII, 704 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (6). 1 2 3 4 5 Place hold Add to cart (remove)
		Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / ed. Peter Csaba Ölveczky, Gwen Salaün Monografia Publication Cham : Springer, cop. 2019 Description XVIII, 550 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / ed. Joost-Pieter Katoen, Rom Langerak, Arend Rensink Monografia Publication Cham : Springer, cop. 2017 Description XII, 389, [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)
		Teaching fundamental concepts of informatics : proceedings / 4th International Conference... ; ed. Juraj Hromkovic, Richard Královic, Jan Vahrenhold Monografia Publication Berlin : Springer, cop. 2010 Description X, 205 p. : il. ; 24 cm LocationBiblioteca de Ciências da Educação Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Programming languages : proceedings / 16th Brazilian Symposium... ; ed. Francisco Heron de Carvalho Junior, Luis Soares Barbosa Monografia Publication Heidelberg : Springer, cop. 2012 Description VIII, 164 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Engineering trustworthy software systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / ed. Jonathan P. Bowen, Zhiming Liu, Zili Zhang Monografia Publication [Cham] : Springer, cop. 2017 Description [XVI], 257, [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)
		Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28-October 1, 2015 : proceedings / ed. Wolfram Kahl, Michael Winter, José N. Oliveira Monografia Publication Cham : Springer, cop. 2015 Description X, 394, [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)
		Types for proofs and programs : selected papers / International Workshop, TYPES 2002 ; eds. Herman Geuvers, Freek Wiedijk Monografia Publication Berlin : Springer, cop. 2003 Description VIII, 330 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Verification, model checking, and abstract interpretation : proceedings / 5th International Conference, VMCAI 2004 ; ed. Bernhard Steffen, Giorgio Levi Monografia Publication Berlin : Springer, cop. 2004 Description XI, 324 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 aspects of component software / 9th International Symposium... ; ed. Corina S. Pasareanu, Gwen Salaün Monografia Publication Berlin : Springer, 2012 Description X, 277 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Topics in theoretical computer science : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020 : proceedings / ed. Luís S. Barbosa, Mohammad Ali Abam Monografia Publication Cham : Springer, cop. 2020 Description VIII, 114, [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)
		Quality for all : proceedings / 4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003 ; ed. Gunnar Karlsson, Michael I. Smirnov Monografia Publication Berlin : Springer, cop. 2003 Description XII, 223 p. : il. ; cop. 2003 LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard Scholz Monografia Publication Berlin : Springer, cop. 2003 Description XII, 129 p. : il. gráficos ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Electronic participation : 8th IFIP WG 8.5 International Conference, ePart 2016 : proceedings / ed. Efthimios Tambouris...[et al.] Monografia Publication Cham : Springer, cop. 2016 Description XII, 188 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)
		DNA computing : revised papers / 9th International Workshop on DNA Based Computers, DNA9 ; ed. Junghuei Chen, John Reif Monografia Publication Berlin : Springer, cop. 2004 Description X, 224 p. : il. ; cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		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). 1 2 3 4 5 Add to cart (remove)
		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). 1 2 3 4 5 Place hold Add to cart (remove)
		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). 1 2 3 4 5 Place hold Add to cart (remove)