Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (11 Treffer)
Filter schließen (11 Treffer)
Stichwort auswählen
Alle Stichworte
Logicalfoundations (11)
Logic (8)
Formalmethods (6)
Modelchecking (5)
Complexity (4)
Mathematicallogic (4)
Prooftheory (4)
Verification (4)
Algorithms (3)
Computationalstructures (3)
Logischegrundlagen (3)
Mathematicalfoundations (3)
Programanalysis (3)
Programlogics (3)
Programmingtheory (3)
Automata (2)
Formalverification (2)
Nicht-Klassischelogiken (2)
Non-Classicallogics (2)
Programsemantics (2)
Semantics (2)
Softwareengineering (2)
Softwarescience (2)
Algebraicfoundations (1)
Algebraischegrundlagen (1)
Algorithm (1)
Automat (1)
Automatatheory (1)
Beweisatheorie (1)
Bisimulation (1)
Categorytheoory (1)
Classicalcomplexity (1)
Classification (1)
Computationalmathematics (1)
Computerscience (1)
Computersciencelogic (1)
Concurrentsystems (1)
Cooperativesystems (1)
Cryptography (1)
Cryptology (1)
Databases (1)
Datamining (1)
Datastructures (1)
Echtzeit-Systeme (1)
Formalemethoden (1)
Formallanguage (1)
Formallanguages (1)
Formalmethod (1)
Fuzzy (1)
Fuzzysets (1)
Gametheory (1)
Hashing (1)
Higher-Orderlogic (1)
Higherorderlogic (1)
Isabelle (1)
Knowledge (1)
Knowledgediscovery (1)
Lambda-Kalküle (1)
Lambdacalculi (1)
Logicalcalculi (1)
Mathematicallogics (1)
Mobility (1)
Musicrecognition (1)
Nonclassicallogics (1)
Probabilisticmethods (1)
Problemcomplexity (1)
Problemkomplexität (1)
Programlogic (1)
Programming (1)
Proofcomplexity (1)
Real-Time (1)
Real-Timesystems (1)
Relationallearning (1)
Resolution (1)
Roughsets (1)
Roughsettheory (1)
Softwaretechnology (1)
Structuredanalysis (1)
Tools (1)
Typentheorie (1)
Typetheory (1)
Uncertainty (1)
Vagueness (1)
Variable (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Compiler und Übersetzer (4)
Mathematik: Logik (4)
Angewandte Mathematik (1)
Expertensysteme (1)
Numerische Mathematik (1)
Wissensbasierte Systeme (1)
Sprache auswählen
Sprachen
Englisch (11)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (11)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
eng
Automata, Languages and Programming
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Springer Berlin Heidelberg
2008
Taschenbuch
760 Seiten
106,99
€
in Kürze
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Progr…
eng
Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Springer Berlin Heidelberg
2006
Taschenbuch
396 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, T…
eng
Foundations of Software Science and Computational Structures
8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
Springer Berlin Heidelberg
2005
Taschenbuch
540 Seiten
53,49
€
in Kürze
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that…
eng
Transactions on Rough Sets I
Springer Berlin Heidelberg
2004
Taschenbuch
420 Seiten
53,49
€
in Kürze
We would like to present, with great pleasure, the ?rst volume of a new jo- nal, Transactions on Rough Sets. This journal, part of the new journal su…
eng
Computer Science Logic
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
608 Seiten
106,99
€
in Kürze
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual …
eng
Foundations of Software Science and Computational Structures
6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
460 Seiten
53,49
€
in Kürze
selection process, and to thank all our subreferees for their invaluable contributions to this process.
eng
Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Springer Berlin Heidelberg
2002
Taschenbuch
640 Seiten
106,99
€
in Kürze
The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on…
eng
Foundations of Software Science and Computation Structures
5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings
Springer Berlin Heidelberg
2002
Taschenbuch
456 Seiten
53,49
€
in Kürze
ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that wa…
eng
Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
Springer Berlin Heidelberg
1995
Taschenbuch
612 Seiten
106,99
€
in Kürze
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canad…
eng
Logical Foundations of Computer Science
Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Springer Berlin Heidelberg
1994
Taschenbuch
408 Seiten
53,49
€
in Kürze
This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersbur…
eng
Logical Foundations of Computer Science - Tver '92
Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Springer Berlin Heidelberg
1992
Taschenbuch
528 Seiten
53,49
€
in Kürze
This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992\. It is the second in a s…