Ergebnisse filtern
Fachgebiet
Medium
  • 5410
  • 64
  • 9
Erscheinungsjahr
  • 1
  • 9
  • 225
  • 43
  • 49
  • 41
  • 52
  • 48
  • 53
  • 37
  • 87
  • 78
  • 185
  • 131
  • 159
  • 123
  • 632
  • 139
  • 246
  • 358
  • 317
  • 304
  • 229
  • 238
  • 239
  • 238
  • 177
  • 148
  • 141
  • 126
  • 118
  • 83
  • 78
  • 70
  • 61
  • 65
  • 53
  • 30
  • 19
  • 25
  • 7
  • 6
  • 3
  • 1
  • 2
Autoren
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 29
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 9
  • 4
  • 4
  • 4
  • 3
  • 6
  • 8
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 9
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 11
  • 5
  • 8
  • 9
  • 3
  • 3
  • 8
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 4
  • 10
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 15
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 5
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 5
  • 3
  • 7
  • 9
  • 5
  • 3
  • 5
  • 14
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 8
  • 4
  • 5
  • 4
  • 7
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 4
  • 5
  • 6
  • 5
  • 3
  • 3
  • 7
  • 8
  • 5
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 8
  • 3
  • 4
  • 23
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 12
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 18
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 6
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 6
  • 3
  • 6
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 6
  • 4
  • 4
  • 18
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 3
  • 5
  • 34
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 5
  • 3
  • 12
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 10
  • 5
  • 4
  • 5
  • 4
  • 17
  • 4
  • 5
  • 14
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 11
  • 3
  • 4
  • 3
  • 5
  • 7
  • 6
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 7
  • 38
  • 3
  • 4
  • 6
  • 11
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 4
  • 3
  • 13
  • 5
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 6
  • 4
  • 10
  • 9
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 8
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 19
  • 5
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 6
  • 4
  • 6
  • 6
  • 3
  • 6
  • 4
  • 5
  • 5
  • 4
  • 6
  • 3
  • 3
  • 5
  • 11
  • 3
  • 3
  • 3
  • 3
  • 27
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 5
  • 3
  • 7
  • 3
  • 3
  • 6
  • 6
  • 11
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 54
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 3
  • 4
  • 8
  • 4
  • 5
  • 5
  • 4
  • 3
  • 14
  • 4
  • 11
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 7
  • 3
  • 5
  • 7
  • 5
  • 4
  • 7
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 6
  • 3
  • 8
  • 10
  • 3
  • 10
  • 4
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 9
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 13
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 5
  • 3
  • 10
  • 7
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 10
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 13
  • 3
  • 4
  • 3
  • 3
  • 3
  • 11
  • 4
  • 5
  • 4
  • 5
  • 3
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 6
  • 3
  • 8
  • 3
  • 5
  • 3
  • 6
  • 5
  • 3
  • 7
  • 3
  • 8
  • 3
  • 3
  • 6
  • 6
  • 9
  • 3
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 4
  • 7
  • 3
  • 21
  • 4
  • 4
  • 11
  • 8
  • 5
  • 6
  • 9
  • 3
  • 5
  • 3
  • 11
  • 4
  • 6
  • 3
  • 7
  • 4
  • 6
  • 7
  • 13
  • 3
  • 3
  • 8
  • 53
  • 8
  • 5
  • 8
  • 3
  • 6
  • 4
  • 7
  • 6
  • 53
  • 5
  • 9
  • 11
  • 6
  • 53
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 53
  • 10
  • 3
  • 5
  • 5
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 6
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 10
  • 4
  • 8
  • 4
  • 3
  • 3
  • 7
  • 4
  • 5
  • 3
  • 6
  • 5
  • 5
  • 3
  • 4
  • 4
  • 3
  • 9
  • 4
  • 25
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 9
  • 4
  • 53
  • 4
  • 5
  • 9
  • 16
  • 32
  • 3
  • 3
  • 3
  • 5
  • 19
  • 4
  • 3
  • 6
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 8
  • 4
  • 4
  • 10
  • 3
  • 4
  • 15
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 3
  • 7
  • 6
  • 4
  • 12
  • 3
  • 7
  • 5
  • 3
  • 4
  • 4
  • 13
  • 6
  • 9
  • 4
  • 5
  • 4
Verlag
  • 1
  • 3
  • 3
  • 2
  • 1
  • 3
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 11
  • 3
  • 2
  • 2
  • 18
  • 57
  • 1
  • 1
  • 12
  • 1
  • 20
  • 16
  • 2
  • 4
  • 1
  • 2
  • 2
  • 1
  • 4
  • 4
  • 33
  • 1
  • 1
  • 1
  • 1
  • 6
  • 15
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 4
  • 67
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1549
  • 1889
  • 2
  • 369
  • 4
  • 1
  • 69
  • 137
  • 475
  • 135
  • 417
  • 16
  • 23
  • 10
  • 9
  • 5
  • 5
  • 1
  • 1
  • 8
  • 15
  • 3
  • 3
Preis
  • 24
  • 150
  • 2242
  • 3067
Sprachen
  • 5395
  • 91
  • 3
Verfügbarkeit
  • 5457
  • 26
Eigenschaften
  • 2
Katalog
  • 5483
  • 786
5.483  Titel
    Jantke / Zeugmann / Shinohara | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Jantke / Zeugmann / Shinohara Algorithmic Learning Theory

    6th International Workshop, ALT '95, Fukuoka, Japan, October 18 - 20, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60454-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nascimento / Oliveira / Moura | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Nascimento / Oliveira / Moura String Processing and Information Retrieval

    10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20177-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eckman / Banzhaf | Evolution and Biocomputation | Buch | Sack Fachmedien

    Eckman / Banzhaf Evolution and Biocomputation

    Computational Models of Evolution
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59046-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palm / Hellendoorn / Driankov | Model Based Fuzzy Control | Buch | Sack Fachmedien

    Palm / Hellendoorn / Driankov Model Based Fuzzy Control

    Fuzzy Gain Schedulers and Sliding Mode Fuzzy Controllers
    Softcover Nachdruck of the original 1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-642-08262-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freivalds / Catania / Engels | SOFSEM 2016: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Freivalds / Catania / Engels SOFSEM 2016: Theory and Practice of Computer Science

    42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49191-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hawkes / Colchester | Information Processing in Medical Imaging | Buch | Sack Fachmedien

    Hawkes / Colchester Information Processing in Medical Imaging

    12th International Conference, IPMI '91, Wye, UK, July 7-12, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54246-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elomaa / Toivonen / Mannila | Machine Learning: ECML 2002 | Buch | Sack Fachmedien

    Elomaa / Toivonen / Mannila Machine Learning: ECML 2002

    13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44036-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfahringer / Kramer | Inductive Logic Programming | Buch | Sack Fachmedien

    Pfahringer / Kramer Inductive Logic Programming

    15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28177-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wille / Stumme | Begriffliche Wissensverarbeitung | Buch | Sack Fachmedien

    Wille / Stumme Begriffliche Wissensverarbeitung

    Methoden und Anwendungen
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66391-1
    Medium: Buch
    74,95 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Ohuchi / Hagiya | DNA Computing | Buch | Sack Fachmedien

    Ohuchi / Hagiya DNA Computing

    8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00531-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chandra / Bector | Fuzzy Mathematical Programming and Fuzzy Matrix Games | Buch | Sack Fachmedien

    Chandra / Bector Fuzzy Mathematical Programming and Fuzzy Matrix Games

    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23729-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Talbi / Liardet / Collet | Artificial Evolution | Buch | Sack Fachmedien

    Talbi / Liardet / Collet Artificial Evolution

    7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-33589-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sammut / Matwin | Inductive Logic Programming | Buch | Sack Fachmedien

    Sammut / Matwin Inductive Logic Programming

    12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00567-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sgall / Kolman / Pultr | Mathematical Foundations of Computer Science 2001 | Buch | Sack Fachmedien

    Sgall / Kolman / Pultr Mathematical Foundations of Computer Science 2001

    26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42496-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Retore | Logical Aspects of Computational Linguistics | Buch | Sack Fachmedien

    Retore Logical Aspects of Computational Linguistics

    First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63700-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurzynski / Puchala / Wozniak | Computer Recognition Systems | Buch | Sack Fachmedien

    Kurzynski / Puchala / Wozniak Computer Recognition Systems

    Proceedings of 4th International Conference on Computer Recognition Systems CORES'05
    2005
    Verlag: Springer
    ISBN: 978-3-540-25054-8
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kotov / Miklosko | Algorithms, Software and Hardware of Parallel Computers | Buch | Sack Fachmedien

    Kotov / Miklosko Algorithms, Software and Hardware of Parallel Computers

    Softcover Nachdruck of the original 1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-662-11108-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Ohsuga / Liau | Foundations of Data Mining and Knowledge Discovery | Buch | Sack Fachmedien

    Lin / Ohsuga / Liau Foundations of Data Mining and Knowledge Discovery

    2005
    Verlag: Springer
    ISBN: 978-3-540-26257-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Lemos / Fabre / ter Beek | Architecting Dependable Systems VI | Buch | Sack Fachmedien

    de Lemos / Fabre / ter Beek Architecting Dependable Systems VI

    2009
    Verlag: Springer
    ISBN: 978-3-642-10247-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Warmuth / Schölkopf | Learning Theory and Kernel Machines | Buch | Sack Fachmedien

    Warmuth / Schölkopf Learning Theory and Kernel Machines

    16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40720-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen | Extending the Scalability of Linkage Learning Genetic Algorithms | Buch | Sack Fachmedien

    Chen Extending the Scalability of Linkage Learning Genetic Algorithms

    Theory & Practice
    2006
    Verlag: Springer
    ISBN: 978-3-540-28459-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maluszynski / Deransart | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Maluszynski / Deransart Programming Language Implementation and Logic Programming

    International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53010-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mitchell / Hoos | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Mitchell / Hoos Theory and Applications of Satisfiability Testing

    7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27829-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reinfrank / Martins | Truth Maintenance Systems | Buch | Sack Fachmedien

    Reinfrank / Martins Truth Maintenance Systems

    ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54305-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Brinksma | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Brinksma Computer Aided Verification

    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43997-4
    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