Ergebnisse filtern
Fachgebiet
Medium
  • 4146
Erscheinungsjahr
  • 25
  • 240
  • 183
  • 127
  • 47
  • 20
  • 39
  • 47
  • 67
  • 56
  • 61
  • 79
  • 66
  • 80
  • 83
  • 67
  • 150
  • 139
  • 145
  • 200
  • 192
  • 137
  • 212
  • 222
  • 183
  • 181
  • 120
  • 121
  • 85
  • 100
  • 95
  • 83
  • 68
  • 66
  • 50
  • 67
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 8
  • 3
  • 5
  • 2
  • 3
  • 5
  • 2
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 15
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 3
  • 4
  • 5
  • 4
  • 2
  • 6
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 11
  • 2
  • 4
  • 8
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 10
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 8
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 36
  • 27
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 4
  • 2
  • 9
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 12
  • 6
  • 22
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 6
  • 5
  • 11
  • 3
  • 3
  • 6
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 15
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 4
  • 3
  • 7
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 6
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 4
  • 3
  • 6
  • 7
  • 3
  • 6
  • 4
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 5
  • 6
  • 6
  • 5
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 12
  • 4
  • 4
  • 7
  • 3
  • 5
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 4
  • 4
  • 8
  • 6
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 5
  • 5
  • 5
  • 11
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 11
  • 3
  • 9
  • 4
  • 4
  • 3
  • 4
  • 11
  • 3
  • 5
  • 3
  • 4
  • 10
  • 21
  • 7
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 5
  • 5
  • 3
  • 6
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 5
  • 5
  • 17
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 7
  • 7
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 8
  • 4
  • 9
  • 18
  • 7
  • 6
  • 4
  • 3
  • 7
  • 4
  • 6
  • 3
  • 7
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 6
  • 6
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 11
  • 9
  • 7
  • 4
  • 4
  • 31
  • 4
  • 11
  • 3
  • 12
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 26
  • 4
  • 6
  • 9
  • 3
  • 5
  • 33
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 10
  • 6
  • 18
  • 8
  • 9
  • 4
  • 6
  • 3
  • 11
  • 4
  • 4
  • 7
  • 4
  • 8
  • 4
  • 5
  • 4
  • 4
  • 3
  • 21
  • 6
  • 3
  • 5
  • 12
  • 6
  • 7
  • 5
  • 4
  • 3
  • 10
  • 3
  • 5
  • 6
  • 5
  • 4
  • 20
  • 5
  • 4
  • 6
  • 3
  • 4
  • 4
  • 6
Verlag
  • 4118
  • 1
  • 3
  • 24
Preis
  • 13
  • 137
  • 3215
  • 781
Sprachen
  • 4146
  • 5
Verfügbarkeit
  • 4142
  • 4
Eigenschaften
  • 1
Katalog
  • 4146
  • 238
4.146  Treffer  für „Lecture Notes in Computer Science“
    Hudak / Warren | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Hudak / Warren Practical Aspects of Declarative Languages

    10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77441-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Ravn | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Liu / Ravn Automated Technology for Verification and Analysis

    7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04760-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Du / Ibarra | Algorithms and Computation | Buch | Sack Fachmedien

    Dong / Du / Ibarra Algorithms and Computation

    20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-10630-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sousa / Roma / Tomás | Euro-Par 2021: Parallel Processing | Buch | Sack Fachmedien

    Sousa / Roma / Tomás Euro-Par 2021: Parallel Processing

    27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-85664-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frasconi / Lisi | Inductive Logic Programming | Buch | Sack Fachmedien

    Frasconi / Lisi Inductive Logic Programming

    20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21294-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Qian / Gizopoulos | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Li / Qian / Gizopoulos Advanced Parallel Processing Technologies

    16th International Symposium, APPT 2025, Athens, Greece, July 13-16, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-951020-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Hölzl / Koch | Software Engineering for Collective Autonomic Systems | Buch | Sack Fachmedien

    Wirsing / Hölzl / Koch Software Engineering for Collective Autonomic Systems

    The ASCENS Approach
    2015
    Verlag: Springer
    ISBN: 978-3-319-16309-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heineman / Crnkovic / Schmidt | Component-Based Software Engineering | Buch | Sack Fachmedien

    Heineman / Crnkovic / Schmidt Component-Based Software Engineering

    8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25877-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mewhort / Cann / Slater | High Performance Computing Systems and Applications | Buch | Sack Fachmedien

    Mewhort / Cann / Slater High Performance Computing Systems and Applications

    23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12658-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arge / Freivalds | Algorithm Theory - SWAT 2006 | Buch | Sack Fachmedien

    Arge / Freivalds Algorithm Theory - SWAT 2006

    10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35753-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang | Advanced Internet Services and Applications | Buch | Sack Fachmedien

    Chang Advanced Internet Services and Applications

    First International Workshop, AISA 2002, Seoul, Korea, August 1-2, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43968-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margenstern / Rogozhin | Machines, Computations, and Universality | Buch | Sack Fachmedien

    Margenstern / Rogozhin Machines, Computations, and Universality

    Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42121-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Edwards / Kulczycki | Formal Foundations of Reuse and Domain Engineering | Buch | Sack Fachmedien

    Edwards / Kulczycki Formal Foundations of Reuse and Domain Engineering

    11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04210-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lévy / Le Grand / Poulet | Pixelization Paradigm | Buch | Sack Fachmedien

    Lévy / Le Grand / Poulet Pixelization Paradigm

    Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71026-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nehaniv | Computation for Metaphors, Analogy, and Agents | Buch | Sack Fachmedien

    Nehaniv Computation for Metaphors, Analogy, and Agents

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65959-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almeroth / Hasan | Management of Multimedia on the Internet | Buch | Sack Fachmedien

    Almeroth / Hasan Management of Multimedia on the Internet

    5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002, Santa Barbara, CA, USA, October 6-9, 2002. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44271-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ijspeert / Murata / Wakamiya | Biologically Inspired Approaches to Advanced Information Technology | Buch | Sack Fachmedien

    Ijspeert / Murata / Wakamiya Biologically Inspired Approaches to Advanced Information Technology

    First International Workshop, BioADIT 2004, Lausanne, Switzerland, January 29-30, 2004. Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23339-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scanniello / Lenarduzzi / Romano | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Scanniello / Lenarduzzi / Romano Product-Focused Software Process Improvement

    26th International Conference, PROFES 2025, Salerno, Italy, December 1-3, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-12088-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alves-Foss | Formal Syntax and Semantics of Java | Buch | Sack Fachmedien

    Alves-Foss Formal Syntax and Semantics of Java

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66158-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atkinson / Bunse / Gross | Component-Based Software Development for Embedded Systems | Buch | Sack Fachmedien

    Atkinson / Bunse / Gross Component-Based Software Development for Embedded Systems

    An Overview of Current Research Trends
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30644-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kunii / Jajodia / Soelvberg | Conceptual Modeling - ER 2001 | Buch | Sack Fachmedien

    Kunii / Jajodia / Soelvberg Conceptual Modeling - ER 2001

    20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42866-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitter / Zaroliagis | Algorithm Engineering | Buch | Sack Fachmedien

    Vitter / Zaroliagis Algorithm Engineering

    3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66427-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganzinger | ESOP '88 | Buch | Sack Fachmedien

    Ganzinger ESOP '88

    2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19027-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chao / Hsu / Lee | Algorithms and Computation | Buch | Sack Fachmedien

    Chao / Hsu / Lee Algorithms and Computation

    23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35260-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19848-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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