Biblioteca da Universidade do Minho Search for '0302-9743'

UML modeling languages and applications

By UML Conference Satellite Activities Lisbon, Portugal, October 11-15, 2004. Berlin Springer 2005 . XIV, 294 p. 23 cm. 3-540-25081-6

Place Hold on UML modeling languages and applications

Advances in object-oriented information systems

By Object Oriented Information Systems Workshops, OOIS 2002. Berlin Springer 2002 . IX, 314 p. 24 cm. 3-540-44088-7

Place Hold on Advances in object-oriented information systems

Progress in artificial intelligence

By 13th Portuguese Conference on Aritficial [i. é Artificial] Intelligence, EPIA 2007. Berlin Springer 2007 . XVIII, 704 p. 24 cm. 3-540-77000-3 | 978-3-540-77000-8

Place Hold on Progress in artificial intelligence

Software engineering and formal methods

By ed. Peter Csaba Ölveczky, Gwen Salaün. Cham Springer 2019 . XVIII, 550 p. 24 cm. 978-3-030-30445-4

Place Hold on Software engineering and formal methods

ModelEd, TestEd, TrustEd

By ed. Joost-Pieter Katoen, Rom Langerak, Arend Rensink. Cham Springer 2017 . XII, 389, [1] p. 24 cm. 978-3-319-68269-3

Place Hold on ModelEd, TestEd, TrustEd

Teaching fundamental concepts of informatics

By 4th International Conference.... Berlin Springer 2010 . X, 205 p. 24 cm. 3-642-11375-3 | 978-3-642-11375-8

Place Hold on Teaching fundamental concepts of informatics

Programming languages

By 16th Brazilian Symposium.... Heidelberg Springer 2012 . VIII, 164 p. 24 cm. 978-3-642-33181-7

Place Hold on Programming languages

Engineering trustworthy software systems

By ed. Jonathan P. Bowen, Zhiming Liu, Zili Zhang. [Cham] Springer 2017 . [XVI], 257, [1] p. 24 cm. 978-3-319-56840-9

Place Hold on Engineering trustworthy software systems

Relational and algebraic methods in computer science

By ed. Wolfram Kahl, Michael Winter, José N. Oliveira. Cham Springer 2015 . X, 394, [1] p. 24 cm. 978-3-319-24703-8

Place Hold on Relational and algebraic methods in computer science

Types for proofs and programs

By International Workshop, TYPES 2002. Berlin Springer 2003 . VIII, 330 p. 24 cm. 3-540-14031-X

Place Hold on Types for proofs and programs

Verification, model checking, and abstract interpretation

By 5th International Conference, VMCAI 2004. Berlin Springer 2004 . XI, 324 p. 24 cm. 3-540-20803-8

Place Hold on Verification, model checking, and abstract interpretation

Formal aspects of component software

By 9th International Symposium.... Berlin Springer 2012 . X, 277 p. 23 cm. 978-3-642-35860-9

Place Hold on Formal aspects of component software

Topics in theoretical computer science

By ed. Luís S. Barbosa, Mohammad Ali Abam. Cham Springer 2020 . VIII, 114, [1] p. 24 cm. 978-3-030-57851-0

Place Hold on Topics in theoretical computer science

Quality for all

By 4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003. Berlin Springer 2003 . XII, 223 p. cop. 2003. 3-540-20192-0

Place Hold on Quality for all

Advanced symbolic analysis for compilers

By Thomas Fahringer, Bernhard Scholz. Berlin Springer 2003 . XII, 129 p. 24 cm. 3-540-01185-4

Place Hold on Advanced symbolic analysis for compilers

Electronic participation

By ed. Efthimios Tambouris...[et al.]. Cham Springer 2016 . XII, 188 p. 24 cm. 978-3-319-45073-5

Place Hold on Electronic participation

DNA computing

By 9th International Workshop on DNA Based Computers, DNA9. Berlin Springer 2004 . X, 224 p. cm. 3-540-20930-1

Place Hold on DNA computing

Applied semantics

By International Summer School, APPSEM 2000s. Berlin Springer 2002 . VI, 536 p. 24 cm. 3-540-44044-5

Place Hold on Applied semantics

Conceptual modeling- ER 2003

By 22nd International conference on conceptual modeling. Berlin Springer 2003 . XIX, 581 p. 25 cm. 3-540-20299-4

Place Hold on Conceptual modeling- ER 2003

Typed lambda calculi and applications

By 6th International Conference, TLCA 2003. Berlin Springer 2003 . VIII, 315 p. 24 cm. 3-540-40332-9

Place Hold on Typed lambda calculi and applications

Spatial information theory

By International Conference COSIT'95. Berlin Springer 1995 . XIII, 568 p. 24 cm. 3-540-60392-1

Place Hold on Spatial information theory

Software architecture

By First European Workshop, EWSA 2004. Berlin Springer 2004 . X, 278 p. 24 cm. 3-540-22000-3

Place Hold on Software architecture

Replication

By ed. Bernadette Charron-Bost, Fernando Pedone, André Schiper. Berlin Springer 2010 . XV, 290 p. 24 cm. 978-3-642-11293-5

Place Hold on Replication

Language engineering and rigorous software development

By International LerNet ALFA Summer School 2008 | edited by Ana Bove... [et al.]. Berlin Springer 2009 . VI, 300 p. , Revised tutorial lectures 24 cm. 3-642-03152-8 | 978-3-642-03152-6

Place Hold on Language engineering and rigorous software development

Euro-Par 2014

By 20th International Conference. Cham Springer International Publishing 2014 . XLIII, 827 p. 978-3-319-09872-2

Place Hold on Euro-Par 2014

Graph transformation, specifications, and nets

By ed. Reiko Heckel, Gabriel Taentzer. [Cham] Springer 2018 . XIV, 331, [1] p. 24 cm. 978-3-319-75395-9

Place Hold on Graph transformation, specifications, and nets

Electronic government

By ed. Hans Jochen Scholl...[et al.]. Cham Springer 2016 . XV, 311 p. 24 cm. 978-3-319-44420-8

Place Hold on Electronic government

Spatial information theory

By International Conference COSIT'97. Berlin Springer 1997 . XIV, 510 p. 24 cm. 3-540-63623-4

Place Hold on Spatial information theory

Programs as data objects | proceedings

By second symposium PADO 2001. Berlin Springer 2001 . VIII, 277 p. 24 cm. 3-540-42068-1

Place Hold on Programs as data objects | proceedings

Database theory - ICDT 2003

By 9th International Conference.... Berlin Springer 2003 . XI, 454 p. 24 cm. 3-540-00323-1

Place Hold on Database theory - ICDT 2003

Programming languages and systems

By 12th European Symposium Programmig, ESOP 2003. Berlin Springer 2003 . XV, 413 p. 24 cm. 3-540-00886-1

Place Hold on Programming languages and systems

Types for proofs and programs

By International Workshop, TYPES 2003. Berlin Springer 2004 . X, 408 p. 24 cm. 3-540-22164-6

Place Hold on Types for proofs and programs

Isabelle-HOL

By Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. Berlin Springer 2002 . XIII, 218 p. 24 cm. 3-540-43376-7

Place Hold on Isabelle-HOL

Multiple classifier systems

By 4th International Workshop, MCS 2003. Berlin Springer 2003 . X, 406 p. 24 cm. 3-540-40369-8

Place Hold on Multiple classifier systems

Models, mindsets, meta

By ed. Tiziana Margaria, Susanne Graf, Kim G. Larsen. Cham Springer 2019 . XV, 430, [1] p. 24 cm. 978-3-030-22347-2

Place Hold on Models, mindsets, meta

Integrated formal methods

By ed. Carlo A. Furia, Kirsten Winter. Cham Springer 2018 . XVI, 420 p. 24 cm. 978-3-319-98937-2

Place Hold on Integrated formal methods

Formal methods for multicore programming

By ed. Marco Bernardo, Einar Broch Johnsen. Cham Springer 2015 . 210, [4] p. 24 cm. 978-3-319-18940-6

Place Hold on Formal methods for multicore programming

AI approaches to the complexity of legal systems

By ed. Pompeu Casanovas... [et al.]. Berlin Springer 2010 . X, 241, [2] p. 24 cm. 978-3-642-16523-8 | 3-642-16523-0

Place Hold on AI approaches to the complexity of legal systems

Transactions on Petri nets and other models of concurrency XIII

By ed. Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek. Berlin Springer 2018 . [XVI], 209, [1] p. 24 cm. 978-3-662-58380-7

Place Hold on Transactions on Petri nets and other models of concurrency XIII

Intelligent Data Engineering and Automated Learning - IDEAL 2020

By edited by Cesar Analide... [et al.]. Cham Springer 2020 . 2 v. 24 cm. 978-3-030-62361-6 (part. 1) | 978-3-030-62361-7 (part. 2)

Place Hold on Intelligent Data Engineering and Automated Learning - IDEAL 2020

Formal aspects of component software

By 14th International Conference, FACS 2017. Cham Springer 2017 . X, 250, [1] p. 24 cm. 978-3-319-68033-0

Place Hold on Formal aspects of component software

Transactions on foundations for mastering change

By edited by Bernhard Steffen. Cham Springer 2016 . XII, 257 p. 24 cm. 978-3-319-46507-4

Place Hold on Transactions on foundations for mastering change

Middleware 2011

By ed. Fabio Kon, Anne-Marie Kermarrec. Heidelberg Springer 2011 . XIII, 514 p. 24 cm. 978-3-642-25820-6

Place Hold on Middleware 2011