Ergebnisse filtern
Fachgebiet
Medium
  • 164
Erscheinungsjahr
  • 1
  • 6
  • 7
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 2
  • 7
  • 3
  • 3
  • 5
  • 7
  • 6
  • 7
  • 8
  • 2
  • 5
  • 7
  • 2
  • 6
  • 7
  • 8
  • 9
  • 6
  • 2
  • 5
  • 3
  • 5
  • 2
  • 4
  • 1
  • 1
  • 4
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 2
  • 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
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 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
  • 4
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 163
  • 1
Preis
  • 1
  • 11
  • 132
  • 20
Sprachen
  • 164
  • 2
Verfügbarkeit
  • 161
  • 3
Katalog
  • 164
  • 3
164  Treffer  für „Lecture Notes in Computer Science“
    Bentkamp | Superposition for Higher-Order Logic | Buch | Sack Fachmedien

    Bentkamp Superposition for Higher-Order Logic

    Erscheinungsjahr 2027
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-032-01669-0
    Medium: Buch
    117,69 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Banerjee / S. | Logic and Its Applications | Buch | Sack Fachmedien

    Banerjee / S. Logic and Its Applications

    6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45823-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Luo / McKinna | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hagiya / Ohuchi | DNA Computing | Buch | Sack Fachmedien

    Hagiya / Ohuchi DNA Computing

    8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00531-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jonoska / Seeman | DNA Computing | Buch | Sack Fachmedien

    Jonoska / Seeman DNA Computing

    7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43775-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekerinski / Ribeiro | Formal Methods Teaching | Buch | Sack Fachmedien

    Sekerinski / Ribeiro Formal Methods Teaching

    6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71378-1
    Medium: Buch
    40,65 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boldt / Jürgensen | Automata Implementation | Buch | Sack Fachmedien

    Boldt / Jürgensen Automata Implementation

    4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42812-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schulz | Word Equations and Related Topics | Buch | Sack Fachmedien

    Schulz Word Equations and Related Topics

    1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55124-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grossi / Roy / Huang | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Grossi / Roy / Huang Logic, Rationality, and Interaction

    4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40947-9
    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
    Dowek | Rewriting and Typed Lambda Calculi | Buch | Sack Fachmedien

    Dowek Rewriting and Typed Lambda Calculi

    Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08917-1
    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
    Ehrig / Kowalski / Levi | TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 | Buch | Sack Fachmedien

    Ehrig / Kowalski / Levi TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

    Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17611-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carbone / Pierce | DNA Computing | Buch | Sack Fachmedien

    Carbone / Pierce DNA Computing

    11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34161-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Belli / Radermacher | Industrial and Engineering Applications of Artificial Intelligence and Expert Systems | Buch | Sack Fachmedien

    Belli / Radermacher Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

    5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55601-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carvalho / Kobayashi | Formal Methods Teaching | Buch | Sack Fachmedien

    Carvalho / Kobayashi Formal Methods Teaching

    7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-26742-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Treinen | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Treinen Rewriting Techniques and Applications

    20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02347-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Butler / Bowen | Abstract State Machines, B and Z | Buch | Sack Fachmedien

    Börger / Butler / Bowen Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    El Yacoubi / Chopard / Bandini | Cellular Automata | Buch | Sack Fachmedien

    El Yacoubi / Chopard / Bandini Cellular Automata

    7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-40929-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Hindley | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Groote / Hindley Typed Lambda Calculi and Applications

    Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62688-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Kruse / Nonnengart | Qualitative and Quantitative Practical Reasoning | Buch | Sack Fachmedien

    Gabbay / Kruse / Nonnengart Qualitative and Quantitative Practical Reasoning

    First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63095-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleine Büning / Zhao | Theory and Applications of Satisfiability Testing - SAT 2008 | Buch | Sack Fachmedien

    Kleine Büning / Zhao Theory and Applications of Satisfiability Testing - SAT 2008

    11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79718-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Madeira / Li | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Wang / Madeira / Li Dynamic Logic. New Trends and Applications

    6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22625-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta | Nonmonotonic Logics | Buch | Sack Fachmedien

    Schlechta Nonmonotonic Logics

    Basic Concepts, Results, and Techniques
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62482-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    He / Horty / Pacuit | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    He / Horty / Pacuit Logic, Rationality, and Interaction

    Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04892-0
    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