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 (57 Treffer)
Filter schließen (57 Treffer)
Stichwort auswählen
Alle Stichworte
Modelsofcomputation (57)
Formalmethods (19)
Semanticsandreasoning (13)
Concurrency (12)
Modelchecking (12)
Theoryofcomputation (12)
Logic (11)
Softwareengineering (11)
Automatatheory (8)
Formallanguages (8)
Semantics (8)
Algorithms (7)
Petrinets (7)
Programminglanguages (7)
Simulation (7)
Timedautomata (6)
Verification (6)
Artificialintelligence (5)
Distributedsystems (5)
Computabilitytheory (4)
Graphtheory (4)
Programanalysis (4)
Regularlanguages (4)
Softwaresystemmodels (4)
Analysistools (3)
Approximationalgorithms (3)
Automata (3)
Automataextensions (3)
Certification (3)
Computationalcomplexity (3)
Computerprogramming (3)
Computerscience (3)
Datastructures (3)
Discretemathematics (3)
Distributedcomputing (3)
Formallogic (3)
Formalmodels (3)
Formalsemantics (3)
Formalverification (3)
Graphtransformation (3)
Informationtheory (3)
Mathematicsofcomputing (3)
Modeling (3)
Modelingapproaches (3)
Oracles (3)
Problemsolving (3)
Programsemantics (3)
Quantumcomputing (3)
Relativecomputability (3)
Safetycriticalsystems (3)
Softwarearchitecture (3)
Softwaredesign (3)
Statecomplexity (3)
Staticanalysis (3)
Timedandhybridmodels (3)
Transformation (3)
Turingmachine (3)
Unconventionalcomputing (3)
Abstractmachines (2)
Abstractstatemachines (2)
Approximationtheory (2)
Architecting (2)
Asm (2)
Bformallanguage (2)
Businessprocessmodeling (2)
Calculus (2)
Cellularautomata (2)
Church-Turingthesis (2)
Classicallogic (2)
Complexity (2)
Complexityclasses (2)
Component-Basedsoftware (2)
Componentreuse (2)
Compositionality (2)
Computationalgeometry (2)
Computerarchitecture (2)
Computerhardware (2)
Computernetworks (2)
Computersoftware (2)
Concurrentsystems (2)
Consistencychecking (2)
Contextfreelanguages (2)
Cryptography (2)
Datamining (2)
Embeddedsystems (2)
Evolutionaryalgorithms (2)
Evolutionrules (2)
Faulttolerance (2)
Finiteautomata (2)
Gametheory (2)
Graph-Controlledsystems (2)
Graphicmethods (2)
Hardware (2)
Hardwarevalidation (2)
Historyofcomputing (2)
Informationsystems (2)
Interactivecomputing (2)
Logicandverification (2)
Logicdesign (2)
Logicgates (2)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik für Informatiker (11)
Compiler und Übersetzer (7)
Numerische Mathematik (6)
Algorithmen und Datenstrukturen (5)
Mathematik: Logik (5)
Netzwerk-Hardware (5)
Theoretische Informatik (5)
Expertensysteme (4)
Wissensbasierte Systeme (4)
IT-Management (3)
Wirtschaftsmathematik und -Informatik (3)
E-Business (1)
E-Commerce (1)
Kodierungstheorie und Verschlüsselung (kryptologie) (1)
Mathematische Physik (1)
Natürliche Sprachen und Maschinelle Übersetzung (1)
Quantenphysik (quantenmechanik und Quantenfeldtheorie) (1)
Software Engineering (1)
Sprache auswählen
Sprachen
Englisch (57)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (54)
Gebunden (3)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Borut Robi¿
oder
Roberto Gorrieri
oder
Lenwood S. Heath
oder
Arnold L. Rosenberg
eng
Theoretical Aspects of Computing ¿ ICTAC 2023
20th International Colloquium, Lima, Peru, December 4¿8, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
452 Seiten
79,17
€
in Kürze
eng
Fundamentals of Computation Theory
24th International Symposium, FCT 2023, Trier, Germany, September 18¿21, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
456 Seiten
79,17
€
in Kürze
eng
Fundamentals of Software Engineering
10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Springer Nature Switzerland
2023
Taschenbuch
168 Seiten
58,84
€
in Kürze
eng
Implementation and Application of Automata
27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19¿22, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
316 Seiten
62,05
€
in Kürze
eng
Lenwood S. Heath / Arnold L. Rosenberg
Understanding Computation
Pillars, Paradigms, Principles
Springer International Publishing
2022
Gebunden
588 Seiten
106,99
€
in Kürze
eng
Borut Robi¿
The Foundations of Computability Theory
Springer Berlin Heidelberg
2021
Taschenbuch
444 Seiten
69,54
€
in Kürze
This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into histo…
eng
Graph Transformation
14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24¿25, 2021, Proceedings
Springer International Publishing
2021
Taschenbuch
316 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually du…
eng
LATIN 2020: Theoretical Informatics
14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings
Springer International Publishing
2020
Taschenbuch
672 Seiten
106,99
€
in Kürze
This book constitutes the refereed proceedings of the 14th Latin American Symposium on Theoretical Informatics, LATIN 2020, held in Sao Paulo, Brazil…
eng
Advances in Neural Networks ¿ ISNN 2020
17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4¿6, 2020, Proceedings
Springer International Publishing
2020
Taschenbuch
300 Seiten
53,49
€
in Kürze
This volume LNCS 12557 constitutes the refereed proceedings of the 17th International Symposium on Neural Networks, ISNN 2020, held in Cairo, Egypt, …
eng
Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16¿20, 2020, Proceedings
Springer International Publishing
2020
Taschenbuch
476 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerla…
eng
Borut Robi¿
The Foundations of Computability Theory
Springer Berlin Heidelberg
2020
Gebunden
444 Seiten
96,29
€
in Kürze
This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into histo…
eng
Reversible Computation: Extending Horizons of Computing
Selected Results of the COST Action IC1405
Springer International Publishing
2020
Taschenbuch
252 Seiten
42,79
€
in Kürze
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that h…
eng
Verified Software. Theories, Tools, and Experiments
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13¿14, 2019, Revised Selected Papers
Springer International Publishing
2020
Taschenbuch
212 Seiten
53,49
€
in Kürze
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tool…
eng
Coordination Models and Languages
21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17¿21, 2019, Proceedings
Springer International Publishing
2019
Taschenbuch
284 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens L…
eng
Coalgebraic Methods in Computer Science
14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14¿15, 2018, Revised Selected Papers
Springer International Publishing
2018
Taschenbuch
248 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Scien…
eng
Unconventional Computation and Natural Computation
17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
Springer International Publishing
2018
Taschenbuch
236 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 17th International Conference on Unconventional Computation and Natural Computation, UCNC 2018, held in …
eng
Roberto Gorrieri
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
Springer International Publishing
2018
Taschenbuch
316 Seiten
85,59
€
in Kürze
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepte…
eng
Computer Science ¿ Theory and Applications
13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6¿10, 2018, Proceedings
Springer International Publishing
2018
Taschenbuch
368 Seiten
106,99
€
in Kürze
This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018.T…
eng
Graph Transformation, Specifications, and Nets
In Memory of Hartmut Ehrig
Springer International Publishing
2018
Taschenbuch
348 Seiten
53,49
€
in Kürze
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions represent a selection from…
eng
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Springer International Publishing
2017
Taschenbuch
404 Seiten
53,49
€
in Kürze
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are w…
eng
Descriptional Complexity of Formal Systems
19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
324 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, …
eng
Coordination Models and Languages
19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
292 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel…
eng
Unveiling Dynamics and Complexity
13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
420 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The…
eng
Roberto Gorrieri
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
Springer International Publishing
2017
Gebunden
316 Seiten
85,59
€
in Kürze
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepte…
eng
Theory and Applications of Models of Computation
14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
724 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in …
eng
Borut Robi¿
The Foundations of Computability Theory
Springer Berlin Heidelberg
2016
Taschenbuch
352 Seiten
64,19
€
in Kürze
This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into histo…
eng
Theoretical Aspects of Computing ¿ ICTAC 2016
13th International Colloquium, Taipei, Taiwan, ROC, October 24¿31, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
500 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, …
eng
Networked Systems
4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
Springer International Publishing
2016
Taschenbuch
408 Seiten
53,49
€
in Kürze
This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco,…
eng
Descriptional Complexity of Formal Systems
18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
Springer International Publishing
2016
Taschenbuch
236 Seiten
53,49
€
in Kürze
his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in …
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
Programming Languages and Systems
25th European Symposium on Programming, ESOP 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
820 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in Ap…
eng
Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Springer International Publishing
2016
Taschenbuch
216 Seiten
42,80
€
in Kürze
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Bra…
eng
Formal Aspects of Component Software
12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Springer International Publishing
2016
Taschenbuch
344 Seiten
53,49
€
in Kürze
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in …
eng
Quantitative Evaluation of Systems
12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
348 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, i…
eng
Parallel Computing Technologies
13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
564 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russi…
eng
Application and Theory of Petri Nets and Concurrency
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
364 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, …
Mehr