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 (10 Treffer)
Filter schließen (10 Treffer)
Stichwort auswählen
Alle Stichworte
Probabilisticautomata (10)
Modelchecking (4)
Formalmethods (3)
Softwareverification (3)
Timedautomata (3)
Distributedcomputing (2)
Logic (2)
Ltl (2)
Markovchains (2)
Modelsofcomputation (2)
Simulation (2)
Smtsolver (2)
Verification (2)
Algebraicstructures (1)
Algorithmicrandomness (1)
Algorithms (1)
Analogcomputers (1)
Automata (1)
Automatatheory (1)
Cellularautomata (1)
Cellularautomaton (1)
Communicatingautomata (1)
Complexnetworks (1)
Computationalmodels (1)
Computationtreelogic (1)
Concurrency (1)
Concurrentgames (1)
Concurrentprocesses (1)
Concurrentsoftware (1)
Dynamicalsystems (1)
Dynamicanalysis (1)
Emergingarchitectures (1)
Equivalencechecking (1)
Evolutionarygametheory (1)
Evolvablehardware (1)
Faulttolerance (1)
Hybridsystems (1)
Inductiveinference (1)
Isabelle/hol (1)
Learningandabduction (1)
Linearprogramming (1)
Markovmodels (1)
Mathematicalinduction (1)
Metalinearlanguages (1)
Modallogic (1)
Model-Based (1)
Model-Basedtesting (1)
Modeling (1)
Molecularcomputing (1)
Multi-Modallogic (1)
Neuralnetworks (1)
Opticalcomputing (1)
Patternformation (1)
Petrinets (1)
Probabilisticsystems (1)
Processalgebra (1)
Programminglanguages (1)
Programspecifications (1)
Pushdown (1)
Randomizedalgorithms (1)
Reachabilityanalysis (1)
Reactivesystems (1)
Rewriting (1)
Rewritinglogic (1)
Rewritingsystems (1)
Role-Basedaccesscontrol (1)
Runtimeverification (1)
Safety (1)
Sat/smt (1)
Satsolver (1)
Securityandaccesscontrol (1)
Sequentialization (1)
Softwareengineering (1)
Softwaretheoremproving (1)
Solitons (1)
Spatio-Temporalevolution (1)
Statecomplexity (1)
Statespaceanalysis (1)
Staticanalysis (1)
Stochasticsystems (1)
Systemsanalysis (1)
Temporallogics (1)
Termination (1)
Theoremproving (1)
Theoryofcomputation (1)
Undecidability (1)
Webapplications (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Netzwerk-Hardware (3)
Algorithmen und Datenstrukturen (2)
Compiler und Übersetzer (1)
Mathematik für Informatiker (1)
Mathematik: Logik (1)
Stochastik (1)
Theoretische Informatik (1)
Sprache auswählen
Sprachen
Englisch (10)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (10)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
eng
Unconventional Computation and Natural Computation
15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
216 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 15th International Conference on Unconventional Computation and Natural Computation, UCNC 2016,…
eng
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
536 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in S…
eng
Reachability Problems
9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
200 Seiten
42,80
€
in Kürze
This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in Septem…
eng
Tools and Algorithms for the Construction and Analysis of Systems
21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Springer Berlin Heidelberg
2015
Taschenbuch
744 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACA…
eng
CONCUR 2014 ¿ Concurrency Theory
25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
Springer Berlin Heidelberg
2014
Taschenbuch
616 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in Septem…
eng
Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Springer Berlin Heidelberg
2013
Taschenbuch
672 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACA…
eng
Logical Foundations of Computer Science
International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Springer Berlin Heidelberg
2012
Taschenbuch
428 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Dieg…
eng
Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Springer Berlin Heidelberg
2012
Taschenbuch
400 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Th…
eng
CONCUR 2012- Concurrency Theory
23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
Springer Berlin Heidelberg
2012
Taschenbuch
596 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle …
eng
Validation of Stochastic Systems
A Guide to Current Research
Springer Berlin Heidelberg
2004
Taschenbuch
480 Seiten
53,49
€
in Kürze
It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems. ItisoneoftheresultsoftheDutch-German…