Ergebnisse filtern
Fachgebiet
Medium
  • 134
Erscheinungsjahr
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 3
  • 3
  • 5
  • 1
  • 8
  • 6
  • 7
  • 7
  • 1
  • 5
  • 7
  • 2
  • 4
  • 7
  • 7
  • 8
  • 6
  • 2
  • 5
  • 3
  • 4
  • 2
  • 4
  • 1
  • 1
  • 4
  • 1
  • 1
Autoren
  • 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
  • 6
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 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
  • 4
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 10
  • 111
  • 7
  • 6
Preis
  • 1
  • 11
  • 109
  • 13
Sprachen
  • 134
  • 2
Verfügbarkeit
  • 134
Katalog
  • 134
  • 3
134  Treffer  für „Lecture Notes in Computer Science“
    Reisig / Cortadella | Applications and Theory of Petri Nets 2004 | Buch | Sack Fachmedien

    Reisig / Cortadella Applications and Theory of Petri Nets 2004

    25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22236-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / Colom | Applications and Theory of Petri Nets 2001 | Buch | Sack Fachmedien

    Koutny / Colom Applications and Theory of Petri Nets 2001

    22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42252-5
    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
    Calude / Dinneen | Developments in Language Theory | Buch | Sack Fachmedien

    Calude / Dinneen Developments in Language Theory

    8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24014-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dang / Ibarra | Developments in Language Theory | Buch | Sack Fachmedien

    Dang / Ibarra Developments in Language Theory

    10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35428-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud | Constraints in Computational Logics | Buch | Sack Fachmedien

    Jouannaud Constraints in Computational Logics

    First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58403-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mints / Martin-Löf | COLOG-88 | Buch | Sack Fachmedien

    Mints / Martin-Löf COLOG-88

    International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52335-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuich / Salomaa / Rozenberg | Developments in Language Theory | Buch | Sack Fachmedien

    Kuich / Salomaa / Rozenberg Developments in Language Theory

    5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43453-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ralescu | Fuzzy Logic in Artificial Intelligence | Buch | Sack Fachmedien

    Ralescu Fuzzy Logic in Artificial Intelligence

    IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58409-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reggio / Cerioli | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Reggio / Cerioli Recent Trends in Algebraic Development Techniques

    15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43159-6
    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
    Sandford | Using Sophisticated Models in Resolution Theorem Proving | Buch | Sack Fachmedien

    Sandford Using Sophisticated Models in Resolution Theorem Proving

    1980
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-10231-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems

    Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55092-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Robinson / Bowen | ZB 2002: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Robinson / Bowen ZB 2002: Formal Specification and Development in Z and B

    2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43166-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohsuga / Zhong | New Directions in Rough Sets, Data Mining, and Granular-Soft Computing | Buch | Sack Fachmedien

    Ohsuga / Zhong New Directions in Rough Sets, Data Mining, and Granular-Soft Computing

    7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66645-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Desel / Rozenberg / Reisig | Lectures on Concurrency and Petri Nets | Buch | Sack Fachmedien

    Desel / Rozenberg / Reisig Lectures on Concurrency and Petri Nets

    Advances in Petri Nets
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22261-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Weber / Reisig | Petri Net Technology for Communication-Based Systems | Buch | Sack Fachmedien

    Ehrig / Weber / Reisig Petri Net Technology for Communication-Based Systems

    Advances in Petri Nets
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20538-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Rozenberg / Juhas | Unifying Petri Nets | Buch | Sack Fachmedien

    Ehrig / Rozenberg / Juhas Unifying Petri Nets

    Advances in Petri Nets
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43067-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Paiva / de Queiroz / de Oliveira | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    de Paiva / de Queiroz / de Oliveira Logic, Language, Information, and Computation

    22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-47708-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pulvirenti / Cantone | From Computational Logic to Computational Biology | Buch | Sack Fachmedien

    Pulvirenti / Cantone From Computational Logic to Computational Biology

    Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-55247-2
    Medium: Buch
    62,05 € (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
    Orejas / Diaz | TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 | Buch | Sack Fachmedien

    Orejas / Diaz TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989

    Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50939-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Mundici / Leitsch | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Mundici / Leitsch Computational Logic and Proof Theory

    Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57184-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reif / Chen | DNA Computing | Buch | Sack Fachmedien

    Reif / Chen DNA Computing

    9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20930-0
    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

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