Ergebnisse filtern
Fachgebiet
Medium
  • 3251
  • 4
Erscheinungsjahr
  • 36
  • 223
  • 269
  • 153
  • 136
  • 110
  • 93
  • 120
  • 116
  • 75
  • 107
  • 77
  • 102
  • 104
  • 110
  • 99
  • 52
  • 74
  • 58
  • 161
  • 142
  • 76
  • 39
  • 69
  • 53
  • 66
  • 33
  • 46
  • 64
  • 56
  • 57
  • 51
  • 48
  • 41
  • 25
  • 28
  • 22
  • 27
  • 11
  • 9
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 17
  • 2
  • 5
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 11
  • 2
  • 2
  • 14
  • 2
  • 8
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 15
  • 2
  • 2
  • 6
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 19
  • 2
  • 2
  • 5
  • 6
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 10
  • 2
  • 11
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 8
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 6
  • 3
  • 24
  • 7
  • 3
  • 2
  • 2
  • 10
  • 4
  • 2
  • 2
  • 8
  • 3
  • 3
  • 2
  • 11
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 27
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 24
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 22
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 21
  • 3
  • 7
  • 2
  • 4
  • 13
  • 2
  • 3
  • 5
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 12
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 16
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 12
  • 2
  • 3
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 19
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 9
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 16
  • 3
  • 3
  • 3
  • 8
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 27
  • 4
  • 6
  • 3
  • 3
  • 5
  • 16
  • 3
  • 3
  • 3
  • 5
  • 7
  • 6
  • 6
  • 3
  • 3
  • 4
  • 3
  • 7
  • 6
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 3
  • 5
  • 7
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 16
  • 7
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 11
  • 3
  • 5
  • 5
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 19
  • 3
  • 8
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 75
  • 5
  • 8
  • 14
  • 4
  • 31
  • 5
  • 3
  • 5
  • 3
  • 19
  • 4
  • 4
  • 5
  • 3
  • 5
  • 12
  • 4
  • 5
  • 31
  • 3
  • 3
  • 7
  • 22
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 13
  • 3
  • 3
  • 7
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 8
  • 5
  • 4
  • 4
  • 3
  • 5
  • 5
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 7
  • 3
  • 3
  • 5
  • 7
  • 5
  • 3
  • 10
  • 9
  • 17
  • 4
  • 4
  • 30
  • 3
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 10
  • 4
  • 3
  • 6
  • 7
  • 3
  • 3
  • 12
  • 5
  • 5
  • 3
  • 4
  • 14
  • 6
  • 5
  • 16
  • 3
  • 3
  • 11
  • 3
  • 3
  • 7
  • 4
  • 9
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 9
  • 13
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 24
  • 5
  • 6
  • 6
  • 7
  • 4
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 77
  • 7
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 13
  • 3
  • 3
  • 3
  • 3
  • 77
  • 10
  • 5
  • 4
  • 3
  • 76
  • 7
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 7
  • 10
  • 5
  • 4
  • 3
  • 14
  • 3
  • 5
  • 76
  • 9
  • 3
  • 4
  • 3
  • 4
  • 7
  • 3
  • 13
  • 4
  • 3
  • 3
  • 9
  • 3
  • 7
  • 3
  • 4
  • 8
  • 5
  • 4
  • 3
  • 3
  • 3
  • 13
  • 3
  • 4
  • 7
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 9
  • 3
  • 4
  • 6
  • 4
  • 5
  • 12
  • 16
  • 4
  • 5
  • 3
  • 13
  • 2
  • 5
  • 4
  • 14
  • 9
  • 5
  • 3
  • 3
  • 3
  • 7
  • 4
  • 24
  • 4
  • 6
  • 4
  • 76
  • 16
  • 6
  • 4
  • 6
  • 7
  • 39
  • 7
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 17
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 9
  • 17
  • 9
  • 4
  • 4
  • 13
  • 7
  • 6
  • 3
  • 4
  • 16
  • 29
  • 6
  • 3
  • 5
  • 9
  • 6
  • 5
  • 9
  • 7
  • 4
  • 5
Verlag
  • 1
  • 1
  • 2
  • 5
  • 2
  • 3098
  • 27
  • 1
  • 39
  • 20
  • 1
  • 22
  • 5
  • 2
  • 3
  • 21
  • 3
  • 2
Preis
  • 6
  • 77
  • 1634
  • 1538
Sprachen
  • 3255
  • 1
Verfügbarkeit
  • 3251
  • 4
Eigenschaften
  • 1
Katalog
  • 3255
  • 210
3.255  Treffer  für „Lecture Notes in Computer Science“
    Coden / Brown / Srinivasan | Information Retrieval Techniques for Speech Applications | Buch | Sack Fachmedien

    Coden / Brown / Srinivasan Information Retrieval Techniques for Speech Applications

    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43156-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schroeder-Heister | Extensions of Logic Programming | Buch | Sack Fachmedien

    Schroeder-Heister Extensions of Logic Programming

    International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53590-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anagnostopoulou / Ferrand / Smaill | Music and Artificial Intelligence | Buch | Sack Fachmedien

    Anagnostopoulou / Ferrand / Smaill Music and Artificial Intelligence

    Second International Conference, ICMAI 2002, Edinburgh, Scotland, UK, September 12-14, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44145-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabowski / Lescanne / Wechler | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Grabowski / Lescanne / Wechler Algebraic and Logic Programming

    International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-50667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jia / Wu / He | Mobile Ad-hoc and Sensor Networks | Buch | Sack Fachmedien

    Jia / Wu / He Mobile Ad-hoc and Sensor Networks

    First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30856-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jantke / Lunzer / Spyratos | Federation over the Web | Buch | Sack Fachmedien

    Jantke / Lunzer / Spyratos Federation over the Web

    International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31018-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deka / Maji / Mitra | Pattern Recognition and Machine Intelligence | Buch | Sack Fachmedien

    Deka / Maji / Mitra Pattern Recognition and Machine Intelligence

    8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part II
    Erscheinungsjahr 2019
    Verlag: Springer
    ISBN: 978-3-030-34871-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abrial / Börger / Langmaack | Formal Methods for Industrial Applications | Buch | Sack Fachmedien

    Abrial / Börger / Langmaack Formal Methods for Industrial Applications

    Specifying and Programming the Steam Boiler Control
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61929-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanus / Heering / Meinke | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Hanus / Heering / Meinke Algebraic and Logic Programming

    6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63459-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klas / Schrefl | Metaclasses and Their Application | Buch | Sack Fachmedien

    Klas / Schrefl Metaclasses and Their Application

    Data Model Tailoring and Database Integration
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60063-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dyckhoff / Herre / Schroeder-Heister | Extensions of Logic Programming | Buch | Sack Fachmedien

    Dyckhoff / Herre / Schroeder-Heister Extensions of Logic Programming

    5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60983-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kandzia / Klusch | Cooperative Information Agents | Buch | Sack Fachmedien

    Kandzia / Klusch Cooperative Information Agents

    First International Workshop, CIA'97, Kiel, Germany, February 26-28, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62591-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kamel / Karray / Hagras | Autonomous and Intelligent Systems | Buch | Sack Fachmedien

    Kamel / Karray / Hagras Autonomous and Intelligent Systems

    Third International Conference, AIS 2012, Aviero, Portugal, June 25-27, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31367-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheyi / Naumann | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Gheyi / Naumann Formal Methods: Foundations and Applications

    15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33295-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Nakano | Document Analysis Systems: Theory and Practice | Buch | Sack Fachmedien

    Lee / Nakano Document Analysis Systems: Theory and Practice

    Third IAPR Workshop, DAS'98, Nagano, Japan, November 4-6, 1998, Selected Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66507-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Suzuki / Higashino / Ulrich | Testing of Software and Communicating Systems | Buch | Sack Fachmedien

    Suzuki / Higashino / Ulrich Testing of Software and Communicating Systems

    20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68514-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kittler / Roli | Multiple Classifier Systems | Buch | Sack Fachmedien

    Kittler / Roli Multiple Classifier Systems

    First International Workshop, MCS 2000 Cagliari, Italy, June 21-23, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67704-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christensen / Bunke / Noltemeier | Sensor Based Intelligent Robots | Buch | Sack Fachmedien

    Christensen / Bunke / Noltemeier Sensor Based Intelligent Robots

    International Workshop Dagstuhl Castle, Germany, September 28 - October 2, 1998 Selected Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66933-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Whitesides | Graph Drawing | Buch | Sack Fachmedien

    Whitesides Graph Drawing

    6th International Symposium, GD '98 Montreal, Canada, August 13-15, 1998 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65473-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bekos / Chimani | Graph Drawing and Network Visualization | Buch | Sack Fachmedien

    Bekos / Chimani Graph Drawing and Network Visualization

    31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49274-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poli / Voigt / Cagnoni | Evolutionary Image Analysis, Signal Processing and Telecommunications | Buch | Sack Fachmedien

    Poli / Voigt / Cagnoni Evolutionary Image Analysis, Signal Processing and Telecommunications

    First European Workshops, EvoIASP'99 and EuroEcTel'99 Göteborg, Sweden, May 26-27, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65837-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almeida / Blesa Aguilera / Blum | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Almeida / Blesa Aguilera / Blum Hybrid Metaheuristics

    Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46384-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishikawa / Doya / Miyamoto | Neural Information Processing | Buch | Sack Fachmedien

    Ishikawa / Doya / Miyamoto Neural Information Processing

    14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69159-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90652-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90659-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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