SOFSEM 2009: Theory and Practice of Computer Science 1
bokomslag SOFSEM 2009: Theory and Practice of Computer Science
Data & IT

SOFSEM 2009: Theory and Practice of Computer Science

Mogens Nielsen • Antonin Kucera • Peter Bro Miltersen • Catuscia Palamidessi • Petr Tuma

Pocket

1499:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 670 sidor
  • 2009
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in pindleruv Mln, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.
  • Författare: Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma
  • Format: Pocket/Paperback
  • ISBN: 9783540958901
  • Språk: Engelska
  • Antal sidor: 670
  • Utgivningsdatum: 2009-01-12
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Automata, Languages and Programming

    Automata, Languages and Programming

    Luis Caires, Guiseppe F Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung

    Pocket

    1499:-
  2. bokomslag SOFSEM 2004: Theory and Practice of Computer Science

    SOFSEM 2004: Theory and Practice of C...

    Peter Van Emde Boas, Jaroslav Pokorny, Mria Bielikov, Julius Stuller

    Pocket

    759:-
  3. bokomslag Framtidens by - När lokalsamhällen tar sig rätten att blomstra

    Framtidens by - När lokalsamhällen ta...

    Nikolas Berg, Ingrid Berg, David Bennett, Maria Engelbrektsson, Petra Henriksson

    Danskband/flex

    319:-
  4. bokomslag Bokens materialitet : bokhistoria och bibliografi

    Bokens materialitet : bokhistoria och...

    Per S Ridderstad, Johan Svedjedal, Per Cullhed, Torben Jelsbak, Petra Söderlund

    Inbunden

    249:-
  5. bokomslag Bra bostäder för seniorer - en antologi

    Bra bostäder för seniorer - en antologi

    Petter Ahlström, Börje Bjelke, Jan Paulsson, Sören Runsteen, Petra Sandberg

    Häftad

    869:-
  6. bokomslag SOFSEM 2011: Theory and Practice of Computer Science

    SOFSEM 2011: Theory and Practice of C...

    Ivana Cerna, Tibor Gyimothy, Juraj Hromkovic, Keith Jeffery, Rastislav Kralovic

    Pocket

    759:-
  7. bokomslag SOFSEM 2013: Theory and Practice of Computer Science

    SOFSEM 2013: Theory and Practice of C...

    Peter Van Emde Boas, Frans C A Groen, Giuseppe F Italiano, Jerzy Nawrocki, Harald Sack

    Pocket

    759:-
  8. bokomslag SOFSEM 2006: Theory and Practice of Computer Science

    SOFSEM 2006: Theory and Practice of C...

    Jir Wiedermann, Gerard Tel, Jaroslav Pokorn, Mria Bielikov, Jlius Tuller

    Pocket

    759:-
  9. bokomslag Brownsville Must Have Public Housing [microform]: Housing, Health, Crime, Economic and Other Social Facts and Figures Arguing for Rehabilitation of Th

    Brownsville Must Have Public Housing ...

    Milton J Goell, Brooklyn Committee For Better Housing, Bro Brownsville Neighborhood Council

    Häftad

    339:-
  10. bokomslag Artificial Intelligence Perspectives and Applications

    Artificial Intelligence Perspectives ...

    Radek Silhavy, Roman Senkerik, Zuzana Kominkova Oplatkova, Zdenka Prokopova, Petr Silhavy

    Pocket

    1499:-

Andra av samma författare

  1. bokomslag Methods for Location Privacy

    Methods for Location Privacy

    Kostantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi

    Pocket

    1139:-
  2. bokomslag Horizons of the Mind. A Tribute to Prakash Panangaden

    Horizons of the Mind. A Tribute to Pr...

    Franck Van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten

    Pocket

    759:-
  3. bokomslag The Science of Quantitative Information Flow

    The Science of Quantitative Informati...

    Mrio S Alvim, Konstantinos Chatzikokolakis, Annabelle Mciver, Carroll Morgan, Catuscia Palamidessi

    Inbunden

    909:-
  4. bokomslag Logic Programming

    Logic Programming

    Catuscia Palamidessi

    Pocket

    1789:-
  5. bokomslag Automata, Languages and Programming

    Automata, Languages and Programming

    Luis Caires, Guiseppe F Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung

    Pocket

    1499:-
  6. bokomslag CONCUR 2001 - Concurrency Theory

    CONCUR 2001 - Concurrency Theory

    Mogens Nielsen Kim G Larsen

    Pocket

    779:-
  7. bokomslag Foundations of Software Science and Computation Structures

    Foundations of Software Science and C...

    Uffe Engberg Mogens Nielsen

    Pocket

    779:-
  8. bokomslag CONCUR 2002 - Concurrency Theory

    CONCUR 2002 - Concurrency Theory

    Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

    Pocket

    1499:-
  9. bokomslag TAPSOFT '95: Theory and Practice of Software Development

    TAPSOFT '95: Theory and Practice of S...

    Peter D Mosses, Mogens Nielsen, Michael I Schwartzbach

    Pocket

    1499:-
  10. bokomslag Computer Science Logic

    Computer Science Logic

    Wolfgang Thomas Mogens Nielsen

    Pocket

    759:-