Ergebnisse filtern
Fachgebiet
Medium
  • 10469
Erscheinungsjahr
  • 82
  • 812
  • 843
  • 619
  • 483
  • 299
  • 287
  • 327
  • 323
  • 299
  • 304
  • 300
  • 290
  • 283
  • 298
  • 292
  • 261
  • 256
  • 226
  • 264
  • 250
  • 224
  • 363
  • 302
  • 253
  • 255
  • 178
  • 175
  • 126
  • 141
  • 141
  • 122
  • 107
  • 95
  • 72
  • 85
  • 60
  • 57
  • 44
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 9
  • 4
  • 10
  • 4
  • 6
  • 7
  • 4
  • 4
  • 5
  • 5
  • 7
  • 4
  • 12
  • 6
  • 4
  • 4
  • 8
  • 17
  • 6
  • 19
  • 4
  • 8
  • 4
  • 9
  • 5
  • 9
  • 8
  • 4
  • 5
  • 4
  • 9
  • 14
  • 4
  • 23
  • 36
  • 7
  • 4
  • 39
  • 7
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 8
  • 12
  • 5
  • 4
  • 15
  • 4
  • 5
  • 11
  • 4
  • 6
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 10
  • 7
  • 4
  • 7
  • 6
  • 5
  • 4
  • 4
  • 13
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 6
  • 5
  • 4
  • 6
  • 5
  • 7
  • 4
  • 5
  • 9
  • 7
  • 6
  • 11
  • 8
  • 4
  • 8
  • 5
  • 5
  • 22
  • 5
  • 6
  • 6
  • 4
  • 15
  • 5
  • 8
  • 5
  • 4
  • 6
  • 4
  • 10
  • 8
  • 4
  • 6
  • 4
  • 18
  • 4
  • 9
  • 6
  • 5
  • 8
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 19
  • 18
  • 6
  • 5
  • 9
  • 4
  • 9
  • 7
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 7
  • 4
  • 9
  • 5
  • 4
  • 6
  • 5
  • 4
  • 7
  • 14
  • 6
  • 4
  • 12
  • 8
  • 4
  • 13
  • 9
  • 16
  • 7
  • 4
  • 4
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 5
  • 4
  • 39
  • 16
  • 9
  • 7
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 9
  • 5
  • 4
  • 16
  • 4
  • 7
  • 8
  • 4
  • 11
  • 6
  • 6
  • 14
  • 5
  • 8
  • 4
  • 24
  • 5
  • 16
  • 4
  • 4
  • 13
  • 7
  • 5
  • 5
  • 6
  • 6
  • 7
  • 4
  • 4
  • 6
  • 6
  • 34
  • 5
  • 41
  • 11
  • 8
  • 14
  • 17
  • 7
  • 8
  • 5
  • 21
  • 4
  • 7
  • 38
  • 4
  • 9
  • 14
  • 9
  • 4
  • 4
  • 12
  • 4
  • 4
  • 5
  • 12
  • 9
  • 7
  • 4
  • 5
  • 39
  • 5
  • 4
  • 10
  • 6
  • 8
  • 4
  • 4
  • 6
  • 4
  • 6
  • 9
  • 7
  • 7
  • 6
  • 5
  • 4
  • 12
  • 8
  • 4
  • 12
  • 5
  • 5
  • 9
  • 4
  • 4
  • 5
  • 7
  • 4
  • 15
  • 22
  • 4
  • 12
  • 5
  • 8
  • 7
  • 7
  • 5
  • 5
  • 10
  • 11
  • 4
  • 24
  • 6
  • 8
  • 8
  • 4
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 8
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 15
  • 10
  • 6
  • 9
  • 7
  • 4
  • 4
  • 5
  • 39
  • 41
  • 5
  • 23
  • 6
  • 12
  • 4
  • 13
  • 4
  • 4
  • 25
  • 13
  • 4
  • 4
  • 4
  • 6
  • 20
  • 5
  • 4
  • 4
  • 12
  • 5
  • 4
  • 7
  • 4
  • 7
  • 4
  • 27
  • 15
  • 43
  • 7
  • 7
  • 4
  • 4
  • 15
  • 9
  • 6
  • 17
  • 4
  • 4
  • 15
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 5
  • 6
  • 8
  • 6
  • 4
  • 5
  • 4
  • 7
  • 17
  • 13
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 9
  • 6
  • 15
  • 56
  • 27
  • 7
  • 19
  • 9
  • 16
  • 20
  • 90
  • 11
  • 5
  • 18
  • 10
  • 7
  • 19
  • 13
  • 5
  • 11
  • 7
  • 5
  • 9
  • 16
  • 5
  • 8
  • 5
  • 5
  • 5
  • 6
  • 7
  • 12
  • 33
  • 11
  • 7
  • 5
  • 6
  • 22
  • 7
  • 5
  • 5
  • 19
  • 39
  • 5
  • 6
  • 10
  • 18
  • 9
  • 10
  • 5
  • 5
  • 13
  • 15
  • 6
  • 5
  • 6
  • 6
  • 6
  • 5
  • 69
  • 6
  • 6
  • 5
  • 8
  • 5
  • 15
  • 5
  • 12
  • 11
  • 22
  • 8
  • 12
  • 5
  • 5
  • 6
  • 15
  • 10
  • 10
  • 13
  • 11
  • 13
  • 6
  • 5
  • 6
  • 5
  • 16
  • 6
  • 7
  • 9
  • 6
  • 8
  • 12
  • 5
  • 8
  • 7
  • 6
  • 5
  • 27
  • 6
  • 8
  • 5
  • 8
  • 5
  • 23
  • 6
  • 18
  • 32
  • 8
  • 9
  • 15
  • 7
  • 6
  • 28
  • 9
  • 6
  • 6
  • 11
  • 5
  • 7
  • 13
  • 6
  • 8
  • 12
  • 7
  • 13
  • 31
  • 5
  • 10
  • 8
  • 5
  • 15
  • 6
  • 5
  • 12
  • 7
  • 27
  • 15
  • 31
  • 41
  • 6
  • 5
  • 6
  • 12
  • 12
  • 5
  • 7
  • 7
  • 7
  • 5
  • 9
  • 7
  • 13
  • 88
  • 13
  • 18
  • 8
  • 5
  • 13
  • 6
  • 5
  • 7
  • 14
  • 12
  • 6
  • 6
  • 15
  • 11
  • 16
  • 21
  • 5
  • 25
  • 10
  • 5
  • 63
  • 5
  • 21
  • 6
  • 11
  • 20
  • 5
  • 7
  • 7
  • 14
  • 13
  • 5
  • 6
  • 9
  • 22
  • 6
  • 11
  • 14
  • 13
  • 16
  • 8
  • 15
  • 8
  • 16
  • 7
  • 11
  • 10
  • 5
  • 7
  • 7
  • 22
  • 8
  • 6
  • 29
  • 24
  • 6
  • 7
  • 8
  • 10
  • 5
  • 18
  • 5
  • 6
  • 5
  • 5
  • 17
  • 8
  • 17
  • 10
  • 7
  • 8
  • 13
  • 6
  • 7
  • 36
  • 12
  • 10
  • 5
  • 6
  • 9
  • 5
  • 6
  • 19
  • 6
  • 9
  • 8
  • 6
  • 8
  • 5
  • 82
  • 10
  • 6
  • 7
  • 7
  • 9
  • 9
  • 8
  • 7
  • 9
  • 5
  • 10
  • 35
  • 9
  • 5
  • 13
  • 10
  • 5
  • 5
  • 11
  • 5
  • 6
  • 9
  • 5
  • 7
  • 8
  • 5
  • 5
  • 7
  • 5
  • 6
  • 9
  • 5
  • 5
  • 11
  • 5
  • 5
  • 5
  • 44
  • 9
  • 17
  • 7
  • 5
  • 5
  • 19
  • 10
  • 10
  • 7
  • 5
  • 13
  • 5
  • 14
  • 16
  • 15
  • 12
  • 5
  • 24
  • 6
  • 13
  • 5
  • 8
  • 10
  • 6
  • 19
  • 5
  • 10
  • 8
  • 13
  • 12
  • 5
  • 12
  • 5
  • 15
  • 5
  • 15
  • 5
  • 9
  • 8
  • 24
  • 10
  • 7
  • 5
  • 8
  • 10
  • 14
  • 15
  • 10
  • 6
  • 14
  • 5
  • 6
  • 10
  • 26
  • 14
  • 6
  • 8
  • 7
  • 17
  • 5
  • 7
  • 11
  • 5
  • 90
  • 7
  • 6
  • 7
  • 5
  • 6
  • 26
  • 10
  • 7
  • 6
  • 7
  • 18
  • 10
  • 8
  • 7
  • 9
  • 8
  • 19
  • 7
  • 92
  • 6
  • 53
  • 5
  • 9
  • 9
  • 89
  • 16
  • 14
  • 10
  • 10
  • 5
  • 9
  • 16
  • 13
  • 5
  • 5
  • 8
  • 5
  • 5
  • 9
  • 89
  • 5
  • 6
  • 9
  • 16
  • 6
  • 11
  • 5
  • 11
  • 18
  • 12
  • 11
  • 8
  • 5
  • 12
  • 5
  • 9
  • 7
  • 22
  • 10
  • 8
  • 6
  • 7
  • 8
  • 11
  • 23
  • 7
  • 7
  • 6
  • 5
  • 6
  • 14
  • 7
  • 8
  • 5
  • 14
  • 12
  • 45
  • 5
  • 6
  • 19
  • 12
  • 5
  • 12
  • 12
  • 13
  • 12
  • 6
  • 5
  • 12
  • 11
  • 7
  • 32
  • 9
  • 41
  • 14
  • 7
  • 15
  • 6
  • 10
  • 5
  • 21
  • 5
  • 9
  • 7
  • 15
  • 16
  • 19
  • 5
  • 6
  • 11
  • 22
  • 9
  • 15
  • 23
  • 55
  • 10
  • 13
  • 20
  • 8
  • 9
  • 5
  • 6
  • 10
  • 21
  • 19
  • 9
  • 5
  • 5
  • 9
  • 40
  • 24
  • 12
  • 8
  • 7
  • 7
  • 18
  • 8
  • 6
  • 12
  • 5
  • 11
  • 14
  • 10
  • 9
  • 14
  • 8
  • 8
  • 6
  • 13
  • 11
  • 89
  • 10
  • 13
  • 6
  • 16
  • 7
  • 5
  • 6
  • 15
  • 5
  • 6
  • 5
  • 5
  • 31
  • 5
  • 11
  • 6
  • 9
  • 5
  • 10
  • 5
  • 13
  • 14
  • 6
  • 7
  • 6
  • 21
  • 6
  • 5
  • 12
  • 5
  • 5
  • 20
  • 9
  • 6
  • 12
  • 7
  • 5
  • 5
  • 24
  • 5
  • 15
  • 10
  • 6
  • 9
  • 6
  • 5
  • 6
  • 11
  • 6
  • 9
  • 5
  • 16
  • 7
  • 7
  • 13
  • 6
  • 8
  • 6
  • 5
  • 5
  • 26
  • 10
  • 14
  • 20
  • 13
  • 5
  • 8
  • 6
  • 7
  • 16
  • 5
  • 6
  • 35
  • 8
  • 6
  • 5
  • 25
  • 7
  • 46
  • 13
  • 61
  • 5
  • 17
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 6
  • 6
  • 31
  • 7
  • 20
  • 19
  • 20
  • 7
  • 6
  • 6
  • 13
  • 7
  • 5
  • 12
  • 7
  • 5
  • 5
  • 17
Verlag
  • 8
  • 10404
  • 3
  • 10
  • 3
  • 2
  • 1
  • 38
Preis
  • 47
  • 377
  • 8004
  • 2041
Sprachen
  • 10463
  • 18
  • 13
  • 1
Verfügbarkeit
  • 10460
  • 9
Eigenschaften
  • 1
Katalog
  • 10469
  • 573
10.469  Treffer  für „Lecture Notes in Computer Science“
    Katila / Magnin / Clarysse | Functional Imaging and Modeling of the Heart | Buch | Sack Fachmedien

    Katila / Magnin / Clarysse Functional Imaging and Modeling of the Heart

    First International Workshop, FIMH 2001, Helsinki, Finland, November 15-16, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42861-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Codognet | Logic Programming | Buch | Sack Fachmedien

    Codognet Logic Programming

    17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42935-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Batory / Consel / Taha | Generative Programming and Component Engineering | Buch | Sack Fachmedien

    Batory / Consel / Taha Generative Programming and Component Engineering

    ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44284-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asano | Algorithms and Computation | Buch | Sack Fachmedien

    Asano Algorithms and Computation

    17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49694-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balet / Subsol / Torguet | Virtual Storytelling. Using Virtual Reality Technologies for Storytelling | Buch | Sack Fachmedien

    Balet / Subsol / Torguet Virtual Storytelling. Using Virtual Reality Technologies for Storytelling

    International Conference ICVS 2001 Avignon, France, September 27-28, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42611-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanaka / Iwata / Higuchi | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Tanaka / Iwata / Higuchi Evolvable Systems: From Biology to Hardware

    4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42671-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ursino | Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources | Buch | Sack Fachmedien

    Ursino Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources

    Semi-Automatic Approaches and Tools
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43347-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Association Rule Mining | Buch | Sack Fachmedien

    Zhang Association Rule Mining

    Models and Algorithms
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43533-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cook / Schulz | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Cook / Schulz Integer Programming and Combinatorial Optimization

    9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43676-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Priss / Corbett / Angelova | Conceptual Structures: Integration and Interfaces | Buch | Sack Fachmedien

    Priss / Corbett / Angelova Conceptual Structures: Integration and Interfaces

    10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43901-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Samarati | Information Security Practice and Experience | Buch | Sack Fachmedien

    Liu / Samarati Information Security Practice and Experience

    13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-72358-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chin / Chen / Khan | Big Data - BigData 2018 | Buch | Sack Fachmedien

    Chin / Chen / Khan Big Data - BigData 2018

    7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94300-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Businger | PORTAL Language Description | Buch | Sack Fachmedien

    Businger PORTAL Language Description

    2. extended Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18960-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kündig / Bührer / Dähler | Embedded Systems | Buch | Sack Fachmedien

    Kündig / Bührer / Dähler Embedded Systems

    New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18581-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernández Rivera / Bubak / Gómez Tato | Grid Computing | Buch | Sack Fachmedien

    Fernández Rivera / Bubak / Gómez Tato Grid Computing

    First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21048-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guelfi / Astesiano / Reggio | Scientific Engineering of Distributed Java Applications. | Buch | Sack Fachmedien

    Guelfi / Astesiano / Reggio Scientific Engineering of Distributed Java Applications.

    Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21091-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giunchiglia / Tacchella | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Giunchiglia / Tacchella Theory and Applications of Satisfiability Testing

    6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20851-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sycara / Mylopoulos | The Semantic Web - ISWC 2003 | Buch | Sack Fachmedien

    Sycara / Mylopoulos The Semantic Web - ISWC 2003

    Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20362-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krall | Software and Compilers for Embedded Systems | Buch | Sack Fachmedien

    Krall Software and Compilers for Embedded Systems

    7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20145-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Büschkes / Laskov | Detection of Intrusions and Malware, and Vulnerability Assessment | Buch | Sack Fachmedien

    Büschkes / Laskov Detection of Intrusions and Malware, and Vulnerability Assessment

    Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36014-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogt | Concurrency 88 | Buch | Sack Fachmedien

    Vogt Concurrency 88

    International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50403-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zwiers | Compositionality, Concurrency, and Partial Correctness | Buch | Sack Fachmedien

    Zwiers Compositionality, Concurrency, and Partial Correctness

    Proof Theories for Networks of Processes, and Their Relationship
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50845-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Törn / Zilinskas | Global Optimization | Buch | Sack Fachmedien

    Törn / Zilinskas Global Optimization

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50871-7
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Dershowitz Rewriting Techniques and Applications

    3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51081-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    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