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“
    Eklund | Concept Lattices | Buch | Sack Fachmedien

    Eklund Concept Lattices

    Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21043-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Overbeek / Lusk | 9th International Conference on Automated Deduction | Buch | Sack Fachmedien

    Overbeek / Lusk 9th International Conference on Automated Deduction

    Argonne, Illinois, USA, May 23-26, 1988. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19343-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Franceschinis | Applications and Theory of Petri Nets | Buch | Sack Fachmedien

    Wolf / Franceschinis Applications and Theory of Petri Nets

    30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lakos / Esparza | Application and Theory of Petri Nets 2002 | Buch | Sack Fachmedien

    Lakos / Esparza Application and Theory of Petri Nets 2002

    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Valette | Application and Theory of Petri Nets 1994 | Buch | Sack Fachmedien

    Valette Application and Theory of Petri Nets 1994

    15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58152-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt-Schauß | Computational Aspects of an Order-Sorted Logic with Term Declarations | Buch | Sack Fachmedien

    Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations

    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51705-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Abramsky Typed Lambda Calculi and Applications

    5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41960-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petreschi / Silvestri / Persiano | Algorithms and Complexity | Buch | Sack Fachmedien

    Petreschi / Silvestri / Persiano Algorithms and Complexity

    5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40176-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baratgin / Yama / Jacquet | Human and Artificial Rationalities | Buch | Sack Fachmedien

    Baratgin / Yama / Jacquet Human and Artificial Rationalities

    Second International Conference, HAR 2023, Paris, France, September 19¿22, 2023, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-55244-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Velázquez-Quesada / Gierasimczuk | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Velázquez-Quesada / Gierasimczuk Dynamic Logic. New Trends and Applications

    5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15¿16, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-51776-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Radermacher / Belli | Industrial and Engineering Applications of Artificial Intelligence and Expert Systems | Buch | Sack Fachmedien

    Radermacher / Belli Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

    5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55601-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Boca / Butler | Abstract State Machines, B and Z | Buch | Sack Fachmedien

    Börger / Boca / Butler Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    He / Pacuit / Horty | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    He / Pacuit / Horty Logic, Rationality, and Interaction

    Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04892-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Ohlbach / Kruse | Qualitative and Quantitative Practical Reasoning | Buch | Sack Fachmedien

    Gabbay / Ohlbach / Kruse Qualitative and Quantitative Practical Reasoning

    First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63095-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomes / Biere | Theory and Applications of Satisfiability Testing - SAT 2006 | Buch | Sack Fachmedien

    Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006

    9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37206-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Pollack / Luo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Pollack / Luo Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langston / Bodlaender | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Langston / Bodlaender Parameterized and Exact Computation

    Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-39098-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hindley / Groote | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Hindley / Groote Typed Lambda Calculi and Applications

    Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62688-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Budach / Lupanov / Bukharajev | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Budach / Lupanov / Bukharajev Fundamentals of Computation Theory

    International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18740-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wansing / Pearce | Nonclassical Logics and Information Processing | Buch | Sack Fachmedien

    Wansing / Pearce Nonclassical Logics and Information Processing

    International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55745-6
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Maluszynski | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Wirsing / Maluszynski Programming Language Implementation and Logic Programming

    3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54444-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brookes / Main / Schmidt | Mathematical Foundations of Programming Semantics | Buch | Sack Fachmedien

    Brookes / Main / Schmidt Mathematical Foundations of Programming Semantics

    7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55511-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hofmann | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Hofmann Typed Lambda Calculi and Applications

    6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40332-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bongiovanni / Di Battista / Bovet | Algorithms and Complexity | Buch | Sack Fachmedien

    Bongiovanni / Di Battista / Bovet Algorithms and Complexity

    Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62592-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Böhm / Ausiello | Automata, Languages and Programming | Buch | Sack Fachmedien

    Böhm / Ausiello Automata, Languages and Programming

    Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
    1978
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-08860-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