Ergebnisse filtern
Fachgebiet
Medium
  • 96
Erscheinungsjahr
  • 7
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 4
  • 4
  • 3
  • 5
  • 7
  • 6
  • 6
  • 11
  • 8
  • 5
  • 2
  • 2
  • 1
  • 5
  • 1
  • 2
Autoren
  • 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
  • 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
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 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
  • 3
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 96
Preis
  • 3
  • 81
  • 12
Sprachen
  • 96
Verfügbarkeit
  • 96
Katalog
  • 96
96  Treffer  für „Lecture Notes in Computer Science“
    Abdulla / Kesner | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Abdulla / Kesner Foundations of Software Science and Computation Structures

    28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90896-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Taitslin | Logic at Botik '89 | Buch | Sack Fachmedien

    Meyer / Taitslin Logic at Botik '89

    Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51237-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guessarian | Semantics of Systems of Concurrent Processes | Buch | Sack Fachmedien

    Guessarian Semantics of Systems of Concurrent Processes

    LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eijck | Logics in AI | Buch | Sack Fachmedien

    Eijck Logics in AI

    European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53686-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanck / Brattka / Hertling | Computability and Complexity in Analysis | Buch | Sack Fachmedien

    Blanck / Brattka / Hertling Computability and Complexity in Analysis

    4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42197-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettorossi | Meta-Programming in Logic | Buch | Sack Fachmedien

    Pettorossi Meta-Programming in Logic

    Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-56282-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bläsius / Hedtstück / Rollinger | Sorts and Types in Artificial Intelligence | Buch | Sack Fachmedien

    Bläsius / Hedtstück / Rollinger Sorts and Types in Artificial Intelligence

    Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52337-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner | Theory Reasoning in Connection Calculi | Buch | Sack Fachmedien

    Baumgartner Theory Reasoning in Connection Calculi

    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65509-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussain / Zhao / Jiang | Advances in Brain Inspired Cognitive Systems | Buch | Sack Fachmedien

    Hussain / Zhao / Jiang Advances in Brain Inspired Cognitive Systems

    14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-962884-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gunter / Felty | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Gunter / Felty Theorem Proving in Higher Order Logics

    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan / Liu / Westerståhl | The Connectives in Logic and Language | Buch | Sack Fachmedien

    Yan / Liu / Westerståhl The Connectives in Logic and Language

    4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-86053-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McCune / Padmanabhan | Automated Deduction in Equational Logic and Cubic Curves | Buch | Sack Fachmedien

    McCune / Padmanabhan Automated Deduction in Equational Logic and Cubic Curves

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61398-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aagaard / Harrison | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Aagaard / Harrison Theorem Proving in Higher Order Logics

    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67863-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon / Marche / Treinen | Constraints in Computational Logics: Theory and Applications | Buch | Sack Fachmedien

    Comon / Marche / Treinen Constraints in Computational Logics: Theory and Applications

    International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41950-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baratgin / Jacquet / Brochier | Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness | Buch | Sack Fachmedien

    Baratgin / Jacquet / Brochier Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness

    Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-84594-9
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Hagiya / Sato | Logic, Language and Computation | Buch | Sack Fachmedien

    Jones / Hagiya / Sato Logic, Language and Computation

    Festschrift in Honor of Satoru Takasu
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rusinowitch / Remy | Conditional Term Rewriting Systems | Buch | Sack Fachmedien

    Rusinowitch / Remy Conditional Term Rewriting Systems

    Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56393-8
    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
    Leivant | Logic and Computational Complexity | Buch | Sack Fachmedien

    Leivant Logic and Computational Complexity

    International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60178-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Stephan | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Hutter / Stephan Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Djidjev | Optimal Algorithms | Buch | Sack Fachmedien

    Djidjev Optimal Algorithms

    International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51859-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moller / Birtwistle | Logics for Concurrency | Buch | Sack Fachmedien

    Moller / Birtwistle Logics for Concurrency

    Structure versus Automata
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60915-5
    Medium: Buch
    53,49 € (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
    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
    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

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