Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Portugal 1196 träffar

Titel Författare År Språk
301 Dwarf Galaxies: Keys to Galaxy Formation and Evolution electronic resource : Proceedings of Symposium 3 of JENAM 2010 / edited by Polychronis Papaderos, Simone Recchi, Gerhard Hensler Portugal) (2010 Joint European and National Astronomical Meeting Lisbon uuuu-uuuu Okänt
302 STAIRS 2010 electronic resource : proceedings of the fifth Starting AI Researchers' Symposium / edited by Thomas Ågotnes Portugal) 2010 : (5th Starting Artificial Intelligence Researchers Symposium Lisbon uuuu-uuuu Okänt
303 MSCPES : 2018 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems : proceedings : April 10, 2018, Porto, Portugal : held as part of CPS Week, April 10-13, 2018, Porto, Portugal / Institute of Electrical and Electronics Engineers Workshop on Modeling and Simulation of Cyber-Physical Energy Systems Portugal) (2018 uuuu-uuuu Okänt
304 Dynamics, Games and Science II electronic resource : DYNA 2008, in Honor of Maurício Peixoto and David Rand, University of Minho, Braga, Portugal, September 8-12, 2008 / edited by Mauricio Matos Peixoto, Alberto Adrego Pinto, David A. Rand Portugal) (2008 DYNA 2008 Braga uuuu-uuuu Okänt
305 Generative and Transformational Techniques in Software Engineering IV electronic resource : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser GTTSE 2011 Braga Portugal) (2011 uuuu-uuuu Okänt
306 Formal Techniques for Distributed Systems electronic resource : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings / edited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter Portugal) 2009 : (11th International Conference on Formal Methods for Open Object-Based Distributed Systems Lisbon uuuu-uuuu Okänt
307 Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth, editors Portugal) (2007 TACAS 2007 Braga uuuu-uuuu Okänt
308 Service-oriented computing : agents, semantics, and engineering : AAMAS 2008 international workshop, SOCASE 2008 Estoril, Portugal, May 12, 2008 proceedings / Ryszard Kowalczyk and four others, editors Portugal) (2008 SOCASE 2008 Estoril uuuu-uuuu Okänt
309 Heat transfer in radiating and combusting systems : proceedings of EUROTHERM Seminar No. 17, 8-10 October 1990, Cascais, Portugal / Maria G. Carvalho, Fred C. Lockwood, Jean Taine (Eds.) Portugal) 1990 : (17th Eurotherm Seminar Cascais uuuu-uuuu Okänt
310 The ancient novel and the frontiers of genre / edited by Marília P. Futre Pinheiro, Gareth Schmeling, Edmund P. Cueva Portugal) International Conference on the Ancient Novel Lisbon uuuu-uuuu Okänt
311 MARINE 2011, IV International Conference on Computational Methods in Marine Engineering electronic resource : Selected Papers / edited by Luís Eça, Eugenio Oñate, Julio García-Espinosa, Trond Kvamsdal, Pål Bergan Portugal) 2011 : (4th International Conference on Computational Methods in Marine Engineering Lisbon uuuu-uuuu Okänt
312 Image Analysis and Recognition electronic resource : 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II / edited by Aurelio Campilho, Mohamed Kamel Portugal) 2012 : (9th ICIAR (Conference) Aveiro uuuu-uuuu Okänt
313 Generative and Transformational Techniques in Software Engineering III electronic resource : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva Portugal) (2009 GTTSE 2009 Braga uuuu-uuuu Okänt
314 Advances in Natural Language Processing electronic resource : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings / edited by Elisabete Ranchod, Nuno J. Mamede Portugal) PorTAL 2002 Faro uuuu-uuuu Okänt
315 Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving electronic resource : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001. Proceedings / edited by Pavel Brazdil, Alipio Jorge Portugal) 2001 : (10th Portuguese Conference on Artificial Intelligence Porto uuuu-uuuu Okänt
316 Doubts and directions in translation studies electronic resource : selected contributions from the EST Congress, Lisbon 2004 / edited by Yves Gambier, Miriam Shlesinger and Radegundis Stolze Portugal) (2004 EST Congress Lisbon uuuu-uuuu Okänt
317 2018 IEEE 16th International Conference on Industrial Informatics : 18-20 July 2018, Porto, Portugal / IEEE Industrial Electronics Society Portugal) 2018 : (16th IEEE International Conference on Industrial Informatics Porto uuuu-uuuu Okänt
318 Recent Trends in Discourse and Dialogue electronic resource / edited by Laila Dybkjær, Wolfgang Minker Portugal) 2005 : (6th SIGdial Workshop on Discourse and Dialogue Lisbon uuuu-uuuu Okänt
319 Artificial Intelligence in Medicine electronic resource : 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings / edited by Silvana Quaglini, Pedro Barahona, Steen Andreassen Portugal) 2001 : (8th Conference on Artificial Intelligence in Medicine in Europe Cascais uuuu-uuuu Okänt
320 Recent trends in algebraic development techniques : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 selected papers / Jose Luis Fiadeiro (ed.) Portugal) WADT '98 Lisbon uuuu-uuuu Okänt

Förra sidan 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.