Ergebnisse filtern
Fachgebiet
Medium
  • 288
Erscheinungsjahr
  • 19
  • 23
  • 3
  • 1
  • 3
  • 1
  • 2
  • 3
  • 5
  • 4
  • 4
  • 5
  • 6
  • 5
  • 16
  • 3
  • 4
  • 3
  • 3
  • 8
  • 9
  • 8
  • 12
  • 6
  • 9
  • 3
  • 12
  • 7
  • 9
  • 15
  • 13
  • 14
  • 9
  • 3
  • 7
  • 5
  • 8
  • 5
  • 4
  • 2
  • 1
  • 4
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 5
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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
  • 4
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 3
  • 1
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 46
  • 183
  • 14
  • 10
  • 35
Preis
  • 1
  • 12
  • 238
  • 37
Sprachen
  • 288
  • 2
Verfügbarkeit
  • 288
Katalog
  • 288
  • 4
288  Treffer  für „Lecture Notes in Computer Science“
    Kim / Ho / Katzenbeisser | Digital Watermarking | Buch | Sack Fachmedien

    Kim / Ho / Katzenbeisser Digital Watermarking

    7th International Workshop, IWDW 2008, Busan, Korea, November 10-12, 2008, Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-04437-3
    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
    Marques-Silva / Sakallah | Theory and Applications of Satisfiability Testing - SAT 2007 | Buch | Sack Fachmedien

    Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007

    10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72787-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Fomin | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Chen / Fomin Parameterized and Exact Computation

    4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11268-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malkin / Kushilevitz | Theory of Cryptography | Buch | Sack Fachmedien

    Malkin / Kushilevitz Theory of Cryptography

    13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49095-2
    Medium: Buch
    106,99 € (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
    de Queiroz / Ong | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    de Queiroz / Ong Logic, Language, Information, and Computation

    2. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32620-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Makino / Elbassioni | Algorithms and Computation | Buch | Sack Fachmedien

    Makino / Elbassioni Algorithms and Computation

    26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48970-3
    Medium: Buch
    94,16 € (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
    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
    Reisig / Billington | Application and Theory of Petri Nets 1996 | Buch | Sack Fachmedien

    Reisig / Billington Application and Theory of Petri Nets 1996

    17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61363-3
    Medium: Buch
    106,99 € (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
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51081-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doshita / Nishida / Furukawa | Algorithmic Learning Theory - ALT '92 | Buch | Sack Fachmedien

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

    Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perrin / Nivat | Automata on Infinite Words | Buch | Sack Fachmedien

    Perrin / Nivat Automata on Infinite Words

    Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-15641-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (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
    Nielsen / Dodis | Theory of Cryptography | Buch | Sack Fachmedien

    Nielsen / Dodis Theory of Cryptography

    12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II
    2015
    Verlag: Springer
    ISBN: 978-3-662-46496-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malkin / Kushilevitz | Theory of Cryptography | Buch | Sack Fachmedien

    Malkin / Kushilevitz Theory of Cryptography

    13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49098-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cimiano / Stein / Frank | Robust Argumentation Machines | Buch | Sack Fachmedien

    Cimiano / Stein / Frank Robust Argumentation Machines

    First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-63535-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud / Kaplan | Conditional Term Rewriting Systems | Buch | Sack Fachmedien

    Jouannaud / Kaplan Conditional Term Rewriting Systems

    1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19242-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters / Skowron / Wang | Transactions on Rough Sets XVI | Buch | Sack Fachmedien

    Peters / Skowron / Wang Transactions on Rough Sets XVI

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

    Akiyama / Sakai / Ito Discrete and Computational Geometry and Graphs

    16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13286-0
    Medium: Buch
    51,36 € (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
    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

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