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 (60 Treffer)
Filter schließen (60 Treffer)
Stichwort auswählen
Alle Stichworte
Termrewriting (60)
Logic (25)
Algorithms (22)
Complexity (22)
Semantics (19)
Verification (18)
Automat (14)
Automata (14)
Programming (14)
Theoremproving (13)
Algorithm (12)
Automateddeduction (12)
Computerscience (12)
Programminglanguage (11)
Proving (11)
Datastructures (10)
Modelchecking (10)
Calculus (9)
Formallanguage (9)
Lambdacalculus (8)
Datastructure (6)
Logicprogramming (6)
Automatedreasoning (5)
Computer (5)
Formallanguages (5)
Resolution (5)
Rewritingsystems (5)
Variable (5)
Combinatorics (4)
Constraintsolving (4)
Database (4)
Formalmethods (4)
Modeling (4)
Modeltheory (4)
Operationalsemantics (4)
Optimization (4)
Robot (4)
Robotics (4)
Simulation (4)
Typesystems (4)
Unification (4)
Abstractinterpretation (3)
Automatatheory (3)
Automatischesschließen (3)
Bioinformatics (3)
Complexitytheory (3)
Computeralgebra (3)
Concurrency (3)
Constraints (3)
Distributedsystems (3)
Ersetzungssysteme (3)
Finiteautomata (3)
Formalspecification (3)
Grammar (3)
Graphrewriting (3)
Graphtransformation (3)
Higher-Orderlogic (3)
Higher-Orderrewriting (3)
Modallogic (3)
Softwareverification (3)
Termination (3)
Algebraicspecification (2)
Algorithmiclearning (2)
Analysis (2)
Automatischededuktion (2)
Bisimulation (2)
Combinatoricsonwords (2)
Computationalcomplexity (2)
Computationalgeometry (2)
Dataandimagecompression (2)
Decidability (2)
Decisionprocedures (2)
Derivation (2)
Encryption (2)
Formalverification (2)
Functionalprogramming (2)
Hardware (2)
Hybridsystems (2)
Integerarithmetic (2)
Knowledgebase (2)
Layout (2)
Logicalframeworks (2)
Model-Checking (2)
Monoid (2)
Petrinet (2)
Processalgebra (2)
Programanalysis (2)
Programcalculi (2)
Programsynthesis (2)
Proofautomation (2)
Proofsystems (2)
Reduction (2)
Regularexpressions (2)
Satencoding (2)
Satsolving (2)
Smtsolving (2)
Staticsemantics (2)
Tableaux (2)
Temporallogic (2)
Term-Ersetzung (2)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik für Informatiker (16)
Compiler und Übersetzer (12)
Algorithmen und Datenstrukturen (9)
Mathematik: Logik (9)
Theoretische Informatik (4)
Diskrete Mathematik (3)
Software Engineering (2)
Dv-Gestützte Biologie/bioinformatik (1)
Informatik (1)
Mustererkennung (1)
Numerische Mathematik (1)
Quantenphysik (quantenmechanik und Quantenfeldtheorie) (1)
Sprache auswählen
Sprachen
Englisch (60)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (60)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
eng
Automated Deduction ¿ CADE 26
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6¿11, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
596 Seiten
85,59
€
in Kürze
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017…
eng
Language and Automata Theory and Applications
10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
640 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016, held…
eng
Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Springer International Publishing
2015
Taschenbuch
184 Seiten
42,80
€
in Kürze
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WAD…
eng
Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
376 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in…
eng
Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
292 Seiten
51,36
€
in Kürze
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's c…
eng
Automated Deduction - CADE-25
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
668 Seiten
53,49
€
in Kürze
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. …
eng
Reversible Computation
7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
300 Seiten
51,36
€
in Kürze
This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in Ju…
eng
Language and Automata Theory and Applications
9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Springer International Publishing
2015
Taschenbuch
772 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held …
eng
Programming Languages and Systems
12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Springer International Publishing
2014
Taschenbuch
508 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singa…
eng
Frontiers of Combining Systems
9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
Springer Berlin Heidelberg
2013
Taschenbuch
372 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, Fran…
eng
Programming Languages and Systems
10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
Springer Berlin Heidelberg
2012
Taschenbuch
404 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in…
eng
Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Springer Berlin Heidelberg
2011
Taschenbuch
528 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial I…
eng
Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
Springer Berlin Heidelberg
2008
Taschenbuch
472 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagen…
eng
Frontiers of Combining Systems
6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
Springer Berlin Heidelberg
2007
Taschenbuch
296 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, …
eng
Algebraic Biology
Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
Springer Berlin Heidelberg
2007
Taschenbuch
400 Seiten
53,49
€
in Kürze
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdiscip…
eng
Logical Foundations of Computer Science
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Springer Berlin Heidelberg
2007
Taschenbuch
532 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York…
eng
Term Rewriting and Applications
17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
Springer Berlin Heidelberg
2006
Taschenbuch
436 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seatt…
eng
Processes, Terms and Cycles: Steps on the Road to Infinity
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Springer Berlin Heidelberg
2005
Taschenbuch
660 Seiten
106,99
€
in Kürze
This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term re…
eng
Theoretical Computer Science
9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
432 Seiten
53,49
€
in Kürze
The 9th Italian Conference on Theoretical Computer Science (ICTCS 2005)was held at the Certosa di Pontignano, Siena, Italy, on October 12¿14 2005. Th…
eng
Algebra and Coalgebra in Computer Science
First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
468 Seiten
53,49
€
in Kürze
In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop …
eng
Term Rewriting and Applications
16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
536 Seiten
106,99
€
in Kürze
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19¿ 2…
eng
Implementation and Application of Automata
9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
Springer Berlin Heidelberg
2005
Taschenbuch
356 Seiten
53,49
€
in Kürze
This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Impleme…
eng
Computer Science Logic
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Springer Berlin Heidelberg
2004
Taschenbuch
538 Seiten
53,49
€
in Kürze
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20¿24, 2004 i…
eng
Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Springer Berlin Heidelberg
2003
Taschenbuch
472 Seiten
53,49
€
in Kürze
This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT…
eng
Implementation and Application of Automata
8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
332 Seiten
53,49
€
in Kürze
Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other discipline…
eng
Rewriting Techniques and Applications
14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Springer Berlin Heidelberg
2003
Taschenbuch
532 Seiten
53,49
€
in Kürze
The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 200…
eng
Rewriting Techniques and Applications
13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Springer Berlin Heidelberg
2002
Taschenbuch
404 Seiten
53,49
€
in Kürze
This volume contains the proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002),which was held July 22-…
eng
Recent Trends in Algebraic Development Techniques
15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
Springer Berlin Heidelberg
2002
Taschenbuch
360 Seiten
53,49
€
in Kürze
Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygra…
eng
Rewriting Techniques and Applications
12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
Springer Berlin Heidelberg
2001
Taschenbuch
380 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrec…
eng
Recent Trends in Algebraic Development Techniques
14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Springer Berlin Heidelberg
2000
Taschenbuch
500 Seiten
53,49
€
in Kürze
Language), CASL semantics, CASL tools, methodology, and reactive systems.
eng
Rewriting Techniques and Applications
11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings
Springer Berlin Heidelberg
2000
Taschenbuch
292 Seiten
53,49
€
in Kürze
RichardKennaway(Norwich) PublicityChair Jos¿ eMeseguer(MenloPark) RTAOrganizingCommittee HubertComon(Cachan) TobiasNipkow(Munich) NachumDershowitz,ch…
eng
Algebraic Methodology and Software Technology
7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
Springer Berlin Heidelberg
1998
Taschenbuch
552 Seiten
53,49
€
in Kürze
AMAST¿s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seve…
eng
Foundations of Software Science and Computation Structures
First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Springer Berlin Heidelberg
1998
Taschenbuch
308 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structure…
eng
Fundamentals of Computation Theory
11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings
Springer Berlin Heidelberg
1997
Taschenbuch
496 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 11th International Symposium on Fundamentals of Computer Theory, FCT'97, held in Krakow, Poland…
eng
Computer Science Logic
10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
Springer Berlin Heidelberg
1997
Taschenbuch
488 Seiten
53,49
€
in Kürze
This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as t…
eng
Rewriting Techniques and Applications
8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
Springer Berlin Heidelberg
1997
Taschenbuch
360 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, …
Mehr