Ergebnisse filtern
Fachgebiet
Medium
  • 295
Erscheinungsjahr
  • 28
  • 23
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 5
  • 5
  • 7
  • 6
  • 7
  • 6
  • 7
  • 2
  • 5
  • 5
  • 3
  • 9
  • 8
  • 8
  • 12
  • 6
  • 9
  • 2
  • 11
  • 9
  • 10
  • 14
  • 11
  • 13
  • 10
  • 2
  • 7
  • 5
  • 8
  • 5
  • 4
  • 2
  • 1
  • 4
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 5
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 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
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 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
  • 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
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 48
  • 182
  • 16
  • 11
  • 38
Preis
  • 1
  • 16
  • 244
  • 34
Sprachen
  • 295
  • 2
Verfügbarkeit
  • 295
Katalog
  • 295
  • 3
295  Treffer  für „Lecture Notes in Computer Science“
    Galmiche | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Galmiche Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yakovlev / Kleijn | Petri Nets and Other Models of Concurrency - ICATPN 2007 | Buch | Sack Fachmedien

    Yakovlev / Kleijn Petri Nets and Other Models of Concurrency - ICATPN 2007

    28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73093-4
    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
    Nipkow | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Nipkow Rewriting Techniques and Applications

    9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64301-2
    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
    Khachay / Kochetov / Pardalos | Mathematical Optimization Theory and Operations Research | Buch | Sack Fachmedien

    Khachay / Kochetov / Pardalos Mathematical Optimization Theory and Operations Research

    22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-35304-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benninghofen / Kemmerich / Richter | Systems of Reductions | Buch | Sack Fachmedien

    Benninghofen / Kemmerich / Richter Systems of Reductions

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18598-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Xiao | Computing and Combinatorics | Buch | Sack Fachmedien

    Fomin / Xiao Computing and Combinatorics

    31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15-17, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-950217-2
    Medium: Buch
    79,17 € (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
    Megow / Basu | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Megow / Basu Integer Programming and Combinatorial Optimization

    26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93111-6
    Medium: Buch
    139,09 € (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
    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
    Dowek / Möller / Heering | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Dowek / Möller / Heering Higher-Order Algebra, Logic, and Term Rewriting

    Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61254-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Moral / Kruse | Symbolic and Quantitative Approaches to Reasoning and Uncertainty | Buch | Sack Fachmedien

    Clarke / Moral / Kruse Symbolic and Quantitative Approaches to Reasoning and Uncertainty

    European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57395-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Royer | A Connotational Theory of Program Structure | Buch | Sack Fachmedien

    Royer A Connotational Theory of Program Structure

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18253-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camilleri / Melham | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Camilleri / Melham Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Uchikawa / Furuhashi | Fuzzy Logic, Neural Networks, and Evolutionary Computation | Buch | Sack Fachmedien

    Uchikawa / Furuhashi Fuzzy Logic, Neural Networks, and Evolutionary Computation

    IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61988-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erdem / Schaub / Lin | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Erdem / Schaub / Lin Logic Programming and Nonmonotonic Reasoning

    10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04237-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Žerovnik / Kutten | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Žerovnik / Kutten Structural Information and Communication Complexity

    16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11475-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gansner / Eppstein | Graph Drawing | Buch | Sack Fachmedien

    Gansner / Eppstein Graph Drawing

    17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11804-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prade / Link | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Prade / Link Foundations of Information and Knowledge Systems

    6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11828-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Glodeanu / Sacarea / Kaytoue | Formal Concept Analysis | Buch | Sack Fachmedien

    Glodeanu / Sacarea / Kaytoue Formal Concept Analysis

    12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07247-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weaver / Heule | Theory and Applications of Satisfiability Testing -- SAT 2015 | Buch | Sack Fachmedien

    Weaver / Heule Theory and Applications of Satisfiability Testing -- SAT 2015

    18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24317-7
    Medium: Buch
    68,48 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamurti / Ganguly | Algorithms and Discrete Applied Mathematics | Buch | Sack Fachmedien

    Krishnamurti / Ganguly Algorithms and Discrete Applied Mathematics

    First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-14973-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmitt / Jantke | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Schmitt / Jantke Nonmonotonic and Inductive Logic

    1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54564-4
    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