Ergebnisse filtern
Fachgebiet
Medium
  • 315
Erscheinungsjahr
  • 14
  • 30
  • 22
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 3
  • 5
  • 8
  • 7
  • 2
  • 7
  • 5
  • 13
  • 4
  • 2
  • 5
  • 2
  • 8
  • 10
  • 8
  • 12
  • 5
  • 6
  • 2
  • 10
  • 10
  • 11
  • 14
  • 13
  • 14
  • 9
  • 2
  • 8
  • 5
  • 8
  • 5
  • 4
  • 2
  • 1
  • 4
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 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
  • 4
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 315
Preis
  • 1
  • 17
  • 260
  • 37
Sprachen
  • 315
  • 2
Verfügbarkeit
  • 315
Eigenschaften
  • 2
Katalog
  • 315
  • 3
315  Treffer  für „Lecture Notes in Computer Science“
    Khachay / Kochetov / Eremeev | Mathematical Optimization Theory and Operations Research | Buch | Sack Fachmedien

    Khachay / Kochetov / Eremeev Mathematical Optimization Theory and Operations Research

    22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35304-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eremeev / Khachay / Kochetov | Mathematical Optimization Theory and Operations Research | Buch | Sack Fachmedien

    Eremeev / Khachay / Kochetov Mathematical Optimization Theory and Operations Research

    23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-62791-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cimiano / Frank / Kohlhase | Robust Argumentation Machines | Buch | Sack Fachmedien

    Cimiano / Frank / Kohlhase Robust Argumentation Machines

    First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-63535-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lu / Kim / Wu | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Lu / Kim / Wu Combinatorial Optimization and Applications

    9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26625-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barneva / Bhattacharya / Brimkov | Combinatorial Image Analysis | Buch | Sack Fachmedien

    Barneva / Bhattacharya / Brimkov Combinatorial Image Analysis

    17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26144-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Wehrheim | Tests and Proofs | Buch | Sack Fachmedien

    Ahrendt / Wehrheim Tests and Proofs

    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-50994-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blackburn / van Ditmarsch / Manzano | Tools for Teaching Logic | Buch | Sack Fachmedien

    Blackburn / van Ditmarsch / Manzano Tools for Teaching Logic

    Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21349-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Main / Melton / Mislove | Mathematical Foundations of Programming Language Semantics | Buch | Sack Fachmedien

    Main / Melton / Mislove Mathematical Foundations of Programming Language Semantics

    3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings
    Erscheinungsjahr 1988
    Verlag: Springer
    ISBN: 978-3-540-19020-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Billington / Reisig | Application and Theory of Petri Nets 1996 | Buch | Sack Fachmedien

    Billington / Reisig Application and Theory of Petri Nets 1996

    17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61363-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donatelli / Kleijn | Application and Theory of Petri Nets 1999 | Buch | Sack Fachmedien

    Donatelli / Kleijn Application and Theory of Petri Nets 1999

    20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doshita / Furukawa / Jantke | Algorithmic Learning Theory - ALT '92 | Buch | Sack Fachmedien

    Doshita / Furukawa / Jantke Algorithmic Learning Theory - ALT '92

    Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apostolico / Crochemore / Galil | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Apostolico / Crochemore / Galil Combinatorial Pattern Matching

    Third Annual Symposium, Tucson, Arizona, USA, April 29 - May 1, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-56024-1
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miglioli / Moscato / Mundici | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

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

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61208-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peña-Reyes | Coevolutionary Fuzzy Modeling | Buch | Sack Fachmedien

    Peña-Reyes Coevolutionary Fuzzy Modeling

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22994-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesalingam | The Language of Mathematics | Buch | Sack Fachmedien

    Ganesalingam The Language of Mathematics

    A Linguistic and Philosophical Investigation
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37011-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters / Skowron / Ramanna | Transactions on Rough Sets XVI | Buch | Sack Fachmedien

    Peters / Skowron / Ramanna Transactions on Rough Sets XVI

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36504-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Ito / Sakai | Discrete and Computational Geometry and Graphs | Buch | Sack Fachmedien

    Akiyama / Ito / Sakai Discrete and Computational Geometry and Graphs

    16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13286-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bacchus / Walsh | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Bacchus / Walsh Theory and Applications of Satisfiability Testing

    8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26276-3
    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
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-0-387-96022-7
    Medium: Buch
    106,99 € (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
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65763-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    DeMichelis / Diaz | Application and Theory of Petri Nets 1995 | Buch | Sack Fachmedien

    DeMichelis / Diaz Application and Theory of Petri Nets 1995

    16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60029-9
    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
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-58843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dezani-Ciancaglini / Plotkin | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications

    Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59048-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dau | The Logic System of Concept Graphs with Negation | Buch | Sack Fachmedien

    Dau The Logic System of Concept Graphs with Negation

    And Its Relationship to Predicate Logic
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20607-1
    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