Ergebnisse filtern
Fachgebiet
Medium
  • 10721
  • 2647
Erscheinungsjahr
  • 327
  • 1016
  • 1054
  • 803
  • 631
  • 398
  • 405
  • 438
  • 416
  • 424
  • 420
  • 440
  • 396
  • 439
  • 442
  • 398
  • 364
  • 271
  • 242
  • 278
  • 291
  • 223
  • 447
  • 590
  • 261
  • 252
  • 179
  • 174
  • 135
  • 136
  • 137
  • 121
  • 112
  • 99
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 6
  • 8
  • 7
  • 13
  • 11
  • 8
  • 11
  • 12
  • 11
  • 20
  • 8
  • 23
  • 7
  • 10
  • 6
  • 8
  • 10
  • 11
  • 6
  • 13
  • 31
  • 52
  • 7
  • 48
  • 7
  • 7
  • 6
  • 6
  • 19
  • 17
  • 12
  • 6
  • 46
  • 6
  • 6
  • 7
  • 10
  • 6
  • 18
  • 7
  • 6
  • 8
  • 8
  • 6
  • 9
  • 9
  • 7
  • 6
  • 7
  • 10
  • 10
  • 6
  • 20
  • 7
  • 6
  • 9
  • 21
  • 12
  • 8
  • 8
  • 19
  • 12
  • 11
  • 7
  • 57
  • 19
  • 13
  • 7
  • 9
  • 11
  • 10
  • 7
  • 8
  • 6
  • 7
  • 10
  • 9
  • 8
  • 15
  • 15
  • 18
  • 12
  • 16
  • 7
  • 8
  • 6
  • 46
  • 15
  • 9
  • 7
  • 7
  • 10
  • 19
  • 7
  • 11
  • 12
  • 13
  • 7
  • 7
  • 18
  • 11
  • 9
  • 25
  • 6
  • 17
  • 6
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 7
  • 8
  • 49
  • 14
  • 61
  • 7
  • 13
  • 9
  • 20
  • 20
  • 11
  • 7
  • 25
  • 9
  • 49
  • 11
  • 15
  • 13
  • 9
  • 11
  • 8
  • 17
  • 6
  • 9
  • 15
  • 10
  • 11
  • 46
  • 9
  • 12
  • 11
  • 18
  • 8
  • 10
  • 7
  • 16
  • 10
  • 7
  • 8
  • 7
  • 6
  • 8
  • 23
  • 12
  • 7
  • 20
  • 11
  • 7
  • 10
  • 6
  • 8
  • 22
  • 22
  • 8
  • 9
  • 6
  • 6
  • 9
  • 9
  • 16
  • 25
  • 9
  • 9
  • 7
  • 6
  • 11
  • 7
  • 7
  • 7
  • 7
  • 11
  • 6
  • 11
  • 20
  • 13
  • 7
  • 11
  • 11
  • 10
  • 51
  • 47
  • 8
  • 30
  • 6
  • 11
  • 21
  • 11
  • 26
  • 17
  • 7
  • 7
  • 8
  • 12
  • 8
  • 20
  • 7
  • 6
  • 7
  • 7
  • 11
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 9
  • 19
  • 11
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 8
  • 7
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 6
  • 6
  • 13
  • 9
  • 12
  • 16
  • 17
  • 68
  • 45
  • 11
  • 9
  • 27
  • 13
  • 22
  • 34
  • 109
  • 7
  • 14
  • 10
  • 6
  • 8
  • 6
  • 22
  • 8
  • 9
  • 23
  • 16
  • 7
  • 8
  • 7
  • 6
  • 10
  • 21
  • 9
  • 15
  • 9
  • 8
  • 8
  • 6
  • 8
  • 15
  • 7
  • 53
  • 6
  • 12
  • 6
  • 10
  • 7
  • 7
  • 16
  • 27
  • 8
  • 11
  • 7
  • 25
  • 46
  • 11
  • 7
  • 6
  • 14
  • 19
  • 15
  • 8
  • 7
  • 9
  • 6
  • 9
  • 6
  • 11
  • 19
  • 10
  • 6
  • 6
  • 10
  • 7
  • 84
  • 6
  • 14
  • 14
  • 8
  • 10
  • 7
  • 8
  • 8
  • 19
  • 6
  • 12
  • 12
  • 11
  • 24
  • 7
  • 8
  • 15
  • 10
  • 6
  • 14
  • 6
  • 7
  • 21
  • 17
  • 7
  • 6
  • 6
  • 8
  • 13
  • 6
  • 9
  • 6
  • 17
  • 9
  • 7
  • 6
  • 13
  • 6
  • 18
  • 7
  • 6
  • 8
  • 7
  • 11
  • 6
  • 13
  • 12
  • 16
  • 6
  • 6
  • 8
  • 6
  • 9
  • 10
  • 10
  • 7
  • 7
  • 8
  • 37
  • 6
  • 10
  • 11
  • 6
  • 9
  • 6
  • 31
  • 8
  • 9
  • 6
  • 20
  • 44
  • 7
  • 6
  • 6
  • 11
  • 14
  • 19
  • 6
  • 35
  • 6
  • 14
  • 9
  • 6
  • 7
  • 18
  • 6
  • 18
  • 6
  • 6
  • 27
  • 41
  • 22
  • 14
  • 8
  • 28
  • 7
  • 6
  • 14
  • 9
  • 7
  • 34
  • 6
  • 6
  • 15
  • 37
  • 47
  • 6
  • 8
  • 9
  • 8
  • 9
  • 9
  • 19
  • 11
  • 6
  • 17
  • 6
  • 10
  • 6
  • 8
  • 8
  • 6
  • 7
  • 9
  • 6
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 18
  • 8
  • 6
  • 23
  • 7
  • 6
  • 7
  • 8
  • 19
  • 8
  • 10
  • 7
  • 13
  • 18
  • 6
  • 19
  • 7
  • 9
  • 7
  • 7
  • 7
  • 7
  • 11
  • 15
  • 7
  • 21
  • 7
  • 22
  • 6
  • 29
  • 9
  • 11
  • 7
  • 7
  • 83
  • 8
  • 6
  • 22
  • 7
  • 9
  • 6
  • 6
  • 15
  • 28
  • 10
  • 15
  • 6
  • 12
  • 6
  • 12
  • 7
  • 10
  • 6
  • 22
  • 9
  • 6
  • 9
  • 28
  • 10
  • 7
  • 6
  • 12
  • 15
  • 17
  • 6
  • 19
  • 22
  • 20
  • 13
  • 24
  • 7
  • 8
  • 12
  • 9
  • 6
  • 12
  • 9
  • 10
  • 34
  • 8
  • 9
  • 7
  • 44
  • 34
  • 6
  • 8
  • 6
  • 9
  • 10
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 8
  • 10
  • 12
  • 8
  • 9
  • 12
  • 7
  • 27
  • 8
  • 8
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 16
  • 6
  • 6
  • 10
  • 7
  • 42
  • 7
  • 13
  • 13
  • 6
  • 6
  • 6
  • 8
  • 6
  • 20
  • 6
  • 8
  • 7
  • 15
  • 6
  • 7
  • 10
  • 7
  • 7
  • 9
  • 9
  • 101
  • 14
  • 8
  • 8
  • 10
  • 7
  • 9
  • 20
  • 8
  • 10
  • 6
  • 7
  • 10
  • 14
  • 58
  • 16
  • 6
  • 21
  • 6
  • 7
  • 16
  • 9
  • 13
  • 7
  • 6
  • 6
  • 8
  • 12
  • 6
  • 8
  • 7
  • 9
  • 9
  • 11
  • 8
  • 7
  • 8
  • 10
  • 8
  • 13
  • 61
  • 8
  • 8
  • 21
  • 6
  • 9
  • 6
  • 20
  • 15
  • 7
  • 7
  • 6
  • 6
  • 13
  • 7
  • 17
  • 16
  • 19
  • 9
  • 18
  • 9
  • 7
  • 11
  • 34
  • 12
  • 11
  • 10
  • 17
  • 8
  • 6
  • 7
  • 24
  • 6
  • 13
  • 17
  • 17
  • 6
  • 6
  • 13
  • 11
  • 6
  • 18
  • 8
  • 18
  • 8
  • 9
  • 21
  • 9
  • 25
  • 9
  • 10
  • 6
  • 12
  • 6
  • 17
  • 7
  • 6
  • 13
  • 17
  • 10
  • 10
  • 7
  • 6
  • 7
  • 7
  • 20
  • 6
  • 9
  • 10
  • 7
  • 8
  • 8
  • 14
  • 31
  • 7
  • 17
  • 8
  • 7
  • 11
  • 23
  • 8
  • 10
  • 10
  • 11
  • 6
  • 122
  • 7
  • 9
  • 10
  • 7
  • 30
  • 14
  • 9
  • 8
  • 23
  • 11
  • 9
  • 11
  • 14
  • 10
  • 28
  • 8
  • 123
  • 6
  • 57
  • 14
  • 13
  • 12
  • 120
  • 30
  • 15
  • 8
  • 13
  • 8
  • 13
  • 6
  • 15
  • 16
  • 14
  • 12
  • 7
  • 7
  • 6
  • 6
  • 10
  • 11
  • 12
  • 13
  • 120
  • 10
  • 15
  • 28
  • 12
  • 18
  • 11
  • 6
  • 12
  • 6
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 9
  • 7
  • 7
  • 14
  • 6
  • 6
  • 6
  • 7
  • 12
  • 17
  • 6
  • 34
  • 9
  • 6
  • 7
  • 6
  • 7
  • 7
  • 15
  • 11
  • 8
  • 11
  • 11
  • 18
  • 8
  • 20
  • 40
  • 16
  • 9
  • 11
  • 10
  • 25
  • 10
  • 12
  • 10
  • 16
  • 12
  • 8
  • 12
  • 11
  • 8
  • 50
  • 9
  • 42
  • 7
  • 15
  • 10
  • 13
  • 9
  • 13
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 10
  • 12
  • 12
  • 22
  • 8
  • 23
  • 34
  • 6
  • 9
  • 15
  • 29
  • 14
  • 18
  • 33
  • 70
  • 13
  • 21
  • 21
  • 10
  • 15
  • 8
  • 8
  • 20
  • 22
  • 20
  • 6
  • 12
  • 9
  • 12
  • 72
  • 25
  • 15
  • 12
  • 9
  • 17
  • 19
  • 9
  • 10
  • 17
  • 8
  • 17
  • 14
  • 8
  • 6
  • 16
  • 17
  • 10
  • 12
  • 16
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 19
  • 8
  • 6
  • 7
  • 6
  • 6
  • 8
  • 6
  • 15
  • 11
  • 6
  • 12
  • 43
  • 7
  • 12
  • 9
  • 7
  • 18
  • 9
  • 17
  • 25
  • 12
  • 14
  • 27
  • 9
  • 8
  • 7
  • 6
  • 20
  • 8
  • 20
  • 8
  • 13
  • 8
  • 8
  • 11
  • 9
  • 8
  • 11
  • 10
  • 8
  • 7
  • 33
  • 8
  • 17
  • 8
  • 13
  • 7
  • 7
  • 9
  • 8
  • 9
  • 7
  • 10
  • 7
  • 14
  • 13
  • 11
  • 7
  • 21
  • 17
  • 6
  • 7
  • 6
  • 7
  • 17
  • 11
  • 30
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 30
  • 8
  • 12
  • 6
  • 7
  • 14
  • 9
  • 6
  • 9
  • 21
  • 7
  • 9
  • 7
  • 8
  • 63
  • 16
  • 7
  • 10
  • 28
  • 7
  • 7
  • 7
  • 58
  • 20
  • 81
  • 8
  • 23
  • 8
  • 13
  • 8
  • 7
  • 9
  • 39
  • 9
  • 7
  • 23
  • 22
  • 21
  • 11
  • 10
  • 15
  • 15
  • 29
Verlag
  • 3
  • 11568
  • 36
  • 1565
  • 1
  • 14
  • 6
  • 3
  • 130
  • 1
  • 1
  • 40
Preis
  • 47
  • 489
  • 10553
  • 2279
Sprachen
  • 13360
  • 19
  • 15
Verfügbarkeit
  • 13359
  • 9
Eigenschaften
  • 23
Katalog
  • 13368
  • 550
13.368  Treffer  für „Lecture Notes in Computer Science“
    Ungerer / Hochberger / Spallek | Architecture of Computing Systems - ARCS 2008 | Buch | Sack Fachmedien

    Ungerer / Hochberger / Spallek Architecture of Computing Systems - ARCS 2008

    21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78152-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buchberger / Campbell | Artificial Intelligence and Symbolic Computation | Buch | Sack Fachmedien

    Buchberger / Campbell Artificial Intelligence and Symbolic Computation

    7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23212-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lester / Vicari / Paraguacu | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Lester / Vicari / Paraguacu Intelligent Tutoring Systems

    7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22948-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Schloer / Ungerer / Bauer | Organic and Pervasive Computing -- ARCS 2004 | Buch | Sack Fachmedien

    Müller-Schloer / Ungerer / Bauer Organic and Pervasive Computing -- ARCS 2004

    International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21238-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Pan / Xiao | Grid and Cooperative Computing - GCC 2004 | Buch | Sack Fachmedien

    Jin / Pan / Xiao Grid and Cooperative Computing - GCC 2004

    Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23564-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Wang | Design, User Experience, and Usability: Understanding Users and Contexts | Buch | Sack Fachmedien

    Marcus / Wang Design, User Experience, and Usability: Understanding Users and Contexts

    6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58639-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brezany | Input/Output Intensive Massively Parallel Computing | Buch | Sack Fachmedien

    Brezany Input/Output Intensive Massively Parallel Computing

    Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62840-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moedersheim / Palamidessi | Theory of Security and Applications | eBook | Sack Fachmedien
    E-Book

    Moedersheim / Palamidessi Theory of Security and Applications

    Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-27375-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gelbukh | Computational Linguistics and Intelligent Text Processing | eBook | Sack Fachmedien
    E-Book

    Gelbukh Computational Linguistics and Intelligent Text Processing

    13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-28601-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bimbo | Image Analysis and Processing | Buch | Sack Fachmedien

    Bimbo Image Analysis and Processing

    9th International Conference, ICIAP'97, Florence, Italy, September 17-19, 1997, Proceedings, Volume 1
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63507-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banzhaf / Eckman | Evolution and Biocomputation | Buch | Sack Fachmedien

    Banzhaf / Eckman Evolution and Biocomputation

    Computational Models of Evolution
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59046-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cristea / Troussas | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Cristea / Troussas Intelligent Tutoring Systems

    17th International Conference, ITS 2021, Virtual Event, June 7-11, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-80420-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zaphiris / Ioannou | Learning and Collaboration Technologies | Buch | Sack Fachmedien

    Zaphiris / Ioannou Learning and Collaboration Technologies

    Second International Conference, LCT 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-20608-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baloian / Burstein / Ogata | Collaboration and Technology | Buch | Sack Fachmedien

    Baloian / Burstein / Ogata Collaboration and Technology

    20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10165-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rutkowski / Scherer / Korytkowski | Artificial Intelligence and Soft Computing | Buch | Sack Fachmedien

    Rutkowski / Scherer / Korytkowski Artificial Intelligence and Soft Computing

    21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-23491-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Machado / Romero / Carballal | Evolutionary and Biologically Inspired Music, Sound, Art and Design | Buch | Sack Fachmedien

    Machado / Romero / Carballal Evolutionary and Biologically Inspired Music, Sound, Art and Design

    First International Conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29141-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharp | Higher-Level Hardware Synthesis | eBook | Sack Fachmedien
    E-Book

    Sharp Higher-Level Hardware Synthesis

    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-24657-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sharp | Higher-Level Hardware Synthesis | Buch | Sack Fachmedien

    Sharp Higher-Level Hardware Synthesis

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21306-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Luo / McKinna | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vigna | Mobile Agents and Security | eBook | Sack Fachmedien
    E-Book

    Vigna Mobile Agents and Security

    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-68671-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chwa / Ibarra | Algorithms and Computation | Buch | Sack Fachmedien

    Chwa / Ibarra Algorithms and Computation

    9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65385-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Remke / Stoelinga | Stochastic Model Checking | eBook | Sack Fachmedien
    E-Book

    Remke / Stoelinga Stochastic Model Checking

    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45489-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    de Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36749-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Dybjer / Pinto | Applied Semantics | Buch | Sack Fachmedien

    Barthe / Dybjer / Pinto Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44044-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boer / Bonsangue / Graf | Formal Methods for Components and Objects | eBook | Sack Fachmedien
    E-Book

    Boer / Bonsangue / Graf Formal Methods for Components and Objects

    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-39656-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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