Ergebnisse filtern
Fachgebiet
Medium
  • 3529
  • 5
Erscheinungsjahr
  • 73
  • 279
  • 221
  • 272
  • 153
  • 135
  • 110
  • 89
  • 112
  • 112
  • 74
  • 113
  • 82
  • 95
  • 109
  • 106
  • 83
  • 51
  • 77
  • 66
  • 150
  • 146
  • 75
  • 40
  • 71
  • 55
  • 65
  • 34
  • 41
  • 62
  • 57
  • 54
  • 45
  • 47
  • 38
  • 27
  • 30
  • 21
  • 27
  • 12
  • 9
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
Autoren
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 19
  • 3
  • 5
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 16
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 24
  • 2
  • 2
  • 6
  • 7
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 7
  • 5
  • 2
  • 14
  • 2
  • 2
  • 7
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 3
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 28
  • 2
  • 2
  • 10
  • 12
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 10
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 8
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 24
  • 5
  • 3
  • 3
  • 7
  • 2
  • 3
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 11
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 39
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 18
  • 2
  • 4
  • 2
  • 3
  • 2
  • 24
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 22
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 40
  • 3
  • 5
  • 4
  • 4
  • 6
  • 12
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 10
  • 5
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 78
  • 4
  • 5
  • 12
  • 6
  • 4
  • 8
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 16
  • 3
  • 5
  • 3
  • 4
  • 12
  • 3
  • 3
  • 12
  • 3
  • 18
  • 3
  • 5
  • 3
  • 4
  • 11
  • 3
  • 9
  • 3
  • 3
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 8
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 16
  • 3
  • 3
  • 3
  • 4
  • 3
  • 8
  • 7
  • 5
  • 5
  • 3
  • 3
  • 40
  • 4
  • 5
  • 3
  • 3
  • 5
  • 16
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 6
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 3
  • 9
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 3
  • 4
  • 9
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 16
  • 7
  • 9
  • 4
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 5
  • 3
  • 11
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 8
  • 4
  • 3
  • 78
  • 19
  • 3
  • 3
  • 11
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 7
  • 3
  • 3
  • 3
  • 6
  • 12
  • 78
  • 3
  • 3
  • 3
  • 9
  • 12
  • 4
  • 31
  • 5
  • 3
  • 7
  • 3
  • 19
  • 3
  • 5
  • 3
  • 6
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 31
  • 3
  • 3
  • 3
  • 7
  • 4
  • 22
  • 18
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 12
  • 3
  • 12
  • 3
  • 7
  • 5
  • 6
  • 3
  • 3
  • 5
  • 78
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 6
  • 4
  • 3
  • 10
  • 9
  • 17
  • 4
  • 3
  • 4
  • 4
  • 5
  • 30
  • 3
  • 3
  • 3
  • 3
  • 12
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 14
  • 3
  • 3
  • 6
  • 5
  • 3
  • 4
  • 3
  • 6
  • 12
  • 3
  • 4
  • 6
  • 19
  • 6
  • 3
  • 4
  • 15
  • 6
  • 7
  • 16
  • 11
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 6
  • 8
  • 3
  • 5
  • 4
  • 4
  • 8
  • 3
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 13
  • 5
  • 3
  • 4
  • 4
  • 3
  • 7
  • 4
  • 7
  • 3
  • 24
  • 4
  • 4
  • 8
  • 8
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 7
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 4
  • 3
  • 3
  • 3
  • 19
  • 3
  • 4
  • 6
  • 4
  • 77
  • 7
  • 6
  • 5
  • 6
  • 3
  • 4
  • 4
  • 10
  • 3
  • 3
  • 78
  • 6
  • 18
  • 4
  • 3
  • 6
  • 3
  • 76
  • 3
  • 10
  • 9
  • 6
  • 3
  • 3
  • 76
  • 9
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 8
  • 10
  • 4
  • 5
  • 3
  • 3
  • 16
  • 3
  • 4
  • 76
  • 8
  • 3
  • 4
  • 3
  • 3
  • 5
  • 78
  • 14
  • 4
  • 3
  • 4
  • 8
  • 10
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 21
  • 3
  • 3
  • 5
  • 5
  • 5
  • 5
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 28
  • 6
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 17
  • 3
  • 4
  • 3
  • 3
  • 7
  • 10
  • 3
  • 3
  • 10
  • 13
  • 3
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 3
  • 18
  • 6
  • 5
  • 5
  • 78
  • 3
  • 24
  • 3
  • 3
  • 3
  • 6
  • 6
  • 5
  • 3
  • 6
  • 3
  • 76
  • 15
  • 8
  • 6
  • 6
  • 36
  • 7
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 19
  • 11
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 19
  • 9
  • 19
  • 9
  • 19
  • 4
  • 18
  • 18
  • 6
  • 3
  • 3
  • 18
  • 29
  • 9
  • 4
  • 9
  • 20
  • 7
  • 9
  • 7
  • 3
Verlag
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 3
  • 3419
  • 2
  • 14
  • 30
  • 10
  • 1
  • 6
  • 8
  • 1
  • 16
  • 4
  • 1
  • 2
Preis
  • 6
  • 93
  • 1700
  • 1735
Sprachen
  • 3534
  • 1
Verfügbarkeit
  • 3429
  • 105
Eigenschaften
  • 5
Katalog
  • 3534
  • 219
3.534  Treffer  für „Lecture Notes in Computer Science“
    Mugnier / Chein | Conceptual Structures: Theory, Tools and Applications | Buch | Sack Fachmedien

    Mugnier / Chein Conceptual Structures: Theory, Tools and Applications

    6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64791-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haeberer | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Haeberer Algebraic Methodology and Software Technology

    7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65462-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz / Owezarski / Senac | Interactive Distributed Multimedia Systems and Telecommunication Services | Buch | Sack Fachmedien

    Diaz / Owezarski / Senac Interactive Distributed Multimedia Systems and Telecommunication Services

    6th International Workshop, IDMS'99, Toulouse, France, October 12-15, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66595-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Druschel / Kaashoek / Rowstron | Peer-to-Peer Systems | Buch | Sack Fachmedien

    Druschel / Kaashoek / Rowstron Peer-to-Peer Systems

    First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44179-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartmann / Kern-Isberner | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Hartmann / Kern-Isberner Foundations of Information and Knowledge Systems

    5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77683-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verdone | Wireless Sensor Networks | Buch | Sack Fachmedien

    Verdone Wireless Sensor Networks

    5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77689-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doshita / Furukawa / Jantke | Algorithmic Learning Theory - ALT '92 | Buch | Sack Fachmedien

    Doshita / Furukawa / Jantke Algorithmic Learning Theory - ALT '92

    Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner / Wechler | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Kirchner / Wechler Algebraic and Logic Programming

    Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53162-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogt | Concurrency 88 | Buch | Sack Fachmedien

    Vogt Concurrency 88

    International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50403-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beer | Concepts, Design, and Performance Analysis of a Parallel Prolog Machine | Buch | Sack Fachmedien

    Beer Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-52053-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thayse | Boolean Calculus of Differences | Buch | Sack Fachmedien

    Thayse Boolean Calculus of Differences

    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10286-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dawson / Golic | Cryptography: Policy and Algorithms | Buch | Sack Fachmedien

    Dawson / Golic Cryptography: Policy and Algorithms

    International Conference Brisbane, Queensland, Australia, July 3-5, 1995. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60759-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calmet / Campbell / Pfalzgraf | Artificial Intelligence and Symbolic Mathematical Computation | Buch | Sack Fachmedien

    Calmet / Campbell / Pfalzgraf Artificial Intelligence and Symbolic Mathematical Computation

    International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61732-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganzinger | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Ganzinger Rewriting Techniques and Applications

    7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61464-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baker | Memory Management | Buch | Sack Fachmedien

    Baker Memory Management

    International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60368-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Echtle / Hammer / Powell | Dependable Computing - EDCC-1 | Buch | Sack Fachmedien

    Echtle / Hammer / Powell Dependable Computing - EDCC-1

    First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58426-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersson | Analysis of Dynamical and Cognitive Systems | Buch | Sack Fachmedien

    Andersson Analysis of Dynamical and Cognitive Systems

    Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-58843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Litsyn / Lobstein | Algebraic Coding | Buch | Sack Fachmedien

    Cohen / Litsyn / Lobstein Algebraic Coding

    First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57843-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shepherd / Blair / Coulson | Network and Operating System Support for Digital Audio and Video | Buch | Sack Fachmedien

    Shepherd / Blair / Coulson Network and Operating System Support for Digital Audio and Video

    4th International Workshop NOSSDAV '93, Lancaster, UK, November 3-5, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58404-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Compiler Construction | Buch | Sack Fachmedien

    Fritzson Compiler Construction

    5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pazienza | Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology | Buch | Sack Fachmedien

    Pazienza Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology

    A Multidisciplinary Approach to an Emerging Information Technology
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63438-6
    Medium: Buch
    38,52 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yasuda | Active Networks | Buch | Sack Fachmedien

    Yasuda Active Networks

    Second International Working Conference, IWAN 2000 Tokyo, Japan, October 16-18, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41179-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

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