Kategorien
Handverlesen
Rumänische Literatur
Verbrieft
Kafka, Kafka, Kafka
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 (25 Treffer)
Filter schließen (25 Treffer)
Stichwort auswählen
Alle Stichworte
Modallogics (25)
Temporallogics (7)
Formalmethods (5)
Formalverification (5)
Logic (5)
Automat (4)
Automatatheory (4)
Automateddeduction (4)
Automatedreasoning (4)
Mathematicallogics (4)
Modelchecking (4)
Operationalsemantics (4)
Semantics (4)
Ailogics (3)
Automata (3)
Formallanguages (3)
Lambdacalculus (3)
Logicprogramming (3)
Tableauxmethods (3)
Theoremproving (3)
Ancientindianlogic (2)
Artificialintelligence (2)
Automatedtheoremproving (2)
Bisimulation (2)
Causalmodels (2)
Coalgebra (2)
Coalgebrafunctors (2)
Consistencyproof (2)
Coversystems (2)
Cutelimination (2)
Dataanalysis (2)
Decidability (2)
Descriptionlogics (2)
Epistemiclogics (2)
Higherorderlogic (2)
Hypersequentcalculus (2)
Interpolation (2)
Knowledgediscovery (2)
Knowledgeprocessing (2)
Modalelogiken (2)
Multirelations (2)
Non-Classicallogics (2)
Probabilisticprocesses (2)
Prooftheory (2)
Propositionallogics (2)
Resolution (2)
Sequentcalculus (2)
Simulationpreorders (2)
Softwareengineering (2)
Testingpreorders (2)
Typetheory (2)
Verification (2)
Abstractinterpretation (1)
Abstraction (1)
Algebraiclanguagetheory (1)
Algebraiclogic (1)
Algorithms (1)
Ausführbarelogiken (1)
Booleanalgebras (1)
Booleanfunctions (1)
Calculus (1)
Categorytheory (1)
Classicallogic (1)
Classicalsemantics (1)
Completenesstheorem (1)
Complexity (1)
Computationalcomplexity (1)
Concurrentsystems (1)
Conditionallogics (1)
Constraintsolving (1)
Correctness (1)
Cyber-Physicalsystems (1)
Database (1)
Databasedesignandmodels (1)
Databasetheory (1)
Datamining (1)
Deduction (1)
Determinization (1)
Differentialdynamiclogic (1)
Discretemathematics (1)
Distributedalgorithms (1)
Distributedcomputing (1)
Distributedmodelchecking (1)
Distributedsystems (1)
Dynamicalsystems (1)
Executablelogics (1)
Explicitmodelchecking (1)
First-Orderlogic (1)
Firstorderlogic (1)
Formallanguagetheory (1)
Formalspecification (1)
Fuzzy (1)
Fuzzylogic (1)
Fuzzyrelations (1)
Gamesemantics (1)
Godeltheorems (1)
Higher-Orderrewriting (1)
Hol (1)
Hybridlogic (1)
Hybridmodels (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik für Informatiker (8)
Mathematik: Logik (6)
Compiler und Übersetzer (5)
Software Engineering (2)
Theoretische Informatik (2)
Algorithmen und Datenstrukturen (1)
Zahlentheorie (1)
Sprache auswählen
Sprachen
Englisch (25)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (21)
Gebunden (4)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Yuxin Deng
oder
Andrzej Indrzejczak
oder
Anita Wasilewska
eng
Andrzej Indrzejczak
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Springer International Publishing
2021
Taschenbuch
364 Seiten
53,49
€
in Kürze
eng
Andrzej Indrzejczak
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Springer International Publishing
2020
Gebunden
364 Seiten
69,54
€
in Kürze
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concer…
eng
Philosophical Logic: Current Trends in Asia
Proceedings of AWPL-TPLC 2016
Springer Nature Singapore
2018
Taschenbuch
312 Seiten
160,49
€
in Kürze
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of lo…
eng
Anita Wasilewska
Logics for Computer Science
Classical and Non-Classical
Springer International Publishing
2018
Gebunden
548 Seiten
128,39
€
in Kürze
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for compu…
eng
Philosophical Logic: Current Trends in Asia
Proceedings of AWPL-TPLC 2016
Springer Nature Singapore
2017
Gebunden
312 Seiten
160,49
€
in Kürze
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of lo…
eng
Yuxin Deng
Semantics of Probabilistic Processes
An Operational Approach
Springer Berlin Heidelberg
2016
Taschenbuch
264 Seiten
53,49
€
in Kürze
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given t…
eng
Automated Reasoning
8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 ¿ July 2, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
600 Seiten
85,59
€
in Kürze
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portuga…
eng
Coalgebraic Methods in Computer Science
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Springer International Publishing
2016
Taschenbuch
248 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Scien…
eng
Foundations of Software Science and Computation Structures
19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Springer Berlin Heidelberg
2016
Taschenbuch
564 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 201…
eng
Relational and Algebraic Methods in Computer Science
15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
408 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held…
eng
Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
340 Seiten
51,36
€
in Kürze
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applicat…
eng
Yuxin Deng
Semantics of Probabilistic Processes
An Operational Approach
Springer Berlin Heidelberg
2015
Gebunden
264 Seiten
53,49
€
in Kürze
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given t…
eng
Coalgebraic Methods in Computer Science
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Springer Berlin Heidelberg
2014
Taschenbuch
256 Seiten
51,36
€
in Kürze
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 20…
eng
Foundations of Software Science and Computation Structures
16th International Conference, FOSSACS 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
476 Seiten
53,49
€
in Kürze
eng
Coalgebraic Methods in Computer Science
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Springer Berlin Heidelberg
2012
Taschenbuch
268 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 20…
eng
Foundations of Software Science and Computational Structures
12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Springer Berlin Heidelberg
2009
Taschenbuch
488 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, …
eng
25 Years of Model Checking
History, Achievements, Perspectives
Springer Berlin Heidelberg
2008
Taschenbuch
248 Seiten
37,44
€
in Kürze
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has …
eng
Theory and Applications of Relational Structures as Knowledge Instruments II
International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Springer Berlin Heidelberg
2006
Taschenbuch
392 Seiten
53,49
€
in Kürze
This book constitutes the major results of the EU COST (European Cooperation in the field of Scientific and Technical Research) Action 274: TARSKI - …
eng
Theory and Applications of Relational Structures as Knowledge Instruments
COST Action 274, TARSKI, Revised Papers
Springer Berlin Heidelberg
2003
Taschenbuch
288 Seiten
53,49
€
in Kürze
Relational structures abound in our daily environment: relational databases, data mining, scaling procedures, preference relations, etc. As the docum…
eng
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
288 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TAB…
eng
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings
Springer Berlin Heidelberg
2002
Taschenbuch
356 Seiten
53,49
€
in Kürze
This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods …
eng
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
Springer Berlin Heidelberg
2000
Taschenbuch
456 Seiten
53,49
€
in Kürze
This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July …
eng
Automated Deduction in Classical and Non-Classical Logics
Selected Papers
Springer Berlin Heidelberg
2000
Taschenbuch
312 Seiten
53,49
€
in Kürze
Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors …
eng
Logics for Concurrency
Structure versus Automata
Springer Berlin Heidelberg
1996
Taschenbuch
282 Seiten
53,49
€
in Kürze
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on …
eng
Executable Modal and Temporal Logics
IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Springer Berlin Heidelberg
1995
Taschenbuch
196 Seiten
53,49
€
in Kürze
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in…