Ergebnisse filtern
Fachgebiet
Medium
  • 10471
Erscheinungsjahr
  • 129
  • 809
  • 840
  • 622
  • 477
  • 276
  • 305
  • 337
  • 318
  • 278
  • 308
  • 308
  • 302
  • 291
  • 279
  • 299
  • 269
  • 261
  • 214
  • 266
  • 262
  • 213
  • 355
  • 299
  • 252
  • 252
  • 179
  • 176
  • 126
  • 141
  • 134
  • 117
  • 103
  • 98
  • 73
  • 83
  • 61
  • 57
  • 44
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 17
  • 12
  • 7
  • 12
  • 9
  • 12
  • 12
  • 4
Autoren
  • 5
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 5
  • 4
  • 9
  • 8
  • 10
  • 7
  • 8
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 11
  • 7
  • 5
  • 6
  • 17
  • 6
  • 16
  • 4
  • 8
  • 5
  • 6
  • 5
  • 7
  • 5
  • 9
  • 8
  • 4
  • 5
  • 5
  • 5
  • 6
  • 4
  • 14
  • 4
  • 33
  • 36
  • 5
  • 37
  • 6
  • 5
  • 4
  • 5
  • 5
  • 4
  • 5
  • 7
  • 12
  • 4
  • 4
  • 15
  • 4
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 38
  • 9
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 7
  • 5
  • 5
  • 4
  • 6
  • 4
  • 10
  • 5
  • 4
  • 5
  • 7
  • 5
  • 6
  • 6
  • 6
  • 6
  • 8
  • 7
  • 5
  • 7
  • 4
  • 7
  • 6
  • 8
  • 7
  • 11
  • 4
  • 4
  • 4
  • 6
  • 4
  • 16
  • 6
  • 4
  • 6
  • 4
  • 4
  • 14
  • 4
  • 11
  • 5
  • 4
  • 7
  • 6
  • 4
  • 8
  • 4
  • 4
  • 8
  • 22
  • 4
  • 5
  • 4
  • 12
  • 5
  • 4
  • 9
  • 5
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 4
  • 21
  • 16
  • 6
  • 6
  • 4
  • 8
  • 4
  • 6
  • 8
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 6
  • 4
  • 7
  • 4
  • 4
  • 11
  • 4
  • 4
  • 6
  • 4
  • 5
  • 6
  • 4
  • 8
  • 9
  • 5
  • 4
  • 11
  • 8
  • 4
  • 15
  • 11
  • 16
  • 8
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 5
  • 8
  • 4
  • 4
  • 38
  • 19
  • 9
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 8
  • 9
  • 4
  • 16
  • 5
  • 8
  • 12
  • 5
  • 13
  • 5
  • 5
  • 12
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 24
  • 6
  • 10
  • 4
  • 7
  • 5
  • 4
  • 8
  • 5
  • 4
  • 10
  • 5
  • 5
  • 7
  • 4
  • 4
  • 7
  • 34
  • 12
  • 41
  • 11
  • 8
  • 18
  • 4
  • 16
  • 12
  • 21
  • 8
  • 35
  • 4
  • 8
  • 14
  • 10
  • 4
  • 5
  • 12
  • 4
  • 4
  • 6
  • 14
  • 9
  • 7
  • 38
  • 5
  • 10
  • 9
  • 4
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 7
  • 7
  • 6
  • 7
  • 7
  • 4
  • 4
  • 16
  • 9
  • 6
  • 11
  • 4
  • 4
  • 7
  • 4
  • 5
  • 15
  • 19
  • 8
  • 12
  • 5
  • 7
  • 4
  • 6
  • 6
  • 12
  • 11
  • 24
  • 6
  • 4
  • 6
  • 7
  • 6
  • 4
  • 5
  • 7
  • 4
  • 10
  • 9
  • 4
  • 4
  • 7
  • 6
  • 4
  • 7
  • 15
  • 10
  • 4
  • 8
  • 10
  • 4
  • 5
  • 48
  • 40
  • 8
  • 22
  • 7
  • 9
  • 5
  • 13
  • 5
  • 4
  • 28
  • 10
  • 6
  • 5
  • 5
  • 9
  • 18
  • 6
  • 6
  • 4
  • 9
  • 5
  • 4
  • 27
  • 4
  • 12
  • 43
  • 6
  • 7
  • 5
  • 4
  • 14
  • 6
  • 4
  • 5
  • 8
  • 8
  • 9
  • 7
  • 4
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 7
  • 16
  • 19
  • 5
  • 4
  • 5
  • 4
  • 5
  • 7
  • 4
  • 4
  • 11
  • 5
  • 8
  • 6
  • 4
  • 5
  • 14
  • 5
  • 19
  • 55
  • 29
  • 16
  • 5
  • 17
  • 20
  • 90
  • 6
  • 11
  • 5
  • 6
  • 17
  • 7
  • 18
  • 13
  • 5
  • 6
  • 10
  • 6
  • 7
  • 15
  • 11
  • 5
  • 5
  • 6
  • 6
  • 5
  • 13
  • 7
  • 36
  • 6
  • 5
  • 9
  • 6
  • 6
  • 5
  • 7
  • 7
  • 14
  • 5
  • 6
  • 19
  • 38
  • 5
  • 7
  • 17
  • 5
  • 11
  • 8
  • 5
  • 5
  • 8
  • 19
  • 15
  • 8
  • 6
  • 5
  • 9
  • 75
  • 5
  • 5
  • 14
  • 6
  • 15
  • 13
  • 5
  • 5
  • 18
  • 8
  • 13
  • 5
  • 6
  • 6
  • 12
  • 6
  • 17
  • 14
  • 10
  • 7
  • 13
  • 10
  • 13
  • 7
  • 8
  • 5
  • 5
  • 14
  • 5
  • 5
  • 10
  • 6
  • 6
  • 8
  • 8
  • 10
  • 10
  • 5
  • 8
  • 7
  • 9
  • 28
  • 8
  • 6
  • 8
  • 6
  • 21
  • 10
  • 33
  • 8
  • 15
  • 6
  • 34
  • 6
  • 7
  • 8
  • 5
  • 16
  • 6
  • 15
  • 7
  • 14
  • 30
  • 6
  • 13
  • 5
  • 5
  • 18
  • 5
  • 5
  • 15
  • 27
  • 16
  • 27
  • 41
  • 7
  • 5
  • 9
  • 14
  • 5
  • 12
  • 6
  • 5
  • 8
  • 6
  • 5
  • 5
  • 10
  • 9
  • 6
  • 12
  • 89
  • 13
  • 18
  • 5
  • 16
  • 6
  • 5
  • 5
  • 11
  • 12
  • 5
  • 8
  • 7
  • 5
  • 8
  • 17
  • 11
  • 18
  • 19
  • 9
  • 5
  • 24
  • 8
  • 5
  • 59
  • 9
  • 18
  • 5
  • 13
  • 20
  • 5
  • 10
  • 11
  • 5
  • 5
  • 7
  • 11
  • 6
  • 6
  • 7
  • 24
  • 6
  • 5
  • 5
  • 13
  • 12
  • 6
  • 13
  • 15
  • 11
  • 13
  • 7
  • 17
  • 7
  • 11
  • 11
  • 5
  • 8
  • 26
  • 7
  • 32
  • 26
  • 7
  • 7
  • 6
  • 8
  • 8
  • 5
  • 16
  • 6
  • 7
  • 8
  • 5
  • 5
  • 11
  • 9
  • 17
  • 7
  • 5
  • 7
  • 8
  • 13
  • 7
  • 6
  • 29
  • 10
  • 7
  • 8
  • 6
  • 5
  • 8
  • 5
  • 5
  • 7
  • 20
  • 9
  • 5
  • 5
  • 7
  • 9
  • 5
  • 80
  • 8
  • 7
  • 7
  • 5
  • 5
  • 8
  • 9
  • 7
  • 8
  • 11
  • 47
  • 8
  • 5
  • 14
  • 8
  • 5
  • 10
  • 5
  • 12
  • 5
  • 7
  • 8
  • 5
  • 5
  • 8
  • 6
  • 6
  • 9
  • 5
  • 6
  • 8
  • 5
  • 43
  • 7
  • 15
  • 6
  • 6
  • 18
  • 16
  • 6
  • 9
  • 13
  • 10
  • 14
  • 15
  • 15
  • 6
  • 6
  • 10
  • 24
  • 11
  • 10
  • 8
  • 6
  • 20
  • 15
  • 17
  • 7
  • 9
  • 7
  • 6
  • 8
  • 6
  • 14
  • 5
  • 14
  • 11
  • 5
  • 7
  • 24
  • 6
  • 5
  • 7
  • 6
  • 13
  • 14
  • 10
  • 5
  • 9
  • 6
  • 10
  • 6
  • 8
  • 6
  • 8
  • 18
  • 28
  • 16
  • 5
  • 6
  • 7
  • 16
  • 6
  • 5
  • 11
  • 6
  • 90
  • 7
  • 5
  • 6
  • 24
  • 7
  • 9
  • 18
  • 10
  • 8
  • 6
  • 11
  • 6
  • 21
  • 92
  • 6
  • 48
  • 11
  • 9
  • 89
  • 17
  • 5
  • 5
  • 14
  • 11
  • 11
  • 8
  • 5
  • 9
  • 13
  • 14
  • 6
  • 6
  • 6
  • 5
  • 8
  • 10
  • 90
  • 5
  • 5
  • 6
  • 12
  • 16
  • 7
  • 12
  • 11
  • 10
  • 14
  • 11
  • 8
  • 6
  • 5
  • 11
  • 5
  • 6
  • 7
  • 22
  • 10
  • 8
  • 6
  • 5
  • 12
  • 5
  • 5
  • 22
  • 5
  • 6
  • 6
  • 7
  • 7
  • 6
  • 14
  • 5
  • 8
  • 16
  • 10
  • 45
  • 5
  • 8
  • 6
  • 17
  • 5
  • 5
  • 11
  • 5
  • 11
  • 10
  • 5
  • 5
  • 9
  • 10
  • 34
  • 8
  • 50
  • 13
  • 15
  • 6
  • 9
  • 10
  • 6
  • 22
  • 10
  • 7
  • 15
  • 15
  • 19
  • 5
  • 5
  • 5
  • 12
  • 16
  • 8
  • 11
  • 21
  • 56
  • 10
  • 10
  • 20
  • 8
  • 9
  • 8
  • 10
  • 19
  • 20
  • 12
  • 6
  • 5
  • 9
  • 52
  • 24
  • 12
  • 8
  • 5
  • 17
  • 8
  • 12
  • 14
  • 14
  • 5
  • 11
  • 5
  • 14
  • 12
  • 7
  • 12
  • 15
  • 5
  • 89
  • 10
  • 20
  • 15
  • 5
  • 5
  • 5
  • 5
  • 14
  • 6
  • 5
  • 30
  • 5
  • 11
  • 9
  • 9
  • 13
  • 13
  • 6
  • 21
  • 6
  • 5
  • 14
  • 6
  • 5
  • 21
  • 14
  • 5
  • 9
  • 8
  • 7
  • 5
  • 9
  • 5
  • 7
  • 20
  • 6
  • 12
  • 10
  • 9
  • 6
  • 6
  • 5
  • 7
  • 11
  • 9
  • 7
  • 5
  • 18
  • 5
  • 6
  • 5
  • 19
  • 5
  • 5
  • 7
  • 5
  • 25
  • 11
  • 6
  • 14
  • 5
  • 7
  • 19
  • 10
  • 5
  • 8
  • 18
  • 7
  • 6
  • 43
  • 7
  • 6
  • 5
  • 23
  • 7
  • 45
  • 13
  • 58
  • 15
  • 6
  • 8
  • 5
  • 5
  • 5
  • 6
  • 32
  • 7
  • 7
  • 22
  • 15
  • 17
  • 5
  • 7
  • 5
  • 7
  • 14
  • 12
  • 6
  • 5
  • 6
  • 15
Verlag
  • 2
  • 10426
  • 3
  • 3
  • 2
  • 1
  • 1
  • 33
Preis
  • 42
  • 360
  • 8074
  • 1995
Sprachen
  • 10466
  • 17
  • 13
Verfügbarkeit
  • 10460
  • 11
Katalog
  • 10471
  • 560
10.471  Treffer  für „Lecture Notes in Computer Science“
    Jajodia / Cybenko / Liu | Adversarial and Uncertain Reasoning for Adaptive Cyber Defense | Buch | Sack Fachmedien

    Jajodia / Cybenko / Liu Adversarial and Uncertain Reasoning for Adaptive Cyber Defense

    Control- and Game-Theoretic Approaches to Cyber Security
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30718-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazurkiewicz / Winkowski | CONCUR'97: Concurrency Theory | Buch | Sack Fachmedien

    Mazurkiewicz / Winkowski CONCUR'97: Concurrency Theory

    8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63141-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Micarelli / Stamper / Panourgia | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Micarelli / Stamper / Panourgia Intelligent Tutoring Systems

    13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39582-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yamanishi / Formico / Sugiura | Entertainment Computing - ICEC 2025 IFIP TC 14 Workshops | Buch | Sack Fachmedien

    Yamanishi / Formico / Sugiura Entertainment Computing - ICEC 2025 IFIP TC 14 Workshops

    Tokyo, Japan, August 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-02533-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agosti / Ferro / Peters | Multilingual and Multimodal Information Access Evaluation | Buch | Sack Fachmedien

    Agosti / Ferro / Peters Multilingual and Multimodal Information Access Evaluation

    International Conference of the Cross-Language Evaluation Forum, CLEF 2010, Padua, Italy, September 20-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15997-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph Job Scheduling Strategies for Parallel Processing

    IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60153-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corpas Pastor / Mitkov | Computational and Corpus-Based Phraseology | Buch | Sack Fachmedien

    Corpas Pastor / Mitkov Computational and Corpus-Based Phraseology

    4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15924-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Tahar | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Li / Tahar Formal Methods and Software Engineering

    24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-981-99-7583-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamurthi / Ramakrishnan | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Krishnamurthi / Ramakrishnan Practical Aspects of Declarative Languages

    4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43092-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campilho / Kamel | Image Analysis and Recognition | Buch | Sack Fachmedien

    Campilho / Kamel Image Analysis and Recognition

    7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010, Proceedings, Part II
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-13774-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nichols / Simpson | ESEC '87 | Buch | Sack Fachmedien

    Nichols / Simpson ESEC '87

    1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18712-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bird / Morgan / Woodcock | Mathematics of Program Construction | Buch | Sack Fachmedien

    Bird / Morgan / Woodcock Mathematics of Program Construction

    Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56625-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bottaci / Fraser | Testing: Academic and Industrial Conference - Practice and Research Techniques | Buch | Sack Fachmedien

    Bottaci / Fraser Testing: Academic and Industrial Conference - Practice and Research Techniques

    5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15584-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jagode / Anzt / Ltaief | High Performance Computing | Buch | Sack Fachmedien

    Jagode / Anzt / Ltaief High Performance Computing

    ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 - July 2, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-90538-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibrahim / Küng / Revell | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Ibrahim / Küng / Revell Database and Expert Systems Applications

    11th International Conference, DEXA 2000 London, UK, September 4-8, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67978-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahni / Prasanna / Shukla | High Performance Computing - HiPC 2002 | Buch | Sack Fachmedien

    Sahni / Prasanna / Shukla High Performance Computing - HiPC 2002

    9th International Conference Bangalore, India, December 18-21, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00303-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frutos-Escrig / Nunez | Formal Techniques for Networked and Distributed Systems - FORTE 2004 | Buch | Sack Fachmedien

    Frutos-Escrig / Nunez Formal Techniques for Networked and Distributed Systems - FORTE 2004

    24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23252-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perales / Draper | Articulated Motion and Deformable Objects | Buch | Sack Fachmedien

    Perales / Draper Articulated Motion and Deformable Objects

    Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22958-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Altenkirch / Naraschewski / Reus | Types for Proofs and Programs | Buch | Sack Fachmedien

    Altenkirch / Naraschewski / Reus Types for Proofs and Programs

    International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66537-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Graf / Larsen | Models, Mindsets, Meta: The What, the How, and the Why Not? | Buch | Sack Fachmedien

    Margaria / Graf / Larsen Models, Mindsets, Meta: The What, the How, and the Why Not?

    Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-22347-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wei / Margetis | Human-Centered Design, Operation and Evaluation of Mobile Communications | Buch | Sack Fachmedien

    Wei / Margetis Human-Centered Design, Operation and Evaluation of Mobile Communications

    5th International Conference, MOBILE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-60486-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kadry / Prasath | Mining Intelligence and Knowledge Exploration | Buch | Sack Fachmedien

    Kadry / Prasath Mining Intelligence and Knowledge Exploration

    9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-44083-0
    Medium: Buch
    85,59 € (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
    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
    Barahona / Bry / Franconi | Reasoning Web | Buch | Sack Fachmedien

    Barahona / Bry / Franconi Reasoning Web

    Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38409-0
    Medium: Buch
    48,15 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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