Kategorien
Handverlesen
Kafka, Kafka, Kafka
Alice Munro
Paul Auster
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 (46 Treffer)
Filter schließen (46 Treffer)
Stichwort auswählen
Alle Stichworte
Automata Theory (46)
Automata (21)
Artificial Intelligence (18)
Software Engineering (14)
Formal Languages (11)
Computer Science (10)
Algorithms (9)
Computer Systems (9)
Databases (9)
Graph Theory (8)
Modeling (8)
Complexity (7)
Formal Language (7)
Formal Logic (7)
Mathematics (7)
Semantics (7)
Software Design (7)
Computer (6)
Engineering (6)
Linguistics (6)
Signal Processing (6)
Finite Automata (5)
Model Checking (5)
Problem Solving (5)
Algorithm (4)
Computer Programming (4)
Correlation Analysis (4)
Internet (4)
Logic (4)
Natural Languages (4)
Optimization (4)
Theorem Proving (4)
Theory of Computation (4)
Algebra (3)
Architecting (3)
Calculus (3)
Combinatorics (3)
Computational Complexity (3)
Computer Networks (3)
Distributed Systems (3)
Formal Methods (3)
Grammar (3)
Information Retrieval (3)
Information Theory (3)
Machine Learning (3)
Optimal Control (3)
Satisfiability (3)
Software Architecture (3)
Speech Recognition (3)
System (3)
Verification (3)
Abstract Algebra (2)
Approximation Algorithms (2)
Boolean Functions (2)
Canonical Normal Forms (2)
Cellular Automata (2)
Circuit Latches (2)
Cognition (2)
Combinational Circuits (2)
Computability (2)
Computer Metatheory (2)
Computer Network (2)
Control Theory (2)
Data Mining (2)
Decidability (2)
Diagnose (2)
Dynamische Systeme (2)
Embedded Systems (2)
Equalizer (2)
Equivalence (2)
Finite-State Machines (2)
Graphs (2)
Homomorphism (2)
Identification (2)
Information System (2)
Karnaugh Maps (2)
Machine Translations (2)
Mazurkiewicz Traces (2)
Message Sequence Charts (2)
Model Predictive Control (2)
Model Theory (2)
Models of Computation (2)
Natural Language (2)
Network Protocols (2)
Np-Completeness (2)
Operating System (2)
Programming (2)
Proof (2)
Query Languages (2)
Ring Theory (2)
Robot (2)
Shegalkin Normal Forms (2)
Software Evaluation (2)
Speech Analysis (2)
Speech Processing (2)
Switching Theory (2)
Syntax (2)
Turing Machines (2)
Abstraction (1)
Access Control (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik für Informatiker (7)
Algorithmen und Datenstrukturen (6)
Mathematik: Logik (6)
Kybernetik und Systemtheorie (4)
Expertensysteme (3)
Wissensbasierte Systeme (3)
Computerlinguistik und Korpuslinguistik (2)
Netzwerk-Hardware (2)
Numerische Mathematik (2)
Regelungstechnik (2)
Schaltkreise und Komponenten (bauteile) (2)
Theoretische Informatik (2)
Algebra (1)
Dv-Gestützte Biologie/bioinformatik (1)
E-Learning (1)
Informationstheorie (1)
Lehrmittel (1)
Lerntechnologien (1)
Management: Entscheidungstheorie (1)
Mathematische Modellierung (1)
Natürliche Sprachen und Maschinelle Übersetzung (1)
Software Engineering (1)
Sprache auswählen
Sprachen
Englisch (46)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (36)
Gebunden (10)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Benedikt Bollig
oder
Jonathan S. Golan
oder
Dexter C. Kozen
oder
Gheorghe Paun
oder
Shimon P. Vingron
eng
Shimon P. Vingron
Logic Circuit Design
Selected Topics and Methods
Springer International Publishing
2023
Gebunden
256 Seiten
160,49
€
in Kürze
eng
Unity of Logic and Computation
19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24¿28, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
352 Seiten
69,54
€
in Kürze
eng
Machine Intelligence and Emerging Technologies
First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Springer Nature Switzerland
2023
Taschenbuch
828 Seiten
139,09
€
in Kürze
eng
Unconventional Computation and Natural Computation
20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13¿17, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
228 Seiten
69,54
€
in Kürze
eng
Application and Theory of Petri Nets and Concurrency
44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25¿30, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
484 Seiten
85,59
€
in Kürze
eng
Developments in Language Theory
27th International Conference, DLT 2023, Umeå, Sweden, June 12¿16, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
280 Seiten
69,54
€
in Kürze
This book constitutes the refereed proceedings of the 27th International Conference on Developments in Language Theory, DLT 2023, held in Umeå, Swede…
eng
Computational Linguistics and Intelligent Text Processing
20th International Conference, CICLing 2019, La Rochelle, France, April 7¿13, 2019, Revised Selected Papers, Part I
Springer Nature Switzerland
2023
Taschenbuch
696 Seiten
106,99
€
in Kürze
The two-volume set LNCS 13451 and 13452 constitutes revised selected papers from the CICLing 2019 conference which took place in La Rochelle, France,…
eng
Artificial Intelligence and Natural Language
11th Conference, AINL 2022, Saint Petersburg, Russia, April 14¿15, 2022, Revised Selected Papers
Springer Nature Switzerland
2023
Taschenbuch
120 Seiten
69,54
€
in Kürze
¿This book constitutes the refereed proceedings of the 11th Conference on Artificial Intelligence and Natural Language, AINL 2022, held in St. Peters…
eng
Machine Translation
18th China Conference, CCMT 2022, Lhasa, China, August 6¿10, 2022, Revised Selected Papers
Springer Nature Singapore
2022
Taschenbuch
176 Seiten
69,54
€
in Kürze
This book constitutes the refereed proceedings of the 18th China Conference on Machine Translation, CCMT 2022, held in Lhasa, China, during August 6-…
eng
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25¿28, 2022, Proceedings
Springer International Publishing
2022
Taschenbuch
456 Seiten
80,24
€
in Kürze
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, …
eng
Reachability Problems
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17¿21, 2022, Proceedings
Springer International Publishing
2022
Taschenbuch
224 Seiten
58,84
€
in Kürze
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, German…
eng
Computational and Corpus-Based Phraseology
4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings
Springer International Publishing
2022
Taschenbuch
256 Seiten
69,54
€
in Kürze
eng
Machines, Computations, and Universality
9th International Conference, MCU 2022, Debrecen, Hungary, August 31 ¿ September 2, 2022, Proceedings
Springer International Publishing
2022
Taschenbuch
204 Seiten
181,89
€
in Kürze
eng
Descriptional Complexity of Formal Systems
24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29¿31, 2022, Proceedings
Springer International Publishing
2022
Taschenbuch
244 Seiten
80,24
€
in Kürze
eng
Coalgebraic Methods in Computer Science
16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings
Springer International Publishing
2022
Taschenbuch
216 Seiten
117,69
€
in Kürze
eng
Revolutions and Revelations in Computability
18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11¿15, 2022, Proceedings
Springer International Publishing
2022
Taschenbuch
380 Seiten
69,54
€
in Kürze
eng
Connecting with Computability
17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5¿9, 2021, Proceedings
Springer International Publishing
2021
Taschenbuch
532 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021.…
eng
A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso
College Publications
2021
Taschenbuch
294 Seiten
24,50
€
in Kürze
eng
Innovation for Systems Information and Decision
Second International Meeting, INSID 2020, Recife, Brazil, December 2¿4, 2020, Proceedings
Springer International Publishing
2020
Taschenbuch
140 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the Second International Meeting on Innovation for Systems Information and Decision meeting, INSID …
eng
Verification and Evaluation of Computer and Communication Systems
13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Springer International Publishing
2019
Taschenbuch
128 Seiten
53,49
€
in Kürze
eng
Computing with Foresight and Industry
15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15¿19, 2019, Proceedings
Springer International Publishing
2019
Taschenbuch
336 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019. The 20 …
eng
SOFSEM 2019: Theory and Practice of Computer Science
45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
Springer International Publishing
2019
Taschenbuch
548 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOF…
eng
Sailing Routes in the World of Computation
14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 ¿ August 3, 2018, Proceedings
Springer International Publishing
2018
Taschenbuch
452 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 20…
eng
Handbook of Model Checking
Springer-Verlag GmbH
2018
Gebunden
1212 Seiten
139,09
€
Auf Lager
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from rese…
eng
Machines, Computations, and Universality
8th International Conference, MCU 2018, Fontainebleau, France, June 28¿30, 2018, Proceedings
Springer International Publishing
2018
Taschenbuch
192 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fon…
eng
Gerard O'Regan
Concise Guide to Formal Methods
Theory, Fundamentals and Industry Applications
Springer-Verlag GmbH
2017
Taschenbuch
69,54
€
in Kürze
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal…
eng
Logical Methods
In Honor of Anil Nerode¿s Sixtieth Birthday
Birkhäuser Boston
2013
Taschenbuch
856 Seiten
160,49
€
in Kürze
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in ho…
eng
Discrete Event Systems
Analysis and Control
Springer US
2012
Taschenbuch
500 Seiten
106,99
€
in Kürze
eng
Shimon P. Vingron
Logic Circuit Design
Selected Methods
Springer Berlin Heidelberg
2012
Gebunden
272 Seiten
106,99
€
in Kürze
In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memoris…
eng
Eduardo D. Sontag
Mathematical Control Theory
Deterministic Finite Dimensional Systems
Springer New York
2012
Taschenbuch
412 Seiten
74,89
€
in Kürze
Mathematics is playing an ever more important role in the physical and biologi cal sciences, provoking a blurring of boundaries between scientific d…
eng
E. G. Manes
Algebraic Theories
Springer New York
2011
Taschenbuch
372 Seiten
53,49
€
in Kürze
In the past decade, category theory has widened its scope and now inter acts with many areas of mathematics. This book develops some of the interact…
eng
Dexter C. Kozen
The Design and Analysis of Algorithms
Springer New York
2011
Taschenbuch
336 Seiten
85,59
€
in Kürze
These are my lecture notes from CS681: Design and Analysis of Algo rithms, a one-semester graduate course I taught at Cornell for three consec utiv…
eng
Verification of Digital and Hybrid Systems
Springer Berlin Heidelberg
2011
Taschenbuch
428 Seiten
106,99
€
in Kürze
eng
Quantitative Measure for Discrete Event Supervisory Control
Springer New York
2011
Taschenbuch
288 Seiten
106,99
€
in Kürze
Supervisory Control Theory (SCT) provides a tool to model and control human- engineered complex systems, such as computer networks, World Wide Web, i…
eng
Jewels are Forever
Contributions on Theoretical Computer Science in Honor of Arto Salomaa
Springer Berlin Heidelberg
2011
Taschenbuch
420 Seiten
106,99
€
in Kürze
Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on …
eng
Jonathan S. Golan
Semirings and Affine Equations over Them
Theory and Applications
Springer Netherlands
2011
Taschenbuch
256 Seiten
106,99
€
in Kürze
Semiring theory stands with a foot in each of two mathematical domains. The first being abstract algebra and the other the fields of applied mathemat…
Mehr
/9783031406720.png "Logic Circuit Design")
/9783031369773.png "Unity of Logic and Computation")
/9783031346217.png "Machine Intelligence and Emerging Technologies")
/9783031340338.png "Unconventional Computation and Natural Computation")
/9783031336195.png "Application and Theory of Petri Nets and Concurrency")
/9783031332630.png "Developments in Language Theory")
/9783031243363.png "Computational Linguistics and Intelligent Text Processing")
/9783031233715.png "Artificial Intelligence and Natural Language")
/9789811979590.png "Machine Translation")
/9783031199912.png "Automated Technology for Verification and Analysis")
/9783031191343.png "Reachability Problems")
/9783031159244.png "Computational and Corpus-Based Phraseology")
/9783031135019.png "Machines, Computations, and Universality")
/9783031132568.png "Descriptional Complexity of Formal Systems")
/9783031107351.png "Coalgebraic Methods in Computer Science")
/9783031087394.png "Revolutions and Revelations in Computability")
/9783030800482.png "Connecting with Computability")
/9781848903531.png "A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso")
/9783030643980.png "Innovation for Systems Information and Decision")
/9783030350918.png "Verification and Evaluation of Computer and Communication Systems")
/9783030229955.png "Computing with Foresight and Industry")
/9783030108007.png "SOFSEM 2019: Theory and Practice of Computer Science")
/9783319944173.png "Sailing Routes in the World of Computation")
/9783319105741.png "Handbook of Model Checking")
/9783319924014.png "Machines, Computations, and Universality")
/9783319640204.png "Concise Guide to Formal Methods")
/9781461267089.png "Logical Methods")
/9781461370253.png "Discrete Event Systems")
/9783642276569.png "Logic Circuit Design")
/9781468403763.png "Mathematical Control Theory")
/9781461298625.png "Algebraic Theories")
/9781461287575.png "The Design and Analysis of Algorithms")
/9783642640520.png "Verification of Digital and Hybrid Systems")
/9781441918512.png "Quantitative Measure for Discrete Event Supervisory Control")
/9783642643040.png "Jewels are Forever")
/9789048163106.png "Semirings and Affine Equations over Them")