Ergebnisse filtern
Fachgebiet
Medium
  • 152
Erscheinungsjahr
  • 7
  • 9
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 2
  • 2
  • 3
  • 5
  • 1
  • 3
  • 2
  • 8
  • 6
  • 7
  • 7
  • 2
  • 5
  • 7
  • 4
  • 5
  • 7
  • 8
  • 6
  • 6
  • 2
  • 5
  • 3
  • 5
  • 2
  • 4
  • 1
  • 1
  • 4
  • 1
  • 1
Autoren
  • 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
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 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
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 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
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 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
  • 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
Verlag
  • 152
Preis
  • 1
  • 11
  • 123
  • 17
Sprachen
  • 152
  • 2
Verfügbarkeit
  • 152
Katalog
  • 152
  • 2
152  Treffer  für „Lecture Notes in Computer Science“
    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
    Condon / Rozenberg | DNA Computing | Buch | Sack Fachmedien

    Condon / Rozenberg DNA Computing

    6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42076-7
    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
    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
    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
    Alblas / Melichar | Attribute Grammars, Applications and Systems | Buch | Sack Fachmedien

    Alblas / Melichar Attribute Grammars, Applications and Systems

    International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54572-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klein / Gamboa | Interactive Theorem Proving | Buch | Sack Fachmedien

    Klein / Gamboa Interactive Theorem Proving

    5th International Conference, ITP 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-08969-0
    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
    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
    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
    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
    Aalst / Best | Applications and Theory of Petri Nets 2003 | Buch | Sack Fachmedien

    Aalst / Best Applications and Theory of Petri Nets 2003

    24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40334-0
    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
    Wood | Grammar and L Forms | Buch | Sack Fachmedien

    Wood Grammar and L Forms

    An Introduction
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10233-5
    Medium: Buch
    24,60 € (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
    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
    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
    Even / Kariv | Automata, Languages and Programming | Buch | Sack Fachmedien

    Even / Kariv Automata, Languages and Programming

    Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10843-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
    Nivat / Perrin | Automata on Infinite Words | Buch | Sack Fachmedien

    Nivat / Perrin Automata on Infinite Words

    Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15641-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giunchiglia / Tacchella | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Giunchiglia / Tacchella Theory and Applications of Satisfiability Testing

    6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20851-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Dershowitz Rewriting Techniques and Applications

    3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51081-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaplan / Jouannaud | Conditional Term Rewriting Systems | Buch | Sack Fachmedien

    Kaplan / Jouannaud Conditional Term Rewriting Systems

    1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19242-8
    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