Ergebnisse filtern
Fachgebiet
Medium
  • 312
Erscheinungsjahr
  • 8
  • 30
  • 22
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 9
  • 9
  • 4
  • 4
  • 8
  • 3
  • 8
  • 4
  • 6
  • 3
  • 3
  • 9
  • 9
  • 8
  • 11
  • 7
  • 8
  • 2
  • 11
  • 7
  • 10
  • 14
  • 15
  • 16
  • 10
  • 3
  • 8
  • 5
  • 8
  • 5
  • 4
  • 2
  • 1
  • 4
  • 1
  • 1
Autoren
  • 1
  • 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
  • 2
  • 1
  • 3
  • 2
  • 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
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 3
  • 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
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 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
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 1
  • 2
  • 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
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 312
Preis
  • 1
  • 13
  • 263
  • 35
Sprachen
  • 312
  • 2
Verfügbarkeit
  • 312
Katalog
  • 312
  • 3
312  Treffer  für „Lecture Notes in Computer Science“
    McAllester | Automated Deduction - CADE-17 | Buch | Sack Fachmedien

    McAllester Automated Deduction - CADE-17

    17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67664-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melton | Mathematical Foundation of Programming Semantics | Buch | Sack Fachmedien

    Melton Mathematical Foundation of Programming Semantics

    International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16816-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heule / Weaver | Theory and Applications of Satisfiability Testing -- SAT 2015 | Buch | Sack Fachmedien

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

    18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24317-7
    Medium: Buch
    68,48 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Habel | Hyperedge Replacement: Grammars and Languages | Buch | Sack Fachmedien

    Habel Hyperedge Replacement: Grammars and Languages

    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-56005-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ausiello / Böhm | Automata, Languages and Programming | Buch | Sack Fachmedien

    Ausiello / Böhm Automata, Languages and Programming

    Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
    1. Auflage 1978
    Verlag: Springer
    ISBN: 978-3-540-08860-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Kano / Urabe | Discrete and Computational Geometry | Buch | Sack Fachmedien

    Akiyama / Kano / Urabe Discrete and Computational Geometry

    Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67181-7
    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

    9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58027-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pearce / Wansing | Nonclassical Logics and Information Processing | Buch | Sack Fachmedien

    Pearce / Wansing Nonclassical Logics and Information Processing

    International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55745-6
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Petri Nets and Other Models of Concurrency III | Buch | Sack Fachmedien

    Transactions on Petri Nets and Other Models of Concurrency III

    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04854-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Auber / Valtr | Graph Drawing and Network Visualization | Buch | Sack Fachmedien

    Auber / Valtr Graph Drawing and Network Visualization

    28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16-18, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-68765-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weber / Simons / Lafontaine | The Generic Development Language Deva | Buch | Sack Fachmedien

    Weber / Simons / Lafontaine The Generic Development Language Deva

    Presentation and Case Studies
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57335-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben Yahia / Mephu Nguifo / Belohlavek | Concept Lattices and Their Applications | Buch | Sack Fachmedien

    Ben Yahia / Mephu Nguifo / Belohlavek Concept Lattices and Their Applications

    Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78920-8
    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
    Torsello / Rossi / Cosmo | Structural, Syntactic, and Statistical Pattern Recognition | Buch | Sack Fachmedien

    Torsello / Rossi / Cosmo Structural, Syntactic, and Statistical Pattern Recognition

    Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9-10, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-80506-6
    Medium: Buch
    58,84 € (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
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40332-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutten / Žerovnik | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Kutten / Žerovnik 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
    Dediu / Ionescu / Martin-Vide | Language and Automata Theory and Applications | Buch | Sack Fachmedien

    Dediu / Ionescu / Martin-Vide Language and Automata Theory and Applications

    Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00981-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bienkowski / Bienkowski / Englert | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bienkowski / Bienkowski / Englert Approximation and Online Algorithms

    22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81395-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adleman / Huang | Algorithmic Number Theory | Buch | Sack Fachmedien

    Adleman / Huang Algorithmic Number Theory

    First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58691-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubois / San Pietro | Formal Methods Teaching | Buch | Sack Fachmedien

    Dubois / San Pietro Formal Methods Teaching

    5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27533-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erdem / Lin / Schaub | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Erdem / Lin / Schaub Logic Programming and Nonmonotonic Reasoning

    10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04237-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Creignou / Le Berre | Theory and Applications of Satisfiability Testing - SAT 2016 | Buch | Sack Fachmedien

    Creignou / Le Berre Theory and Applications of Satisfiability Testing - SAT 2016

    19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40969-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kruse / Moral | Symbolic and Quantitative Approaches to Reasoning and Uncertainty | Buch | Sack Fachmedien

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

    European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57395-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bundy | Automated Deduction - CADE-12 | Buch | Sack Fachmedien

    Bundy Automated Deduction - CADE-12

    12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58156-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek / Heering / Meinke | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting

    Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61254-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dinh / Thai | Computing and Combinatorics | Buch | Sack Fachmedien

    Dinh / Thai Computing and Combinatorics

    22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42633-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Glodeanu / Kaytoue / Sacarea | Formal Concept Analysis | Buch | Sack Fachmedien

    Glodeanu / Kaytoue / Sacarea Formal Concept Analysis

    12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07247-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Camilleri | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Melham / Camilleri Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganguly / Krishnamurti | Algorithms and Discrete Applied Mathematics | Buch | Sack Fachmedien

    Ganguly / Krishnamurti Algorithms and Discrete Applied Mathematics

    First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-14973-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Xia / Zhang | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Li / Xia / Zhang Theory and Applications of Models of Computation

    19th Annual Conference, TAMC 2025, Jinan, China, September 19-21, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-954838-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Giacomo / Mondal | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Di Giacomo / Mondal WALCOM: Algorithms and Computation

    20th International Conference and Workshops on Algorithms and Computation, WALCOM 2026, Perugia, Italy, March 4-6, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-957126-0
    Medium: Buch
    79,17 € (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
    Cavero / G. Pardo / Sifaleras | Variable Neighborhood Search | Buch | Sack Fachmedien

    Cavero / G. Pardo / Sifaleras Variable Neighborhood Search

    11th International Conference, ICVNS 2025, Montreal, QC, Canada, May 12-14, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-19581-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mao / Yokomori | DNA Computing | Buch | Sack Fachmedien

    Mao / Yokomori DNA Computing

    12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49024-1
    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
    Ehrig / Kowalski / Levi | TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 | Buch | Sack Fachmedien

    Ehrig / Kowalski / Levi TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

    Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17611-4
    Medium: Buch
    37,44 € (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
    Kirchner / Ringeissen | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Kirchner / Ringeissen Frontiers of Combining Systems

    Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67281-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Belli / Radermacher | Industrial and Engineering Applications of Artificial Intelligence and Expert Systems | Buch | Sack Fachmedien

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

    5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55601-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Zhu | Computing and Combinatorics | Buch | Sack Fachmedien

    Wang / Zhu Computing and Combinatorics

    24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94775-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fazekas | Implementation and Application of Automata | Buch | Sack Fachmedien

    Fazekas Implementation and Application of Automata

    28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71111-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapur | Automated Deduction - CADE-11 | Buch | Sack Fachmedien

    Kapur Automated Deduction - CADE-11

    11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55602-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heering / Meinke / Möller | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

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

    First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58233-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecroq / Mouchard | Combinatorial Algorithms | Buch | Sack Fachmedien

    Lecroq / Mouchard Combinatorial Algorithms

    24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45277-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Wolfmann | Coding Theory and Applications | Buch | Sack Fachmedien

    Cohen / Wolfmann Coding Theory and Applications

    3rd International Colloquium, Toulon, France, November 2-4, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51643-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleine Büning / Zhao | Theory and Applications of Satisfiability Testing - SAT 2008 | Buch | Sack Fachmedien

    Kleine Büning / Zhao Theory and Applications of Satisfiability Testing - SAT 2008

    11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79718-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dewar / Kaminski / Kaminski | Modelling and Mining Networks | Buch | Sack Fachmedien

    Dewar / Kaminski / Kaminski Modelling and Mining Networks

    19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-59204-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asperti / Bancerek / Trybulec | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Asperti / Bancerek / Trybulec Mathematical Knowledge Management

    Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23029-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleijn / Yakovlev | Petri Nets and Other Models of Concurrency - ICATPN 2007 | Buch | Sack Fachmedien

    Kleijn / Yakovlev 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
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73093-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    He / Horty / Pacuit | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    He / Horty / Pacuit Logic, Rationality, and Interaction

    Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04892-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta | Nonmonotonic Logics | Buch | Sack Fachmedien

    Schlechta Nonmonotonic Logics

    Basic Concepts, Results, and Techniques
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62482-0
    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
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kochetov / Khachay / Eremeev | Mathematical Optimization Theory and Operations Research | Buch | Sack Fachmedien

    Kochetov / Khachay / Eremeev Mathematical Optimization Theory and Operations Research

    24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97076-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coquand / Dybjer / Nordström | Types for Proofs and Programs | Buch | Sack Fachmedien

    Coquand / Dybjer / Nordström Types for Proofs and Programs

    International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41517-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harmer / Kosiol | Graph Transformation | Buch | Sack Fachmedien

    Harmer / Kosiol Graph Transformation

    17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-64284-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Gao / Sun | Computing and Combinatorics | Buch | Sack Fachmedien

    Chen / Gao / Sun Computing and Combinatorics

    30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-961092-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fehr | Information Theoretic Security | Buch | Sack Fachmedien

    Fehr Information Theoretic Security

    5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20727-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaur / Narayanaswamy | Algorithms and Discrete Applied Mathematics | Buch | Sack Fachmedien

    Gaur / Narayanaswamy Algorithms and Discrete Applied Mathematics

    Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-53006-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cai / Zelikovsky / Bourgeois | Computing and Combinatorics | Buch | Sack Fachmedien

    Cai / Zelikovsky / Bourgeois Computing and Combinatorics

    20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08782-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Hindley | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Groote / Hindley Typed Lambda Calculi and Applications

    Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62688-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Treinen | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Treinen Rewriting Techniques and Applications

    20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02347-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ong | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Ong Typed Lambda Calculi and Applications

    10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21690-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Bo / Kano | Computational Geometry, Graphs and Applications | Buch | Sack Fachmedien

    Akiyama / Bo / Kano Computational Geometry, Graphs and Applications

    International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24982-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Kohlhase Mathematical Knowledge Management

    4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31430-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
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58152-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakano / Xiao | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Nakano / Xiao WALCOM: Algorithms and Computation

    19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-962844-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronchi Della Rocca | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Ronchi Della Rocca Typed Lambda Calculi and Applications

    8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73227-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pogodalla / Quatrini / Retoré | Logic and Grammar | Buch | Sack Fachmedien

    Pogodalla / Quatrini / Retoré Logic and Grammar

    Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21489-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gierasimczuk / Velázquez-Quesada | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Gierasimczuk / Velázquez-Quesada 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
    ISBN: 978-3-031-51776-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Downey / Fellows | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Dehne / Downey / Fellows Parameterized and Exact Computation

    First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-23071-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lusk / Overbeek | 9th International Conference on Automated Deduction | Buch | Sack Fachmedien

    Lusk / Overbeek 9th International Conference on Automated Deduction

    Argonne, Illinois, USA, May 23-26, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19343-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Symth / Arumugam | Combinatorial Algorithms | Buch | Sack Fachmedien

    Symth / Arumugam Combinatorial Algorithms

    23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35925-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nijholt | Context-Free Grammars | Buch | Sack Fachmedien

    Nijholt Context-Free Grammars

    Covers, Normal Forms, and Parsing
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10245-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marek / Nerode / Truszcynski | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Marek / Nerode / Truszcynski Logic Programming and Nonmonotonic Reasoning

    Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59487-1
    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

    1. Auflage 1989
    Verlag: Springer
    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
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41960-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Emek | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Emek Structural Information and Communication Complexity

    31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-60602-1
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogata / Martí-Oliet | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Ogata / Martí-Oliet Rewriting Logic and Its Applications

    15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-65940-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vygen / Byrka | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Vygen / Byrka Integer Programming and Combinatorial Optimization

    25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-59834-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / Du | Computing and Combinatorics | Buch | Sack Fachmedien

    Xu / Du Computing and Combinatorics

    21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-21397-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Ohlbach | Practical Reasoning | Buch | Sack Fachmedien

    Gabbay / Ohlbach Practical Reasoning

    International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61313-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bibel / Kowalski | 5th Conference on Automated Deduction | Buch | Sack Fachmedien

    Bibel / Kowalski 5th Conference on Automated Deduction

    Les Arcs, France, July 8-11, 1980
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10009-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fu / Du | Computing and Combinatorics | Buch | Sack Fachmedien

    Fu / Du Computing and Combinatorics

    17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22684-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Godlewski | Coding Theory and Applications | Buch | Sack Fachmedien

    Cohen / Godlewski Coding Theory and Applications

    2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19368-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloznelis / Drungilas / Kaminski | Modelling and Mining Networks | Buch | Sack Fachmedien

    Bloznelis / Drungilas / Kaminski Modelling and Mining Networks

    20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92897-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21043-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petreschi / Persiano / Silvestri | Algorithms and Complexity | Buch | Sack Fachmedien

    Petreschi / Persiano / Silvestri Algorithms and Complexity

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

    Baratgin / Jacquet / Yama Human and Artificial Rationalities

    Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-55244-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Li | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Chen / Li Theory and Applications of Models of Computation

    18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-981-97-2339-3
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters / Skowron | Transactions on Rough Sets XVII | Buch | Sack Fachmedien

    Peters / Skowron Transactions on Rough Sets XVII

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54755-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Venturini Zilli | Mathematical Models for the Semantics of Parallelism | Buch | Sack Fachmedien

    Venturini Zilli Mathematical Models for the Semantics of Parallelism

    Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18419-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Hasenjaeger / Rödding | Logic and Machines: Decision Problems and Complexity | Buch | Sack Fachmedien

    Börger / Hasenjaeger / Rödding Logic and Machines: Decision Problems and Complexity

    Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
    Softcover Nachdruck of the original 1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13331-5
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmid / Kuznets | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Schmid / Kuznets Structural Information and Communication Complexity

    32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-91735-6
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fermüller / Leitsch / Tammet | Resolution Methods for the Decision Problem | Buch | Sack Fachmedien

    Fermüller / Leitsch / Tammet Resolution Methods for the Decision Problem

    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56732-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Champarnaud / Maurel / Ziadi | Automata Implementation | Buch | Sack Fachmedien

    Champarnaud / Maurel / Ziadi Automata Implementation

    Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66652-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kruse / Siegel | Symbolic and Quantitative Approaches to Uncertainty | Buch | Sack Fachmedien

    Kruse / Siegel Symbolic and Quantitative Approaches to Uncertainty

    European Conference ECSQAU, Marseille, France, October 15-17, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54659-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kott | Automata, Languages and Programming | Buch | Sack Fachmedien

    Kott Automata, Languages and Programming

    13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16761-7
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdulrab / Pecuchet | Word Equations and Related Topics | Buch | Sack Fachmedien

    Abdulrab / Pecuchet Word Equations and Related Topics

    Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56730-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basu / Mahjoub / Salazar González | Combinatorial Optimization | Buch | Sack Fachmedien

    Basu / Mahjoub / Salazar González Combinatorial Optimization

    8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-60923-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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