Ergebnisse filtern
Fachgebiet
Medium
  • 4828
  • 26
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 26
  • 67
  • 54
  • 50
  • 68
  • 117
  • 135
  • 99
  • 136
  • 91
  • 142
  • 105
  • 144
  • 107
  • 249
  • 93
  • 175
  • 338
  • 310
  • 320
  • 238
  • 245
  • 223
  • 198
  • 145
  • 119
  • 109
  • 101
  • 87
  • 91
  • 81
  • 58
  • 58
  • 64
  • 39
  • 48
  • 28
  • 18
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 14
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 8
  • 6
  • 4
  • 5
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 5
  • 31
  • 11
  • 3
  • 3
  • 4
  • 3
  • 3
  • 19
  • 5
  • 3
  • 2
  • 9
  • 8
  • 6
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 17
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 5
  • 6
  • 6
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 6
  • 14
  • 7
  • 4
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 5
  • 3
  • 5
  • 10
  • 3
  • 4
  • 3
  • 8
  • 7
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 10
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 10
  • 9
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 3
  • 6
  • 5
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 5
  • 4
  • 12
  • 3
  • 11
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 7
  • 6
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 6
  • 3
  • 7
  • 3
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 8
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 18
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 6
  • 9
  • 4
  • 3
  • 6
  • 11
  • 3
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 9
  • 3
  • 8
  • 3
  • 9
  • 4
  • 6
  • 7
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 51
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 19
  • 4
  • 3
  • 7
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 9
  • 4
  • 6
  • 8
  • 6
  • 3
  • 3
  • 11
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 5
  • 3
  • 3
  • 9
  • 5
  • 4
  • 5
  • 11
  • 1
  • 1
  • 2
  • 23
  • 4
  • 1
  • 3
  • 6
  • 41
  • 6
  • 3
  • 1
  • 3
  • 9
  • 8
  • 1
  • 2
  • 2
  • 1
  • 10
  • 2
  • 1
  • 2
  • 9
  • 1
  • 3
  • 1
  • 7
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 5
  • 1
  • 2
  • 8
  • 2
  • 1128
  • 2167
  • 1
  • 657
  • 1
  • 6
  • 3
  • 52
  • 55
  • 127
  • 74
  • 223
  • 8
  • 38
  • 3
  • 2
  • 1
  • 1
  • 7
  • 4
  • 3
  • 1
  • 36
  • 2
  • 22
  • 1
  • 1
  • 3
Preis
  • 15
  • 211
  • 2987
  • 1650
Sprachen
  • 4720
  • 139
  • 13
Verfügbarkeit
  • 4842
  • 21
Katalog
  • 4863
  • 212
4.863  Titel
    Fonlupt / Hao / Schoenauer | Artificial Evolution | Buch | Sack Fachmedien

    Fonlupt / Hao / Schoenauer Artificial Evolution

    4th European Conference, AE'99 Dunkerque, France, November 3-5, 1999 Selected Papers
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67846-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pieprzyk / Seberry | Advances in Cryptology - AUSCRYPT '90 | Buch | Sack Fachmedien

    Pieprzyk / Seberry Advances in Cryptology - AUSCRYPT '90

    International Conference on Cryptology Sydney, Australia, January 8-11, 1990
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53000-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taguchi / Aoki | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Taguchi / Aoki Formal Methods and Software Engineering

    14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-34280-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dix / Fisher / Novák | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Dix / Fisher / Novák Computational Logic in Multi-Agent Systems

    10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16866-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lohmann / ter Beek | Web Services and Formal Methods | Buch | Sack Fachmedien

    Lohmann / ter Beek Web Services and Formal Methods

    9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-38229-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Ito | Theoretical Aspects of Computer Software | Buch | Sack Fachmedien

    Meyer / Ito Theoretical Aspects of Computer Software

    International Conference TACS ¿91, Sendai, Japan, September 24¿27, 1991. Proceedings
    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54415-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Steffen Tools and Algorithms for the Construction and Analysis of Systems

    4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64356-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hespanha / Tiwari | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Hespanha / Tiwari Hybrid Systems: Computation and Control

    9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-33170-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Irwin / Huang | Intelligent Computing | Buch | Sack Fachmedien

    Irwin / Huang Intelligent Computing

    International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37271-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kollias / Stafylopatis / Duch | Artificial Neural Networks - ICANN 2006 | Buch | Sack Fachmedien

    Kollias / Stafylopatis / Duch Artificial Neural Networks - ICANN 2006

    16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II
    2006
    Verlag: Springer
    ISBN: 978-3-540-38871-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vingron | Switching Theory | Buch | Sack Fachmedien

    Vingron Switching Theory

    Insight through Predicate Logic
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-07318-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sehun / Lee / Yung | Information Security Applications | Buch | Sack Fachmedien

    Sehun / Lee / Yung Information Security Applications

    8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77534-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klein / Wegner / Six | Computer Science in Perspective | Buch | Sack Fachmedien

    Klein / Wegner / Six Computer Science in Perspective

    Essays Dedicated to Thomas Ottmann
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00579-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bancilhon / Tsichritzis / Thanos | Advances in Database Technology - EDBT '90 | Buch | Sack Fachmedien

    Bancilhon / Tsichritzis / Thanos Advances in Database Technology - EDBT '90

    International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings.
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52291-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Safavi-Naini / Batten | Information Security and Privacy | Buch | Sack Fachmedien

    Safavi-Naini / Batten Information Security and Privacy

    11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35458-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1988 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1988

    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50580-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asano / Igarashi / Suri | Algorithms and Computation | Buch | Sack Fachmedien

    Asano / Igarashi / Suri Algorithms and Computation

    7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62048-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Inoue / Satoh / Toni | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Inoue / Satoh / Toni Computational Logic in Multi-Agent Systems

    7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
    2007
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-69618-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Chechik / van Breugel | CONCUR 2008 - Concurrency Theory | Buch | Sack Fachmedien

    Chechik / van Breugel CONCUR 2008 - Concurrency Theory

    19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85360-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy | Informatik Eine grundlegende Einführung | Buch | Sack Fachmedien

    Broy Informatik Eine grundlegende Einführung

    Band 1: Programmierung und Rechnerstrukturen
    2. Auflage 1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63234-4
    Medium: Buch
    37,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosenfeld / Perner | Machine Learning and Data Mining in Pattern Recognition | Buch | Sack Fachmedien

    Rosenfeld / Perner Machine Learning and Data Mining in Pattern Recognition

    Third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003, proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40504-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1990 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1990

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53863-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beringer / Felty | Interactive Theorem Proving | Buch | Sack Fachmedien

    Beringer / Felty Interactive Theorem Proving

    Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-32346-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Nienhuys-Cheng | Foundations of Inductive Logic Programming | Buch | Sack Fachmedien

    Wolf / Nienhuys-Cheng Foundations of Inductive Logic Programming

    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62927-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Rash / Gordon-Spears | Formal Approaches to Agent-Based Systems | Buch | Sack Fachmedien

    Hinchey / Rash / Gordon-Spears Formal Approaches to Agent-Based Systems

    Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40665-5
    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