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

1959:-

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

Uppskattad leveranstid 7-11 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

    1479:-
  2. 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:-
  3. 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

    309:-
  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 Rplique de Me Dupin Pour M. Isambert

    Rplique de Me Dupin Pour M. Isambert

    Andr Marie Jean Jacques Dupin, Franois-Andr Isambert, Jacques Nicolas De Bro

    Pocket

    189:-
  7. bokomslag Mathematical Foundations of Computer Science 2010

    Mathematical Foundations of Computer ...

    Antonin Kucera Petr Hlineny

    Pocket

    2179:-
  8. bokomslag Artificial Intelligence Perspectives and Applications

    Artificial Intelligence Perspectives ...

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

    Pocket

    1959:-
  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

    Inbunden

    549:-
  10. bokomslag Den flytande världen : nöjesliv och populärkultur i Edo-tidens Japan

    Den flytande världen : nöjesliv och p...

    Ulla Wagner • Gunilla Lindberg-Wada •...

    Inbunden

    399:-

Andra av samma författare

  1. bokomslag Methods for Location Privacy

    Methods for Location Privacy

    Kostantinos Chatzikokolakis, Ehab Elsalamouny, Catuscia Palamidessi

    Pocket

    919:-
  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

    989:-
  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

    1199:-
  4. bokomslag Logic Programming

    Logic Programming

    Catuscia Palamidessi

    Pocket

    2389:-
  5. bokomslag Automata, Languages and Programming

    Automata, Languages and Programming

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

    Pocket

    1479:-
  6. bokomslag CONCUR 2001 - Concurrency Theory

    CONCUR 2001 - Concurrency Theory

    Mogens Nielsen Kim G Larsen

    Pocket

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

    Foundations of Software Science and C...

    Uffe Engberg Mogens Nielsen

    Pocket

    1019:-
  8. bokomslag CONCUR 2002 - Concurrency Theory

    CONCUR 2002 - Concurrency Theory

    Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

    Pocket

    1959:-
  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

    1959:-
  10. bokomslag Computer Science Logic

    Computer Science Logic

    Wolfgang Thomas Mogens Nielsen

    Pocket

    989:-