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: Italy) (2013 POST 2013 Rome 17 träffar

Titel Författare År Språk
1 Principles of Security and Trust electronic resource : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / edited by David Basin, John C. Mitchell Italy) (2013 POST 2013 Rome uuuu-uuuu Okänt
2 Verification, Model Checking, and Abstract Interpretation electronic resource : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni Italy) 2013 : (14th VMCAI 2013 Rome uuuu-uuuu Okänt
3 Evaluation of certain food additives and contaminants. - Seventy-seventh report of the Joint FAO/WHO Expert Committee on Food Additives World Health Organization 2013 Engelska
4 WSDM 2013 : proceedings of the 6th ACM International Conference on Web Search and Data Mining : February 4-8, 2013, Rome, Italy Italy) 2013 : (6th International Conference on Web Search & Data Mining Rome uuuu-uuuu Okänt
5 POPL '13 : proceedings of 40th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 23-25, 2013 Rome, Italy Italy) 2013 : (40th ACM Symposium on Principles of Programming Languages Rome uuuu-uuuu Okänt
6 PEPM '13 : proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 21-22, 2013 Rome, Italy Italy) (2013 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation Rome uuuu-uuuu Okänt
7 SenSys 2013 : proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems Italy) 2013 : (11th International Conference on Embedded Networked Sensor Systems Rome uuuu-uuuu Okänt
8 Latinitatis rationes : descriptive and historical accounts for the Latin language / edited by Paolo Poccetti Italy) 2013 : (17th International Colloquium on Latin Linguistics Rome uuuu-uuuu Okänt
9 Fourteenth International Conference on Artificial Intelligence and Law : proceedings of the conference Italy) 2013 : (14th International Conference on Artificial Intelligence and Law Rome uuuu-uuuu Okänt
10 Safety and security engineering V / editors, M. Guarascio, C.A. Brebbia, F. Garzia Italy) 2013 : (5th International Conference on Safety and Security Engineering Rome uuuu-uuuu Okänt
11-12 Le sujet et l'Histoire dans le roman français contemporain : écrivans en dialogue (flera utgåvor) Italy) (2013 Sujet et l'Histoire dans le roman français contemporain (Conference) Rome uuuu-uuuu Okänt
13 Job scheduling strategies for parallel processing : 16th International Workshop, JSSPP 2012, Shangai, China, May 25, 2012, revised selected papers / Walfredo Cirne ... et al. (eds.) Italy) (2012 JSSPP 2012 Rome uuuu-uuuu Okänt
14 Biomedical Engineering Systems and Technologies electronic resource : 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers / edited by Ana Fred, Joaquim Filipe, Hugo Gamboa Italy) BIOSTEC (Conference) Rome uuuu-uuuu Okänt
15 Evaluation of Natural Language and Speech Tool for Italian electronic resource : International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers / edited by Bernardo Magnini, Francesco Cutugno, Mauro Falcone, Emanuele Pianta Italy) (2011 EVALITA 2011 Rome uuuu-uuuu Okänt
16 Landslide Science and Practice electronic resource : Volume 2: Early Warning, Instrumentation and Monitoring / edited by Claudio Margottini, Paolo Canuti, Kyoji Sassa Italy) 2011 : (2nd World Landslide Forum Rome uuuu-uuuu Okänt
17 Advances in Hypercomplex Analysis electronic resource / edited by Graziano Gentili, Irene Sabadini, Michael Shapiro, Franciscus Sommen, Daniele C. Struppa Italy) (2010 INdAM Workshop on Different Notions of Regularity for Functions of Quaternionic Variables Rome uuuu-uuuu Okänt

1

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.