Ergebnisse filtern
Fachgebiet
Medium
  • 159
Erscheinungsjahr
  • 7
  • 7
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 2
  • 3
  • 1
  • 4
  • 2
  • 2
  • 3
  • 1
  • 7
  • 7
  • 7
  • 7
  • 2
  • 5
  • 7
  • 3
  • 8
  • 7
  • 8
  • 8
  • 6
  • 3
  • 4
  • 3
  • 5
  • 2
  • 4
  • 1
  • 1
  • 4
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 159
Preis
  • 1
  • 9
  • 133
  • 16
Sprachen
  • 159
  • 2
Verfügbarkeit
  • 159
Katalog
  • 159
  • 3
159  Treffer  für „Lecture Notes in Computer Science“
    Desel / Reisig / Rozenberg | Lectures on Concurrency and Petri Nets | Buch | Sack Fachmedien

    Desel / Reisig / Rozenberg Lectures on Concurrency and Petri Nets

    Advances in Petri Nets
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22261-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Reisig / Rozenberg | Petri Net Technology for Communication-Based Systems | Buch | Sack Fachmedien

    Ehrig / Reisig / Rozenberg Petri Net Technology for Communication-Based Systems

    Advances in Petri Nets
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20538-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Juhas / Padberg | Unifying Petri Nets | Buch | Sack Fachmedien

    Ehrig / Juhas / Padberg Unifying Petri Nets

    Advances in Petri Nets
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-43067-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maluszynski / Wirsing | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Maluszynski / Wirsing Programming Language Implementation and Logic Programming

    3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54444-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckmann / Oitavem / Manea | Crossroads of Computability and Logic: Insights, Inspirations, and Innovations | Buch | Sack Fachmedien

    Beckmann / Oitavem / Manea Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

    21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95907-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moot / Retore | The Logic of Categorial Grammars | Buch | Sack Fachmedien

    Moot / Retore The Logic of Categorial Grammars

    A deductive account of natural language syntax and semantics
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31554-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Paiva / de Queiroz / Moss | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    de Paiva / de Queiroz / Moss Logic, Language, Information, and Computation

    22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-47708-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cantone / Pulvirenti | From Computational Logic to Computational Biology | Buch | Sack Fachmedien

    Cantone / Pulvirenti From Computational Logic to Computational Biology

    Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
    2024
    Verlag: Springer
    ISBN: 978-3-031-55247-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Väänänen | Generalized Quantifiers and Computation | Buch | Sack Fachmedien

    Väänänen Generalized Quantifiers and Computation

    9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66993-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parigot / Voronkov | Logic for Programming and Automated Reasoning | Buch | Sack Fachmedien

    Parigot / Voronkov Logic for Programming and Automated Reasoning

    7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41285-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz / Orejas | TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 | Buch | Sack Fachmedien

    Diaz / Orejas TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989

    Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50939-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertrand / Dubslaff / Klüppelholz | Principles of Formal Quantitative Analysis | Buch | Sack Fachmedien

    Bertrand / Dubslaff / Klüppelholz Principles of Formal Quantitative Analysis

    Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97438-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka / Jantke / Schmitt | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Brewka / Jantke / Schmitt Nonmonotonic and Inductive Logic

    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56433-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Leitsch / Mundici | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Leitsch / Mundici Computational Logic and Proof Theory

    Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57184-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aiswarya / Sen / Srivastava | Logic and Its Applications | Buch | Sack Fachmedien

    Aiswarya / Sen / Srivastava Logic and Its Applications

    11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-89609-5
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morrill / Muskens / Osswald | Formal Grammar | Buch | Sack Fachmedien

    Morrill / Muskens / Osswald Formal Grammar

    19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44120-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hawblitzel / Miller | Certified Programs and Proofs | Buch | Sack Fachmedien

    Hawblitzel / Miller Certified Programs and Proofs

    Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35307-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Reif | DNA Computing | Buch | Sack Fachmedien

    Chen / Reif DNA Computing

    9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20930-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Rensink / Rozenberg | Graph Transformations | Buch | Sack Fachmedien

    Ehrig / Rensink / Rozenberg Graph Transformations

    5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15927-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Mendes / Menghi | Formal Methods Teaching | Buch | Sack Fachmedien

    Ferreira / Mendes / Menghi Formal Methods Teaching

    4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91549-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Leitsch / Mundici | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Leitsch / Mundici Computational Logic and Proof Theory

    5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63385-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brookes / Main / Melton | Mathematical Foundations of Programming Semantics | Buch | Sack Fachmedien

    Brookes / Main / Melton Mathematical Foundations of Programming Semantics

    7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55511-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Lakos | Application and Theory of Petri Nets 2002 | Buch | Sack Fachmedien

    Esparza / Lakos Application and Theory of Petri Nets 2002

    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming | Buch | Sack Fachmedien

    Voronkov Logic Programming

    First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raymond / Wood / Yu | Automata Implementation | Buch | Sack Fachmedien

    Raymond / Wood / Yu Automata Implementation

    First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63174-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular