erich grädel

Grid   List

  1. Finite Model Theory and Its Applications
    Finite Model Theory and Its Applications
    Erich Grädel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artif...
    78,10 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Computer Science Logic
    Computer Science Logic
    Erich Grädel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automata, Logics, and Infinite Games
    Automata, Logics, and Infinite Games
    Erich Grädel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific found...
    74,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Lectures in Game Theory for Computer Scientists
    Lectures in Game Theory for Computer Scientists
    Krzysztof R. Apt
    Cambridge University Press
    Buch
    Bezug 16-20
    Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reve...
    149,48 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Automata, Logics, and Infinite Games
    Automata, Logics, and Infinite Games
    Erich Grädel
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand
    A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific fo...
    74,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Finite Model Theory and Its Applications
    Finite Model Theory and Its Applications
    Erich Grädel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Print on Demand
    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complex...
    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Finite Model Theory and Its Applications
    Finite Model Theory and Its Applications
    Erich Grädel
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand
    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complex...
    80,20 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Computer Science Logic
    Computer Science Logic
    Erich Grädel
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Nicht lieferbar
    The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of...
    103,66 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Schweizerische Strafprozessordnung/Jugendstrafprozessordnung (StPO/JStPO): 2 Bände (Basler Kommentar)
    Schweizerische Strafprozessordnung/Jugendstrafprozessordnung (StPO/JStPO): 2 Bände (Basler Kommentar)
    Marianne Heer, Gianfranco Albertini, Thomas Armbruster, Sararard Arquint, Jürg Bähler, Urs Bartetzko, Florian Baumann, Raffaella Biaggi, Felix Bommer, Barbara Boner, Markus Boog, Benjamin F. Brägger, Beat Brechbühl, Christoph Bürgin, Martin Bürgisser, Annette Dolge, Thomas Domeisen, Marc Engler, Luzius Eugster, Gerhard Fiolka, Eliane Fischer, Marc Forster, Christoph Fricker, Frank Friedrich, Diego R. Gfeller, Sabrina Gfeller, Sabine Gless, Peter Goldschmid, Rolf Grädel, Georges Greiner, Patrick Guidon, Charles Haenni, Peter Hafner, Nadine Hagenstein, Daniel Häring, Matthias Härri, Dieter Hebeisen, Stefan Heimgartner, Matthias Heiniger, Thomas Hofer, Salome Horber, Christoph Hug, Irma Jaggi, Marc Jean-Richard-dit-Bressel, Adrian Jent, Stefan Keller, Roland Kerner, Daniel Kipfer, Géraldine Kipfer, René Kissling, Tanja Knodel, Henriette Küffer, Erich Kuhn, Stefan Maeder, Thomas Maurer, Goran Mazzucchelli, Samuel Moser, Philipp Näpfli, Marcel Alexander Niggli, Esther Omlin, Mario Postizzi
    Helbing & Lichtenhahn
    Gebundene Ausgabe
    Verfügbar: 1
    Sofort lieferbar
    Mängelexemplar
    Seit der ersten Auflage Anfang 2011, die kurz nach dem Inkrafttreten der Schweizerischen Strafprozessordnung erschien, hat sich der Basler Kommentar 'StPO JStPO' zu einem Standardkommentar im Berei...
    532,23 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    Gebraucht - Sehr gut
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>