Ergebnisse filtern
Fachgebiet
Medium
  • 1851
  • 97
  • 17
Erscheinungsjahr
  • 1
  • 75
  • 87
  • 88
  • 105
  • 72
  • 68
  • 107
  • 59
  • 65
  • 38
  • 67
  • 84
  • 155
  • 56
  • 135
  • 24
  • 35
  • 14
  • 23
  • 23
  • 26
  • 22
  • 48
  • 53
  • 43
  • 37
  • 27
  • 33
  • 24
  • 25
  • 21
  • 19
  • 20
  • 10
  • 11
  • 14
  • 5
  • 8
  • 5
  • 11
  • 6
  • 7
  • 2
  • 6
  • 8
  • 2
  • 3
  • 5
  • 3
  • 5
  • 3
  • 9
  • 3
  • 4
  • 8
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 4
  • 2
  • 1
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 8
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 21
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 11
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 6
  • 6
  • 3
  • 7
  • 5
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 14
  • 2
  • 2
Verlag
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 5
  • 2
  • 18
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 108
  • 4
  • 1
  • 1
  • 27
  • 143
  • 2
  • 1
  • 2
  • 3
  • 3
  • 9
  • 2
  • 5
  • 5
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 13
  • 5
  • 7
  • 5
  • 2
  • 11
  • 1
  • 1
  • 2
  • 28
  • 1
  • 1
  • 5
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 248
  • 208
  • 4
  • 394
  • 7
  • 2
  • 101
  • 25
  • 243
  • 1
  • 104
  • 8
  • 11
  • 13
  • 10
  • 20
  • 19
  • 8
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 15
  • 2
  • 15
  • 2
Preis
  • 57
  • 185
  • 637
  • 1086
Sprachen
  • 1788
  • 169
  • 27
Verfügbarkeit
  • 1937
  • 28
Eigenschaften
  • 3
Katalog
  • 1965
  • 129
1.965  Titel
    Taitslin / Nerode | Logical Foundations of Computer Science - Tver '92 | Buch | Sack Fachmedien

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

    Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55707-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Pearce | Logics in AI | Buch | Sack Fachmedien

    Wagner / Pearce Logics in AI

    European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55887-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka / Schmitt / Jantke | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Brewka / Schmitt / Jantke Nonmonotonic and Inductive Logic

    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56433-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Maluszynski | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Wirsing / Maluszynski Programming Language Implementation and Logic Programming

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

    Brookes / Main / Schmidt Mathematical Foundations of Programming Semantics

    7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55511-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Robinson / Bowen | ZB 2002: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Robinson / Bowen 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
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43166-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahle / Stärk / Schroeder-Heister | Proof Theory in Computer Science | Buch | Sack Fachmedien

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

    International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42752-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hofmann | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Hofmann Typed Lambda Calculi and Applications

    6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40332-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vingron | Switching Theory | Buch | Sack Fachmedien

    Vingron Switching Theory

    Insight through Predicate Logic
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40343-2
    Medium: Buch
    106,99 € (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
    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
    Baumgartner / Posegga / Hähnle | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Baumgartner / Posegga / Hähnle Theorem Proving with Analytic Tableaux and Related Methods

    4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59338-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Czelakowski | Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | Buch | Sack Fachmedien

    Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-74771-2
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Toyama / Ito | Developments in Language Theory | Buch | Sack Fachmedien

    Toyama / Ito Developments in Language Theory

    12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85779-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben Yahia / Belohlavek / Mephu Nguifo | Concept Lattices and Their Applications | Buch | Sack Fachmedien

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

    Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78920-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spencer | The Strange Logic of Random Graphs | Buch | Sack Fachmedien

    Spencer The Strange Logic of Random Graphs

    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer
    ISBN: 978-3-642-07499-8
    Medium: Buch
    106,99 € (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
    Ciungu | Non-commutative Multiple-Valued Logic Algebras | Buch | Sack Fachmedien

    Ciungu Non-commutative Multiple-Valued Logic Algebras

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-03299-3
    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
    Ciungu | Non-commutative Multiple-Valued Logic Algebras | Buch | Sack Fachmedien

    Ciungu Non-commutative Multiple-Valued Logic Algebras

    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-01588-0
    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
    Transactions on Petri Nets and Other Models of Concurrency III | Buch | Sack Fachmedien

    Transactions on Petri Nets and Other Models of Concurrency III

    2009
    Verlag: Springer
    ISBN: 978-3-642-04854-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kullmann | Theory and Applications of Satisfiability Testing - SAT 2009 | Buch | Sack Fachmedien

    Kullmann Theory and Applications of Satisfiability Testing - SAT 2009

    12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02776-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
    Brookes / Main / Schmidt | Mathematical Foundations of Programming Semantics | Buch | Sack Fachmedien

    Brookes / Main / Schmidt Mathematical Foundations of Programming Semantics

    9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58027-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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