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: In 47121 träffar

Titel Författare År Språk
1601 New computational paradigms : first conference on computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings / S. Barry Cooper, Benedikt Lowe, Leen Torenvliet (eds.) Netherlands) 2005 : (1st Conference on Computability in Europe Amsterdam uuuu-uuuu Okänt
1602 Logic and Theory of Algorithms electronic resource : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings / edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe Greece) 2008 : (4th Conference on Computability in Europe Athens uuuu-uuuu Okänt
1603 How the World Computes electronic resource : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings / edited by Barry S. Cooper, Anuj Dawar, Benedikt Löwe England) 2012 : (8th Conference on Computability in Europe Cambridge uuuu-uuuu Okänt
1604 "Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings" Conference on Computability in Europe 2007 Okänt
1605 Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings / Klaus Ambos-Spies, Benedikt LoÌwe, Wolfgang Merkle (editors) Germany) 2009 : (5th Conference on Computability in Europe Heidelberg uuuu-uuuu Okänt
1606 "Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings" Conference on Computability in Europe 2006 Okänt
1607 "Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings" Conference on Computability in Europe 2009 Okänt
1608 The Nature of Computation: Logic, Algorithms, Applications electronic resource : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe Italy) 2013 : (9th Conference on Computability in Europe Milan uuuu-uuuu Okänt
1609 "Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings" Conference on Computability in Europe 2011 Okänt
1610 Programs, Proofs, Processes electronic resource : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes Conference on Computability in Europe. uuuu-uuuu Okänt
1611 Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings / edited by Barry S. Cooper, Benedikt Löwe, Andrea Sorbi Italy) 2007 : (3rd Conference on Computability in Europe Siena uuuu-uuuu Okänt
1612 Models of Computation in Context electronic resource : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova Bulgaria) 2011 : (7th Conference on Computability in Europe Sofia uuuu-uuuu Okänt
1613 Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings / Arnold Beckmann ... et al. (eds.) Wales) 2006 : (2nd Conference on Computability in Europe Swansea uuuu-uuuu Okänt
1614 Computational methods in band theory : proceedings of a conference held at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York, May 14-15, 1970 under the joint sponsorship of IBM and the American Physical Society / edited by P. M. Marcus, J. F. Janak, and A. R. Williams N.Y.) Conference on Computational Methods in Band Theory Yorktown Heights uuuu-uuuu Okänt
1615-1616 Revive the past : proceedings of the 39th Conference of Computer Applications and Quantitative Methods in Archaeology, Beijing 12-16 April 2011 / edited by Mingquan Zhou and four others (flera utgåvor) China) 2011 : (39th Conference on Computer Applications and Quantitative Methods in Archaeology Beijing uuuu-uuuu Okänt
1617 Revive the past : proceedings of the 39th Conference of Computer Applications and Quantitative Methods in Archaeology, Beijing 12-16 April 2011 / edited by Mingquan Zhou and four others. electronic resource China) 2011 : (39th Conference on Computer Applications and Quantitative Methods in Archaeology Beijing uuuu-uuuu Okänt
1618-1619 Across space and time : papers from the 41st Conference on Computer Applications and Quantitative Methods in Archaeology, Perth, 25-28 March 2013 / edited by Arianna Traviglia (flera utgåvor) Western Australia) 2013 : (41st Conference on Computer Applications and Quantitative Methods in Archaeology Perth uuuu-uuuu Okänt
1620 Proceedings of the Conference on Continuous Advances in QCD, 1996 : Theoretical Physics Institute, University of Minnesota, Minneapolis, USA, 28-31 March 1996 / editor, M. I. Polikarpov Minneapolis) (1996 Conference on Continuous Advances in QCD Minnesota uuuu-uuuu Okänt

Förra sidan 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 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.