Ergebnisse filtern
Fachgebiet
Medium
  • 4965
Erscheinungsjahr
  • 495
  • 542
  • 571
  • 310
  • 141
  • 97
  • 120
  • 129
  • 136
  • 120
  • 120
  • 122
  • 111
  • 124
  • 110
  • 116
  • 128
  • 101
  • 83
  • 108
  • 121
  • 96
  • 129
  • 109
  • 95
  • 104
  • 67
  • 64
  • 64
  • 47
  • 46
  • 42
  • 41
  • 35
  • 25
  • 32
  • 20
  • 17
  • 11
  • 10
  • 4
  • 2
Autoren
  • 4
  • 3
  • 4
  • 6
  • 4
  • 4
  • 11
  • 24
  • 9
  • 7
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 16
  • 16
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 4
  • 6
  • 4
  • 5
  • 3
  • 14
  • 4
  • 13
  • 33
  • 7
  • 3
  • 8
  • 3
  • 5
  • 4
  • 4
  • 7
  • 5
  • 4
  • 13
  • 3
  • 7
  • 3
  • 3
  • 3
  • 39
  • 5
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 6
  • 8
  • 3
  • 4
  • 4
  • 10
  • 5
  • 14
  • 3
  • 6
  • 3
  • 6
  • 21
  • 6
  • 4
  • 3
  • 7
  • 10
  • 9
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 15
  • 4
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 9
  • 9
  • 5
  • 3
  • 6
  • 39
  • 3
  • 3
  • 8
  • 3
  • 6
  • 19
  • 4
  • 4
  • 4
  • 3
  • 6
  • 9
  • 7
  • 3
  • 14
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 10
  • 9
  • 14
  • 8
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 8
  • 39
  • 16
  • 3
  • 5
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 15
  • 4
  • 6
  • 5
  • 6
  • 4
  • 3
  • 11
  • 6
  • 3
  • 11
  • 6
  • 4
  • 10
  • 4
  • 24
  • 4
  • 7
  • 5
  • 3
  • 11
  • 4
  • 3
  • 3
  • 8
  • 10
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 7
  • 7
  • 8
  • 3
  • 5
  • 4
  • 33
  • 4
  • 4
  • 10
  • 40
  • 3
  • 3
  • 4
  • 13
  • 6
  • 3
  • 3
  • 9
  • 4
  • 3
  • 5
  • 37
  • 5
  • 37
  • 3
  • 4
  • 4
  • 5
  • 3
  • 11
  • 15
  • 7
  • 4
  • 4
  • 4
  • 7
  • 12
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 7
  • 4
  • 4
  • 4
  • 39
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 11
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 12
  • 6
  • 5
  • 5
  • 5
  • 4
  • 6
  • 3
  • 6
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 23
  • 26
  • 10
  • 13
  • 3
  • 7
  • 4
  • 5
  • 4
  • 9
  • 4
  • 24
  • 6
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 7
  • 4
  • 7
  • 3
  • 5
  • 3
  • 7
  • 16
  • 11
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 8
  • 6
  • 18
  • 5
  • 11
  • 16
  • 5
  • 7
  • 3
  • 6
  • 3
  • 8
  • 4
  • 12
  • 3
  • 6
  • 3
  • 4
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 4
  • 7
  • 10
  • 3
  • 4
  • 4
  • 3
  • 5
  • 12
  • 25
  • 3
  • 3
  • 4
  • 3
  • 43
  • 4
  • 3
  • 78
  • 3
  • 3
  • 4
  • 4
  • 4
  • 16
  • 3
  • 8
  • 5
  • 3
  • 9
  • 3
  • 4
  • 5
  • 6
  • 4
  • 10
  • 4
  • 4
  • 6
  • 6
  • 4
  • 8
  • 3
  • 7
  • 3
  • 4
  • 5
  • 6
  • 4
  • 4
  • 9
  • 16
  • 3
  • 7
  • 4
  • 7
  • 5
  • 3
  • 12
  • 3
  • 4
  • 3
  • 3
  • 12
  • 3
  • 4
  • 7
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 43
  • 3
  • 6
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 6
  • 16
  • 23
  • 48
  • 3
  • 3
  • 4
  • 12
  • 5
  • 3
  • 4
  • 4
  • 4
  • 6
  • 17
  • 3
  • 6
  • 3
  • 8
  • 6
  • 16
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 5
  • 6
  • 13
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 4
  • 24
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 4
  • 8
  • 8
  • 3
  • 9
  • 20
  • 39
  • 5
  • 4
  • 3
  • 4
  • 8
  • 3
  • 17
  • 3
  • 7
  • 11
  • 3
  • 3
  • 4
  • 4
  • 16
  • 4
  • 16
  • 16
  • 8
  • 7
  • 4
  • 7
  • 4
  • 4
  • 4
  • 6
  • 85
  • 5
  • 5
  • 6
  • 4
  • 6
  • 7
  • 7
  • 5
  • 5
  • 8
  • 5
  • 5
  • 16
  • 4
  • 4
  • 13
  • 4
  • 5
  • 4
  • 9
  • 8
  • 9
  • 8
  • 5
  • 6
  • 5
  • 7
  • 4
  • 5
  • 10
  • 4
  • 6
  • 14
  • 4
  • 13
  • 4
  • 7
  • 4
  • 6
  • 12
  • 7
  • 8
  • 7
  • 10
  • 4
  • 6
  • 16
  • 4
  • 4
  • 12
  • 4
  • 4
  • 5
  • 31
  • 6
  • 6
  • 5
  • 8
  • 4
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 10
  • 24
  • 4
  • 5
  • 8
  • 4
  • 16
  • 4
  • 5
  • 4
  • 12
  • 33
  • 4
  • 8
  • 9
  • 4
  • 4
  • 5
  • 6
  • 9
  • 15
  • 21
  • 5
  • 4
  • 10
  • 4
  • 4
  • 5
  • 4
  • 9
  • 4
  • 12
  • 5
  • 78
  • 4
  • 19
  • 21
  • 6
  • 6
  • 6
  • 4
  • 6
  • 4
  • 4
  • 12
  • 5
  • 4
  • 7
  • 6
  • 6
  • 4
  • 5
  • 4
  • 6
  • 15
  • 4
  • 4
  • 87
  • 13
  • 36
  • 4
  • 4
  • 5
  • 8
  • 6
  • 5
  • 5
  • 7
  • 5
  • 6
  • 4
  • 4
  • 6
  • 5
  • 18
  • 19
  • 18
  • 4
  • 75
  • 4
  • 18
  • 6
  • 7
  • 11
  • 21
  • 5
  • 4
  • 4
  • 29
  • 4
  • 7
  • 4
  • 25
  • 6
  • 4
  • 6
  • 4
  • 4
  • 9
  • 13
  • 12
  • 11
  • 13
  • 17
  • 5
  • 78
  • 11
  • 9
  • 16
  • 4
  • 4
  • 4
  • 8
  • 10
  • 6
  • 5
  • 7
  • 4
  • 7
  • 5
  • 4
  • 7
  • 4
  • 6
  • 4
  • 6
  • 6
  • 5
  • 8
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 9
  • 5
  • 4
  • 7
  • 48
  • 6
  • 4
  • 6
  • 7
  • 36
  • 7
  • 4
  • 13
  • 8
  • 10
  • 7
  • 7
  • 19
  • 25
  • 5
  • 6
  • 7
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 10
  • 39
  • 6
  • 4
  • 6
  • 6
  • 36
  • 8
  • 4
  • 6
  • 14
  • 18
  • 4
  • 4
  • 11
  • 15
  • 6
  • 8
  • 4
  • 21
  • 9
  • 6
  • 4
  • 4
  • 13
  • 15
  • 5
  • 8
  • 6
  • 7
  • 24
  • 31
  • 9
  • 4
  • 6
  • 15
  • 4
  • 8
  • 6
  • 34
  • 4
  • 87
  • 4
  • 4
  • 7
  • 11
  • 78
  • 9
  • 11
  • 7
  • 11
  • 15
  • 7
  • 90
  • 4
  • 11
  • 4
  • 86
  • 14
  • 4
  • 12
  • 5
  • 9
  • 7
  • 4
  • 4
  • 5
  • 5
  • 5
  • 87
  • 14
  • 5
  • 81
  • 12
  • 16
  • 6
  • 4
  • 4
  • 5
  • 5
  • 15
  • 11
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 21
  • 4
  • 4
  • 4
  • 14
  • 4
  • 4
  • 14
  • 13
  • 12
  • 4
  • 6
  • 5
  • 6
  • 9
  • 4
  • 4
  • 4
  • 9
  • 23
  • 12
  • 12
  • 13
  • 8
  • 7
  • 22
  • 6
  • 5
  • 4
  • 14
  • 4
  • 15
  • 4
  • 8
  • 21
  • 22
  • 10
  • 11
  • 9
  • 4
  • 19
  • 6
  • 6
  • 4
  • 17
  • 5
  • 33
  • 4
  • 4
  • 81
  • 24
  • 12
  • 6
  • 4
  • 5
  • 7
  • 12
  • 4
  • 17
  • 8
  • 4
  • 15
  • 9
  • 4
  • 86
  • 6
  • 16
  • 5
  • 16
  • 4
  • 5
  • 13
  • 5
  • 20
  • 4
  • 5
  • 11
  • 13
  • 7
  • 6
  • 35
  • 4
  • 5
  • 5
  • 4
  • 4
  • 8
  • 6
  • 6
  • 4
  • 7
  • 5
  • 5
  • 7
  • 10
  • 5
  • 5
  • 6
  • 5
  • 4
  • 4
  • 5
  • 8
  • 4
  • 5
  • 18
  • 4
  • 4
  • 4
  • 4
  • 17
  • 21
  • 5
  • 12
  • 5
  • 19
  • 4
  • 16
  • 5
  • 11
  • 4
  • 5
  • 18
  • 10
  • 5
  • 5
  • 47
  • 4
  • 4
  • 35
  • 16
  • 38
  • 4
  • 4
  • 11
  • 5
  • 6
  • 20
  • 32
  • 4
  • 5
  • 6
  • 21
  • 5
  • 10
  • 4
  • 5
  • 7
  • 4
  • 18
Verlag
  • 4
  • 4928
  • 2
  • 9
  • 5
  • 1
  • 2
  • 14
Preis
  • 1
  • 118
  • 3590
  • 1256
Sprachen
  • 4965
Verfügbarkeit
  • 4757
  • 208
Eigenschaften
  • 4
Katalog
  • 4965
  • 246

Künstliche Intelligenz

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

    Adelsberger / Lazansky / Marik Information Management in Computer Integrated Manufacturing

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

    Corruble / Takeda / Suzuki Discovery Science

    10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75487-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lange / Satoh / Smith | Discovery Science | Buch | Sack Fachmedien

    Lange / Satoh / Smith Discovery Science

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

    Lavrac / Todorovski / Jantke Discovery Science

    9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46491-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arikawa / Morishita | Discovery Science | Buch | Sack Fachmedien

    Arikawa / Morishita Discovery Science

    Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41352-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann / Motoda / Scheffer | Discovery Science | Buch | Sack Fachmedien

    Hoffmann / Motoda / Scheffer Discovery Science

    8th International Conference, DS 2005, Singapore, October 8-11, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29230-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saeed / Snášel | Computer Information Systems and Industrial Management | Buch | Sack Fachmedien

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

    13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45236-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sonka / Kakadiaris / Kybic | Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis | Buch | Sack Fachmedien

    Sonka / Kakadiaris / Kybic 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
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22675-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Myers / O'Donnell | Constructivity in Computer Science | Buch | Sack Fachmedien

    Myers / O'Donnell Constructivity in Computer Science

    Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55631-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Wirsing | Knowledge Science, Engineering and Management | Buch | Sack Fachmedien

    Zhang / Wirsing Knowledge Science, Engineering and Management

    8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25158-5
    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
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00315-1
    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
    Dalen / Bezem | Computer Science Logic | Buch | Sack Fachmedien

    Dalen / Bezem Computer Science Logic

    10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63172-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bradfield | Computer Science Logic | Buch | Sack Fachmedien

    Bradfield Computer Science Logic

    16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44240-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fribourg | Computer Science Logic | Buch | Sack Fachmedien

    Fribourg Computer Science Logic

    15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42554-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lomuscio / Nute | Deontic Logic in Computer Science | Buch | Sack Fachmedien

    Lomuscio / Nute Deontic Logic in Computer Science

    7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    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
    ISBN: 978-3-319-40369-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider / Ehrig | Graph Transformations in Computer Science | Buch | Sack Fachmedien

    Schneider / Ehrig Graph Transformations in Computer Science

    International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57787-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duparc / Henzinger | Computer Science Logic | Buch | Sack Fachmedien

    Duparc / Henzinger Computer Science Logic

    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74914-1
    Medium: Buch
    106,99 € (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
    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
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61377-0
    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
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23024-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
    Clote / Schwichtenberg | Computer Science Logic | Buch | Sack Fachmedien

    Clote / Schwichtenberg Computer Science Logic

    14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67895-3
    Medium: Buch
    106,99 € (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

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