Ergebnisse filtern
Fachgebiet
Medium
  • 85
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 6
  • 5
  • 5
  • 3
  • 5
  • 5
  • 6
  • 6
  • 9
  • 8
  • 5
  • 2
  • 2
  • 1
  • 4
  • 1
  • 2
Autoren
  • 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
  • 2
  • 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
  • 3
  • 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
  • 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
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
Verlag
  • 1
  • 83
  • 1
Preis
  • 1
  • 72
  • 12
Sprachen
  • 85
Verfügbarkeit
  • 84
  • 1
Katalog
  • 85
85  Treffer  für „Lecture Notes in Computer Science“
    Taitslin / Meyer | Logic at Botik '89 | Buch | Sack Fachmedien

    Taitslin / Meyer Logic at Botik '89

    Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    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
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanck / Hertling / Brattka | Computability and Complexity in Analysis | Buch | Sack Fachmedien

    Blanck / Hertling / Brattka Computability and Complexity in Analysis

    4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers
    2001
    Verlag: Springer Berlin Heidelberg
    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
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56282-5
    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

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

    Harrison / Aagaard Theorem Proving in Higher Order Logics

    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67863-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Küsters | Non-Standard Inferences in Description Logics | Buch | Sack Fachmedien

    Küsters Non-Standard Inferences in Description Logics

    From Foundations and Definitions to Algorithms and Analysis
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42397-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bläsius / Rollinger / Hedtstück | Sorts and Types in Artificial Intelligence | Buch | Sack Fachmedien

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

    Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52337-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Felty / Gunter | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Felty / Gunter Theorem Proving in Higher Order Logics

    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon / Treinen / Marche | Constraints in Computational Logics: Theory and Applications | Buch | Sack Fachmedien

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

    International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41950-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Sato / Hagiya | Logic, Language and Computation | Buch | Sack Fachmedien

    Jones / Sato / Hagiya Logic, Language and Computation

    Festschrift in Honor of Satoru Takasu
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57935-9
    Medium: Buch
    53,49 € (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
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60178-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stephan / Hutter | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Stephan / Hutter Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (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
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66993-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka / Schmitt / Jantke | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Brewka / Schmitt / Jantke Nonmonotonic and Inductive Logic

    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56433-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohlbach / Gabbay | Temporal Logic | Buch | Sack Fachmedien

    Ohlbach / Gabbay Temporal Logic

    First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58241-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dybjer / Smith / Nordström | Types for Proofs and Programs | Buch | Sack Fachmedien

    Dybjer / Smith / Nordström Types for Proofs and Programs

    International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60579-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shostak | 7th International Conference on Automated Deduction | Buch | Sack Fachmedien

    Shostak 7th International Conference on Automated Deduction

    Proceedings
    1984
    Verlag: Springer
    ISBN: 978-0-387-96022-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Walsh / Bacchus | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Walsh / Bacchus Theory and Applications of Satisfiability Testing

    8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26276-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Main / Schmidt / Melton | Mathematical Foundations of Programming Language Semantics | Buch | Sack Fachmedien

    Main / Schmidt / Melton Mathematical Foundations of Programming Language Semantics

    3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8¿10, 1987 Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19020-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tacchella / Giunchiglia | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Tacchella / Giunchiglia Theory and Applications of Satisfiability Testing

    6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20851-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miglioli / Ornaghi / Moscato | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Miglioli / Ornaghi / Moscato Theorem Proving with Analytic Tableaux and Related Methods

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61208-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Girard | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Girard Typed Lambda Calculi and Applications

    4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65763-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plotkin / Dezani-Ciancaglini | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Plotkin / Dezani-Ciancaglini Typed Lambda Calculi and Applications

    Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59048-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersson | Analysis of Dynamical and Cognitive Systems | Buch | Sack Fachmedien

    Andersson Analysis of Dynamical and Cognitive Systems

    Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58843-6
    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