Ergebnisse filtern
Fachgebiet
Medium
  • 4182
Erscheinungsjahr
  • 225
  • 573
  • 319
  • 139
  • 100
  • 114
  • 118
  • 127
  • 125
  • 124
  • 111
  • 107
  • 106
  • 106
  • 121
  • 133
  • 109
  • 91
  • 129
  • 115
  • 103
  • 136
  • 112
  • 101
  • 100
  • 72
  • 60
  • 56
  • 53
  • 50
  • 48
  • 45
  • 36
  • 26
  • 32
  • 18
  • 16
  • 10
  • 10
  • 4
  • 2
Autoren
  • 3
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 7
  • 5
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 16
  • 4
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 8
  • 14
  • 9
  • 33
  • 6
  • 7
  • 3
  • 7
  • 7
  • 5
  • 8
  • 3
  • 5
  • 5
  • 3
  • 39
  • 3
  • 3
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 8
  • 4
  • 3
  • 11
  • 3
  • 5
  • 3
  • 6
  • 3
  • 10
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 11
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 6
  • 7
  • 3
  • 11
  • 4
  • 6
  • 39
  • 5
  • 3
  • 24
  • 3
  • 3
  • 6
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 6
  • 12
  • 3
  • 3
  • 5
  • 3
  • 3
  • 9
  • 3
  • 39
  • 19
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 13
  • 3
  • 8
  • 7
  • 3
  • 5
  • 4
  • 8
  • 6
  • 5
  • 4
  • 12
  • 24
  • 4
  • 3
  • 5
  • 4
  • 3
  • 11
  • 7
  • 3
  • 4
  • 3
  • 6
  • 6
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 33
  • 4
  • 8
  • 40
  • 3
  • 5
  • 3
  • 7
  • 3
  • 7
  • 19
  • 3
  • 3
  • 4
  • 5
  • 7
  • 15
  • 6
  • 3
  • 7
  • 4
  • 12
  • 5
  • 4
  • 7
  • 3
  • 5
  • 8
  • 6
  • 3
  • 4
  • 39
  • 4
  • 4
  • 5
  • 3
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 9
  • 3
  • 11
  • 6
  • 11
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 10
  • 8
  • 4
  • 5
  • 5
  • 4
  • 6
  • 7
  • 24
  • 5
  • 3
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 12
  • 5
  • 3
  • 7
  • 3
  • 4
  • 6
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 12
  • 4
  • 6
  • 14
  • 6
  • 5
  • 4
  • 3
  • 7
  • 12
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 4
  • 5
  • 5
  • 5
  • 13
  • 5
  • 4
  • 3
  • 3
  • 46
  • 5
  • 4
  • 4
  • 4
  • 15
  • 5
  • 3
  • 5
  • 3
  • 7
  • 7
  • 4
  • 5
  • 5
  • 7
  • 4
  • 3
  • 4
  • 4
  • 5
  • 8
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 7
  • 20
  • 7
  • 6
  • 4
  • 5
  • 5
  • 7
  • 6
  • 5
  • 9
  • 3
  • 3
  • 3
  • 9
  • 3
  • 4
  • 4
  • 4
  • 3
  • 8
  • 7
  • 4
  • 3
  • 4
  • 5
  • 4
  • 15
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 9
  • 3
  • 21
  • 22
  • 3
  • 6
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 17
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 12
  • 3
  • 4
  • 4
  • 5
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 15
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 5
  • 8
  • 9
  • 8
  • 4
  • 6
  • 16
  • 39
  • 5
  • 3
  • 10
  • 16
  • 3
  • 8
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 13
  • 3
  • 6
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 7
  • 4
  • 4
  • 46
  • 5
  • 3
  • 4
  • 3
  • 3
  • 8
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 11
  • 3
  • 5
  • 6
  • 3
  • 9
  • 5
  • 8
  • 5
  • 7
  • 6
  • 5
  • 5
  • 4
  • 3
  • 8
  • 3
  • 3
  • 3
  • 14
  • 3
  • 13
  • 3
  • 4
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 16
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 7
  • 3
  • 3
  • 4
  • 3
  • 14
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 8
  • 7
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 8
  • 13
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 9
  • 3
  • 13
  • 4
  • 7
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 5
  • 3
  • 12
  • 15
  • 12
  • 4
  • 18
  • 3
  • 4
  • 3
  • 7
  • 5
  • 7
  • 4
  • 3
  • 12
  • 3
  • 3
  • 5
  • 3
  • 3
  • 13
  • 3
  • 17
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 5
  • 12
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 7
  • 9
  • 4
  • 5
  • 4
  • 5
  • 5
  • 5
  • 13
  • 4
  • 4
  • 4
  • 85
  • 4
  • 4
  • 3
  • 6
  • 3
  • 6
  • 4
  • 8
  • 7
  • 5
  • 4
  • 6
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 5
  • 3
  • 17
  • 3
  • 4
  • 16
  • 5
  • 6
  • 5
  • 5
  • 58
  • 11
  • 5
  • 14
  • 9
  • 4
  • 8
  • 3
  • 3
  • 19
  • 5
  • 7
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 8
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 13
  • 3
  • 3
  • 3
  • 3
  • 13
  • 14
  • 3
  • 13
  • 13
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 11
  • 4
  • 4
  • 3
  • 8
  • 3
  • 3
  • 18
  • 3
  • 3
  • 4
  • 5
  • 7
  • 7
  • 5
  • 3
  • 3
  • 6
  • 5
  • 13
  • 3
  • 6
  • 4
  • 5
  • 7
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 3
  • 9
  • 8
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 7
  • 10
  • 8
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 9
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 4
  • 3
  • 4
  • 22
  • 3
  • 3
  • 8
  • 5
  • 35
  • 7
  • 10
  • 4
  • 12
  • 3
  • 3
  • 8
  • 8
  • 4
  • 3
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 10
  • 39
  • 5
  • 5
  • 5
  • 5
  • 3
  • 13
  • 5
  • 8
  • 6
  • 10
  • 4
  • 10
  • 3
  • 9
  • 4
  • 18
  • 9
  • 4
  • 3
  • 13
  • 6
  • 4
  • 6
  • 24
  • 5
  • 9
  • 4
  • 3
  • 5
  • 12
  • 4
  • 5
  • 4
  • 4
  • 3
  • 4
  • 12
  • 4
  • 18
  • 3
  • 3
  • 86
  • 3
  • 3
  • 4
  • 3
  • 6
  • 11
  • 5
  • 6
  • 89
  • 3
  • 4
  • 4
  • 86
  • 17
  • 4
  • 9
  • 3
  • 4
  • 3
  • 6
  • 9
  • 86
  • 6
  • 15
  • 3
  • 10
  • 8
  • 7
  • 12
  • 4
  • 13
  • 10
  • 4
  • 4
  • 7
  • 7
  • 5
  • 8
  • 5
  • 4
  • 12
  • 3
  • 4
  • 14
  • 3
  • 4
  • 11
  • 5
  • 10
  • 7
  • 7
  • 4
  • 5
  • 3
  • 8
  • 6
  • 3
  • 7
  • 3
  • 10
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 5
  • 12
  • 18
  • 5
  • 3
  • 7
  • 12
  • 20
  • 11
  • 9
  • 13
  • 8
  • 23
  • 24
  • 11
  • 6
  • 5
  • 4
  • 7
  • 12
  • 7
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 86
  • 5
  • 20
  • 5
  • 5
  • 3
  • 12
  • 15
  • 11
  • 4
  • 4
  • 13
  • 4
  • 4
  • 17
  • 4
  • 5
  • 4
  • 4
  • 7
  • 7
  • 5
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 12
  • 6
  • 4
  • 4
  • 12
  • 6
  • 8
  • 10
  • 43
  • 10
  • 5
  • 3
  • 6
  • 15
  • 3
  • 17
  • 3
  • 8
  • 3
  • 7
  • 4
  • 17
Verlag
  • 800
  • 1238
  • 935
  • 204
  • 990
  • 15
Preis
  • 1
  • 87
  • 3091
  • 1003
Sprachen
  • 4182
  • 1
Verfügbarkeit
  • 4179
  • 3
Katalog
  • 4182
  • 215

Künstliche Intelligenz

4.182  Treffer  für „Lecture Notes in Computer Science“
    Adelsberger / Marik / Lazansky | Information Management in Computer Integrated Manufacturing | Buch | Sack Fachmedien

    Adelsberger / Marik / Lazansky Information Management in Computer Integrated Manufacturing

    A Comprehensive Guide to State-of-the-Art CIM Solutions
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60286-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieser / Yamamoto / Tanaka | Discovery Science | Buch | Sack Fachmedien

    Grieser / Yamamoto / Tanaka Discovery Science

    6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20293-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lange / Smith / Satoh | Discovery Science | Buch | Sack Fachmedien

    Lange / Smith / Satoh Discovery Science

    5th International Conference, DS 2002, Lubeck, Germany, November 24-26, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00188-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corruble / Suzuki / Takeda | Discovery Science | Buch | Sack Fachmedien

    Corruble / Suzuki / Takeda Discovery Science

    10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75487-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snášel / Saeed | Computer Information Systems and Industrial Management | Buch | Sack Fachmedien

    Snášel / Saeed Computer Information Systems and Industrial Management

    13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-662-45236-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Donnell / Myers | Constructivity in Computer Science | Buch | Sack Fachmedien

    O'Donnell / Myers Constructivity in Computer Science

    Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55631-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sonka / Kybic / Kakadiaris | Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis | Buch | Sack Fachmedien

    Sonka / Kybic / Kakadiaris Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis

    ECCV 2004 Workshops CVAMIA and MMBIA Prague, Czech Republic, May 15, 2004, Revised Selected Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22675-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Swart | Relational Methods in Computer Science | Buch | Sack Fachmedien

    de Swart Relational Methods in Computer Science

    6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00315-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    MacCaull / Winter / Düntsch | Relational Methods in Computer Science | Buch | Sack Fachmedien

    MacCaull / Winter / Düntsch Relational Methods in Computer Science

    8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33339-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Urbat / König | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    Urbat / König 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 Nature Switzerland
    ISBN: 978-3-031-66437-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuich / Rahonis | Algebraic Foundations in Computer Science | Buch | Sack Fachmedien

    Kuich / Rahonis Algebraic Foundations in Computer Science

    Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24896-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomas / Nielsen | Computer Science Logic | Buch | Sack Fachmedien

    Thomas / Nielsen Computer Science Logic

    11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64570-2
    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
    Schwichtenberg / Clote | Computer Science Logic | Buch | Sack Fachmedien

    Schwichtenberg / Clote Computer Science Logic

    14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67895-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Seyr / Grandjean | Computer Science Logic | Buch | Sack Fachmedien

    Gottlob / Seyr / Grandjean Computer Science Logic

    12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65922-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcinkowski | Computer Science Logic | Buch | Sack Fachmedien

    Marcinkowski Computer Science Logic

    18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23024-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henzinger / Duparc | Computer Science Logic | Buch | Sack Fachmedien

    Henzinger / Duparc Computer Science Logic

    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74914-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Schönfeld / Kleine Büning | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Schönfeld / Kleine Büning Computer Science Logic

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

    Kleine Buening Computer Science Logic

    9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61377-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dawar / Veith | Computer Science Logic | Buch | Sack Fachmedien

    Dawar / Veith Computer Science Logic

    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15204-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Makowsky / Baaz | Computer Science Logic | Buch | Sack Fachmedien

    Makowsky / Baaz Computer Science Logic

    17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40801-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Richter / Jäger | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Richter / Jäger Computer Science Logic

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

    Rodriguez-Artalejo / Flum Computer Science Logic

    13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66536-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nute / Lomuscio | Deontic Logic in Computer Science | Buch | Sack Fachmedien

    Nute / Lomuscio Deontic Logic in Computer Science

    7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22111-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hasuo | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    Hasuo Coalgebraic Methods in Computer Science

    13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40369-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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