Ergebnisse filtern
Fachgebiet
Medium
  • 2803
  • 135
  • 3
  • 1
Erscheinungsjahr
  • 3
  • 2
  • 62
  • 90
  • 84
  • 77
  • 67
  • 79
  • 60
  • 27
  • 33
  • 25
  • 33
  • 19
  • 18
  • 16
  • 120
  • 68
  • 141
  • 247
  • 201
  • 176
  • 99
  • 128
  • 82
  • 111
  • 82
  • 79
  • 85
  • 80
  • 80
  • 67
  • 65
  • 61
  • 41
  • 64
  • 31
  • 33
  • 26
  • 19
  • 16
  • 8
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 18
  • 5
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 19
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 13
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 3
  • 7
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 6
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 27
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 6
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 5
  • 6
  • 4
  • 5
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 14
  • 3
  • 4
  • 3
  • 3
  • 13
  • 3
  • 5
  • 3
  • 7
  • 3
  • 5
  • 12
  • 5
  • 4
  • 3
  • 3
  • 4
  • 10
  • 3
  • 5
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 5
  • 5
  • 3
  • 5
  • 4
Verlag
  • 1
  • 1
  • 1
  • 261
  • 3
  • 4
  • 1
  • 2
  • 5
  • 3
  • 9
  • 15
  • 8
  • 154
  • 1
  • 4
  • 1
  • 1
  • 3
  • 2
  • 8
  • 1
  • 1
  • 4
  • 5
  • 1
  • 2
  • 5
  • 1
  • 12
  • 3
  • 4
  • 11
  • 1
  • 1
  • 1
  • 5
  • 1
  • 8
  • 2
  • 3
  • 1
  • 2
  • 1
  • 6
  • 3
  • 3
  • 286
  • 1584
  • 76
  • 3
  • 1
  • 2
  • 93
  • 23
  • 15
  • 47
  • 10
  • 61
  • 2
  • 4
  • 2
  • 66
  • 25
  • 8
  • 2
  • 2
  • 1
  • 19
  • 26
  • 2
  • 4
  • 1
  • 1
Preis
  • 34
  • 379
  • 1822
  • 707
Sprachen
  • 2717
  • 222
  • 8
Verfügbarkeit
  • 2902
  • 40
Eigenschaften
  • 3
Katalog
  • 2942
  • 152
2.942  Titel
    Wang / Liu / Cheung | Computational Intelligence and Security | Buch | Sack Fachmedien

    Wang / Liu / Cheung Computational Intelligence and Security

    International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74376-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caires / Vasconcelos | CONCUR 2007 - Concurrency Theory | Buch | Sack Fachmedien

    Caires / Vasconcelos CONCUR 2007 - Concurrency Theory

    18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
    2007
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-74406-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kucera | Mathematical Foundations of Computer Science 2007 | Buch | Sack Fachmedien

    Kucera Mathematical Foundations of Computer Science 2007

    32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74455-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Plumbley / James | Independent Component Analysis and Signal Separation | Buch | Sack Fachmedien

    Davies / Plumbley / James Independent Component Analysis and Signal Separation

    7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74493-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Li / Yao | Rough Sets and Knowledge Technology | Buch | Sack Fachmedien

    Wang / Li / Yao Rough Sets and Knowledge Technology

    Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79720-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fong / Wang / Kwan | Hybrid Learning and Education | Buch | Sack Fachmedien

    Fong / Wang / Kwan Hybrid Learning and Education

    First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85169-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Yenigun / Haxthausen | Theoretical Aspects of Computing - ICTAC 2008 | Buch | Sack Fachmedien

    Fitzgerald / Yenigun / Haxthausen Theoretical Aspects of Computing - ICTAC 2008

    5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85761-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamprecht | User-Level Workflow Design | Buch | Sack Fachmedien

    Lamprecht User-Level Workflow Design

    A Bioinformatics Perspective
    2013
    Verlag: Springer
    ISBN: 978-3-642-45388-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lu / Boztas | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Lu / Boztas Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77223-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tasiran / Sokolsky | Runtime Verification | Buch | Sack Fachmedien

    Tasiran / Sokolsky Runtime Verification

    7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77394-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tokuyama | Algorithms and Computation | Buch | Sack Fachmedien

    Tokuyama Algorithms and Computation

    18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77118-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blockeel / Tadepalli / Ramon | Inductive Logic Programming | Buch | Sack Fachmedien

    Blockeel / Tadepalli / Ramon Inductive Logic Programming

    17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78468-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brimkov / Hauptman / Barneva | Combinatorial Image Analysis | Buch | Sack Fachmedien

    Brimkov / Hauptman / Barneva Combinatorial Image Analysis

    12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78274-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen | Coloured Petri Nets | Buch | Sack Fachmedien

    Jensen Coloured Petri Nets

    Basic Concepts, Analysis Methods and Practical Use. Volume 1
    2. Auflage 1996. 2. corr. printing. Softcover version of original hardcover Auflage 1996
    Verlag: Springer
    ISBN: 978-3-642-08243-6
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merz / Kröger | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Merz / Kröger Temporal Logic and State Systems

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08680-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Modelling Distributed Systems | Buch | Sack Fachmedien

    Fokkink Modelling Distributed Systems

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-09321-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rudolph / Feitelson | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Rudolph / Feitelson Job Scheduling Strategies for Parallel Processing

    IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41120-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schojer / Böszörményi | Modular Programming Languages | Buch | Sack Fachmedien

    Schojer / Böszörményi Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40796-6
    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
    Dongarra / Podhorszki / Kacsuk | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Dongarra / Podhorszki / Kacsuk Recent Advances in Parallel Virtual Machine and Message Passing Interface

    7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41010-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bader / Prasanna / Parashar | High Performance Computing ¿ HiPC 2005 | Buch | Sack Fachmedien

    Bader / Prasanna / Parashar High Performance Computing ¿ HiPC 2005

    12th International Conference, Goa, India, December 18-21, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30936-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mattern / Kotz | Agent Systems, Mobile Agents, and Applications | Buch | Sack Fachmedien

    Mattern / Kotz Agent Systems, Mobile Agents, and Applications

    Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000 Zurich, Switzerland, September 13-15, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41052-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff / Basin | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Wolff / Basin Theorem Proving in Higher Order Logics

    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40664-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Waldén / Bowen | ZB 2003: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Waldén / Bowen ZB 2003: Formal Specification and Development in Z and B

    Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40253-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