Ergebnisse filtern
Fachgebiet
Medium
  • 152
Erscheinungsjahr
  • 7
  • 9
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 2
  • 2
  • 3
  • 5
  • 1
  • 3
  • 2
  • 8
  • 6
  • 7
  • 7
  • 2
  • 5
  • 7
  • 4
  • 5
  • 7
  • 8
  • 6
  • 6
  • 2
  • 5
  • 3
  • 5
  • 2
  • 4
  • 1
  • 1
  • 4
  • 1
  • 1
Autoren
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 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
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 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
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 7
  • 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
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 152
Preis
  • 1
  • 11
  • 123
  • 17
Sprachen
  • 152
  • 2
Verfügbarkeit
  • 152
Katalog
  • 152
  • 2

Mathematische Logik

152  Treffer  für „Lecture Notes in Computer Science“
    König / Urbat | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    König / Urbat Coalgebraic Methods in Computer Science

    17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66437-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Gurevich / Meinke | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Gurevich / Meinke Computer Science Logic

    7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58277-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Jäger / Kleine Büning | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Jäger / Kleine Büning Computer Science Logic

    5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55789-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pacholski / Tiuryn | Computer Science Logic | Buch | Sack Fachmedien

    Pacholski / Tiuryn Computer Science Logic

    8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60017-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Jäger / Kleine Büning | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Jäger / Kleine Büning Computer Science Logic

    6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56992-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Kleine Büning / Richter | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Kleine Büning / Richter Computer Science Logic

    4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54487-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Grandjean / Seyr | Computer Science Logic | Buch | Sack Fachmedien

    Gottlob / Grandjean / Seyr Computer Science Logic

    12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65922-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahle / Schroeder-Heister / Stärk | Proof Theory in Computer Science | Buch | Sack Fachmedien

    Kahle / Schroeder-Heister / Stärk Proof Theory in Computer Science

    International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42752-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fahrenberg / Gehrke / Santocanale | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Fahrenberg / Gehrke / Santocanale Relational and Algebraic Methods in Computer Science

    19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88700-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Matiyasevich | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Nerode / Matiyasevich Logical Foundations of Computer Science

    Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58140-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artemov / Nerode | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Artemov / Nerode Logical Foundations of Computer Science

    International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-93099-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adian / Nerode | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Adian / Nerode Logical Foundations of Computer Science

    4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63045-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kelemenova / Kelemen | Trends, Techniques, and Problems in Theoretical Computer Science | Buch | Sack Fachmedien

    Kelemenova / Kelemen Trends, Techniques, and Problems in Theoretical Computer Science

    4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18535-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Taitslin | Logical Foundations of Computer Science - Tver '92 | Buch | Sack Fachmedien

    Nerode / Taitslin Logical Foundations of Computer Science - Tver '92

    Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55707-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kurshan | Computer-Aided Verification | Buch | Sack Fachmedien

    Clarke / Kurshan Computer-Aided Verification

    2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54477-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude / Paun / Rozenberg | Multiset Processing | Buch | Sack Fachmedien

    Calude / Paun / Rozenberg Multiset Processing

    Mathematical, Computer Science, and Molecular Computing Points of View
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-43063-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goubault-Larrecq / König | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Goubault-Larrecq / König Foundations of Software Science and Computation Structures

    23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45230-8
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi / Worrell | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Kobayashi / Worrell Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-57230-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdulla / Kesner | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Abdulla / Kesner Foundations of Software Science and Computation Structures

    28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90896-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi / Worrell | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Kobayashi / Worrell Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-57227-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouyer / Schröder | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Bouyer / Schröder Foundations of Software Science and Computation Structures

    25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99252-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buchberger | EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings | Buch | Sack Fachmedien

    Buchberger EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

    Volume 1: Invited Lectures
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15983-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caviness | EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings | Buch | Sack Fachmedien

    Caviness EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

    Volume 2: Research Contributions
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15984-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Kleine Büning / Richter | CSL'88 | Buch | Sack Fachmedien

    Börger / Kleine Büning / Richter CSL'88

    2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51659-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pin | Formal Properties of Finite Automata and Applications | Buch | Sack Fachmedien

    Pin Formal Properties of Finite Automata and Applications

    LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51631-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choffrut | Automata Networks | Buch | Sack Fachmedien

    Choffrut Automata Networks

    LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19444-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monien / Vidal-Naquet | STACS 86 | Buch | Sack Fachmedien

    Monien / Vidal-Naquet STACS 86

    3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-16078-6
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colom / Koutny | Applications and Theory of Petri Nets 2001 | Buch | Sack Fachmedien

    Colom / Koutny Applications and Theory of Petri Nets 2001

    22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42252-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortadella / Reisig | Applications and Theory of Petri Nets 2004 | Buch | Sack Fachmedien

    Cortadella / Reisig Applications and Theory of Petri Nets 2004

    25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22236-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martin-Löf / Mints | COLOG-88 | Buch | Sack Fachmedien

    Martin-Löf / Mints COLOG-88

    International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52335-2
    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
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24014-3
    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
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-56282-5
    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
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58403-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ito / Toyama | Developments in Language Theory | Buch | Sack Fachmedien

    Ito / Toyama Developments in Language Theory

    12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85779-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuich / Rozenberg / Salomaa | Developments in Language Theory | Buch | Sack Fachmedien

    Kuich / Rozenberg / Salomaa Developments in Language Theory

    5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43453-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bläsius / Hedtstück / Rollinger | Sorts and Types in Artificial Intelligence | Buch | Sack Fachmedien

    Bläsius / Hedtstück / Rollinger Sorts and Types in Artificial Intelligence

    Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52337-6
    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
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58409-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussain / Zhao / Jiang | Advances in Brain Inspired Cognitive Systems | Buch | Sack Fachmedien

    Hussain / Zhao / Jiang Advances in Brain Inspired Cognitive Systems

    14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-962884-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ren / Hussain / Liao | Advances in Brain Inspired Cognitive Systems | Buch | Sack Fachmedien

    Ren / Hussain / Liao Advances in Brain Inspired Cognitive Systems

    13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-981-97-1416-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerioli / Reggio | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Cerioli / Reggio 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
    ISBN: 978-3-540-43159-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan / Liu / Westerståhl | The Connectives in Logic and Language | Buch | Sack Fachmedien

    Yan / Liu / Westerståhl The Connectives in Logic and Language

    4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-86053-9
    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

    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10231-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martin / Ralescu | Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems | Buch | Sack Fachmedien

    Martin / Ralescu Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems

    IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62474-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casadio / Coecke / Moortgat | Categories and Types in Logic, Language, and Physics | Buch | Sack Fachmedien

    Casadio / Coecke / Moortgat Categories and Types in Logic, Language, and Physics

    Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54788-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
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-55092-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baratgin / Jacquet / Brochier | Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness | Buch | Sack Fachmedien

    Baratgin / Jacquet / Brochier Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness

    Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-84594-9
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Bowen / Henson | ZB 2002: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Bowen / Henson 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
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43166-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhong / Ohsuga | New Directions in Rough Sets, Data Mining, and Granular-Soft Computing | Buch | Sack Fachmedien

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

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

    Desel / Reisig / Rozenberg Lectures on Concurrency and Petri Nets

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

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

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

    Ehrig / Juhas / Padberg Unifying Petri Nets

    Advances in Petri Nets
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-43067-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maluszynski / Wirsing | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Maluszynski / Wirsing Programming Language Implementation and Logic Programming

    3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54444-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckmann / Oitavem / Manea | Crossroads of Computability and Logic: Insights, Inspirations, and Innovations | Buch | Sack Fachmedien

    Beckmann / Oitavem / Manea Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

    21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95907-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Paiva / de Queiroz / Moss | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    de Paiva / de Queiroz / Moss 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
    Cantone / Pulvirenti | From Computational Logic to Computational Biology | Buch | Sack Fachmedien

    Cantone / Pulvirenti From Computational Logic to Computational Biology

    Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
    2024
    Verlag: Springer
    ISBN: 978-3-031-55247-2
    Medium: Buch
    69,54 € (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
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66993-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parigot / Voronkov | Logic for Programming and Automated Reasoning | Buch | Sack Fachmedien

    Parigot / Voronkov Logic for Programming and Automated Reasoning

    7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41285-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Leitsch / Mundici | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Leitsch / Mundici Computational Logic and Proof Theory

    Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57184-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertrand / Dubslaff / Klüppelholz | Principles of Formal Quantitative Analysis | Buch | Sack Fachmedien

    Bertrand / Dubslaff / Klüppelholz Principles of Formal Quantitative Analysis

    Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97438-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz / Orejas | TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 | Buch | Sack Fachmedien

    Diaz / Orejas 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)
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50939-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka / Jantke / Schmitt | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Brewka / Jantke / Schmitt Nonmonotonic and Inductive Logic

    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56433-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morrill / Muskens / Osswald | Formal Grammar | Buch | Sack Fachmedien

    Morrill / Muskens / Osswald Formal Grammar

    19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44120-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beklemishev / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

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

    18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20919-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aiswarya / Sen / Srivastava | Logic and Its Applications | Buch | Sack Fachmedien

    Aiswarya / Sen / Srivastava Logic and Its Applications

    11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-89609-5
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Leitsch / Mundici | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Leitsch / Mundici Computational Logic and Proof Theory

    5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63385-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Rensink / Rozenberg | Graph Transformations | Buch | Sack Fachmedien

    Ehrig / Rensink / Rozenberg Graph Transformations

    5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15927-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Reif | DNA Computing | Buch | Sack Fachmedien

    Chen / Reif DNA Computing

    9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20930-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raymond / Wood / Yu | Automata Implementation | Buch | Sack Fachmedien

    Raymond / Wood / Yu Automata Implementation

    First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63174-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Lakos | Application and Theory of Petri Nets 2002 | Buch | Sack Fachmedien

    Esparza / Lakos Application and Theory of Petri Nets 2002

    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / S. | Logic and Its Applications | Buch | Sack Fachmedien

    Banerjee / S. Logic and Its Applications

    6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45823-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grossi / Roy / Huang | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Grossi / Roy / Huang Logic, Rationality, and Interaction

    4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40947-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carbone / Pierce | DNA Computing | Buch | Sack Fachmedien

    Carbone / Pierce DNA Computing

    11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34161-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekerinski / Ribeiro | Formal Methods Teaching | Buch | Sack Fachmedien

    Sekerinski / Ribeiro Formal Methods Teaching

    6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71378-1
    Medium: Buch
    40,65 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Luo / McKinna | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferretti / Mauri / Zandron | DNA Computing | Buch | Sack Fachmedien

    Ferretti / Mauri / Zandron DNA Computing

    10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26174-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boldt / Jürgensen | Automata Implementation | Buch | Sack Fachmedien

    Boldt / Jürgensen Automata Implementation

    4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42812-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Condon / Rozenberg | DNA Computing | Buch | Sack Fachmedien

    Condon / Rozenberg DNA Computing

    6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42076-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hagiya / Ohuchi | DNA Computing | Buch | Sack Fachmedien

    Hagiya / Ohuchi DNA Computing

    8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00531-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jonoska / Seeman | DNA Computing | Buch | Sack Fachmedien

    Jonoska / Seeman DNA Computing

    7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43775-8
    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

    7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55511-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schulz | Word Equations and Related Topics | Buch | Sack Fachmedien

    Schulz Word Equations and Related Topics

    1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55124-9
    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
    Billington / Reisig | Application and Theory of Petri Nets 1996 | Buch | Sack Fachmedien

    Billington / Reisig Application and Theory of Petri Nets 1996

    17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61363-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donatelli / Kleijn | Application and Theory of Petri Nets 1999 | Buch | Sack Fachmedien

    Donatelli / Kleijn Application and Theory of Petri Nets 1999

    20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dezani-Ciancaglini / Plotkin | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications

    Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59048-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    DeMichelis / Diaz | Application and Theory of Petri Nets 1995 | Buch | Sack Fachmedien

    DeMichelis / Diaz Application and Theory of Petri Nets 1995

    16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60029-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesalingam | The Language of Mathematics | Buch | Sack Fachmedien

    Ganesalingam The Language of Mathematics

    A Linguistic and Philosophical Investigation
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37011-3
    Medium: Buch
    74,89 € (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
    Blackburn / van Ditmarsch / Manzano | Tools for Teaching Logic | Buch | Sack Fachmedien

    Blackburn / van Ditmarsch / Manzano Tools for Teaching Logic

    Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21349-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wood | Grammar and L Forms | Buch | Sack Fachmedien

    Wood Grammar and L Forms

    An Introduction
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10233-5
    Medium: Buch
    24,60 € (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
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65763-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peña-Reyes | Coevolutionary Fuzzy Modeling | Buch | Sack Fachmedien

    Peña-Reyes Coevolutionary Fuzzy Modeling

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22994-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cimiano / Frank / Kohlhase | Robust Argumentation Machines | Buch | Sack Fachmedien

    Cimiano / Frank / Kohlhase Robust Argumentation Machines

    First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-63535-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Even / Kariv | Automata, Languages and Programming | Buch | Sack Fachmedien

    Even / Kariv Automata, Languages and Programming

    Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miglioli / Moscato / Mundici | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Miglioli / Moscato / Mundici Theorem Proving with Analytic Tableaux and Related Methods

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61208-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nivat / Perrin | Automata on Infinite Words | Buch | Sack Fachmedien

    Nivat / Perrin Automata on Infinite Words

    Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15641-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giunchiglia / Tacchella | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Giunchiglia / Tacchella Theory and Applications of Satisfiability Testing

    6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20851-8
    Medium: Buch
    53,49 € (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
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51081-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaplan / Jouannaud | Conditional Term Rewriting Systems | Buch | Sack Fachmedien

    Kaplan / Jouannaud Conditional Term Rewriting Systems

    1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19242-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bacchus / Walsh | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Bacchus / Walsh Theory and Applications of Satisfiability Testing

    8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26276-3
    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