- Nyhet
SOFSEM 2009: Theory and Practice of Computer Science
35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings
E-bok
PDF, Engelska, 20091 470 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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 Mlýn, 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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
SOFSEM 2009: Theory and Practice of Computer Science
Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia
Häftad, 2009
1 138 kr
Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Frank Valencia, Carlos Olarte, Kostas Chatzikokolakis, Mario S. Alvim
E-bok
2019710 kr
Del 11760
Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
Häftad, 2019
572 kr
CONCUR 2002 - Concurrency Theory
Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera
Häftad, 2002
1 138 kr
Del 14660
Taming the Infinities of Concurrency
Stefan Kiefer, Jan Křetínský, Antonín Kučera
Häftad, 2024
1 477 kr