Ergebnisse filtern
Fachgebiet
Medium
  • 4219
Erscheinungsjahr
  • 73
  • 236
  • 195
  • 133
  • 47
  • 23
  • 41
  • 50
  • 63
  • 48
  • 85
  • 73
  • 68
  • 84
  • 71
  • 70
  • 164
  • 121
  • 144
  • 198
  • 184
  • 142
  • 210
  • 218
  • 181
  • 183
  • 118
  • 118
  • 98
  • 101
  • 96
  • 82
  • 68
  • 67
  • 53
  • 70
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 8
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 11
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 6
  • 4
  • 4
  • 2
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 8
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 10
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 2
  • 10
  • 5
  • 3
  • 7
  • 2
  • 2
  • 4
  • 3
  • 12
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 36
  • 29
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 9
  • 3
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 9
  • 6
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 21
  • 4
  • 3
  • 8
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 5
  • 3
  • 6
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 11
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 13
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 9
  • 3
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 9
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 6
  • 11
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 3
  • 12
  • 4
  • 3
  • 6
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 8
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 4
  • 6
  • 7
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 13
  • 3
  • 8
  • 3
  • 5
  • 4
  • 12
  • 25
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 3
  • 6
  • 5
  • 4
  • 9
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 5
  • 4
  • 16
  • 5
  • 4
  • 5
  • 5
  • 4
  • 3
  • 6
  • 5
  • 7
  • 6
  • 4
  • 3
  • 6
  • 7
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 5
  • 4
  • 8
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 6
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 8
  • 20
  • 3
  • 3
  • 7
  • 5
  • 3
  • 6
  • 3
  • 5
  • 6
  • 5
  • 3
  • 10
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 7
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 7
  • 6
  • 8
  • 9
  • 4
  • 3
  • 3
  • 4
  • 31
  • 5
  • 11
  • 3
  • 4
  • 12
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 4
  • 3
  • 6
  • 5
  • 4
  • 12
  • 17
  • 6
  • 4
  • 9
  • 3
  • 3
  • 3
  • 35
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 10
  • 16
  • 3
  • 10
  • 3
  • 3
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 22
  • 6
  • 3
  • 13
  • 4
  • 12
  • 6
  • 3
  • 9
  • 4
  • 5
  • 4
  • 4
  • 4
  • 18
  • 5
  • 8
  • 4
  • 5
  • 3
  • 3
Verlag
  • 4196
  • 1
  • 3
  • 19
Preis
  • 13
  • 146
  • 3263
  • 797
Sprachen
  • 4219
  • 5
Verfügbarkeit
  • 4216
  • 3
Eigenschaften
  • 6
Katalog
  • 4219
  • 240
4.219  Treffer  für „Lecture Notes in Computer Science“
    Beilner / Bause | Quantitative Evaluation of Computing and Communication Systems | Buch | Sack Fachmedien

    Beilner / Bause Quantitative Evaluation of Computing and Communication Systems

    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60300-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foster | Provenance and Annotation of Data | Buch | Sack Fachmedien

    Foster Provenance and Annotation of Data

    International Provenance and Annotation Workshop, IPAW 2006, Chicago, Il, USA, May 3-5, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46302-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramanujam / Sarukkai | Logic and Its Applications | Buch | Sack Fachmedien

    Ramanujam / Sarukkai Logic and Its Applications

    Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92700-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Nerode | Hybrid Systems II | Buch | Sack Fachmedien

    Antsaklis / Kohn / Nerode Hybrid Systems II

    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60472-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vidal / Heyden / Ma | Dynamical Vision | Buch | Sack Fachmedien

    Vidal / Heyden / Ma Dynamical Vision

    ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70931-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hao / Liu / Wang | Computational Intelligence and Security | Buch | Sack Fachmedien

    Hao / Liu / Wang Computational Intelligence and Security

    International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30818-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau / Banach | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Lau / Banach Formal Methods and Software Engineering

    7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29797-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nishio / Kishino | Advanced Multimedia Content Processing | Buch | Sack Fachmedien

    Nishio / Kishino Advanced Multimedia Content Processing

    First International Conference, AMCP'98, Osaka, Japan, November 9-11, 1998, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65762-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernau / Zhu | Combinatorial Algorithms | Buch | Sack Fachmedien

    Fernau / Zhu Combinatorial Algorithms

    36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98739-7
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Howard / Slezak | Convergence and Hybrid Information Technology | Buch | Sack Fachmedien

    Lee / Howard / Slezak Convergence and Hybrid Information Technology

    5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24081-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calzarossa / Gelenbe | Performance Tools and Applications to Networked Systems | Buch | Sack Fachmedien

    Calzarossa / Gelenbe Performance Tools and Applications to Networked Systems

    Revised Tutorial Lectures
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21945-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crespo / Maojo / Martin | Medical Data Analysis | Buch | Sack Fachmedien

    Crespo / Maojo / Martin Medical Data Analysis

    Second International Symposium, ISMDA 2001, Madrid, Spain, October 8-9, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42734-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butz / Krüger / Olivier | Smart Grapics | Buch | Sack Fachmedien

    Butz / Krüger / Olivier Smart Grapics

    Third International Symposium, SG 2003, Heidelberg, Germany, July2-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40557-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carretero / Shende / Garcia-Blas | Euro-Par 2024: Parallel Processing | Buch | Sack Fachmedien

    Carretero / Shende / Garcia-Blas Euro-Par 2024: Parallel Processing

    30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-69765-4
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duch / Oja / Zadrozny | Artificial Neural Networks: Biological Inspirations - ICANN 2005 | Buch | Sack Fachmedien

    Duch / Oja / Zadrozny Artificial Neural Networks: Biological Inspirations - ICANN 2005

    15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28752-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weske / Liggesmeyer | Object-Oriented and Internet-Based Technologies | Buch | Sack Fachmedien

    Weske / Liggesmeyer Object-Oriented and Internet-Based Technologies

    5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27-30, 2004 Proceedings
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23201-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sergeyev / Kvasov / Astorino | Numerical Computations: Theory and Algorithms | Buch | Sack Fachmedien

    Sergeyev / Kvasov / Astorino Numerical Computations: Theory and Algorithms

    4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81240-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aykin | Usability and Internationalization. Global and Local User Interfaces | Buch | Sack Fachmedien

    Aykin Usability and Internationalization. Global and Local User Interfaces

    Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73288-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Filliatre / Paulin-Mohring / Werner | Types for Proofs and Programs | Buch | Sack Fachmedien

    Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs

    International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31428-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perales / Hancock | Articulated Motion and Deformable Objects | Buch | Sack Fachmedien

    Perales / Hancock Articulated Motion and Deformable Objects

    Second International Workshop, AMDO 2002, Palma de Mallorca, Spain, November 21-23, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00149-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Turrini | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Turrini Engineering Trustworthy Software Systems

    7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-958616-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth | Central European Functional Programming School | Buch | Sack Fachmedien

    Horváth Central European Functional Programming School

    First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46843-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeser / Brown | Hardware Specification, Verification and Synthesis: Mathematical Aspects | Buch | Sack Fachmedien

    Leeser / Brown Hardware Specification, Verification and Synthesis: Mathematical Aspects

    Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-0-387-97226-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roever / Langmaack / Pnueli | Compositionality: The Significant Difference | Buch | Sack Fachmedien

    Roever / Langmaack / Pnueli Compositionality: The Significant Difference

    International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65493-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barendregt / Nipkow | Types for Proofs and Programs | Buch | Sack Fachmedien

    Barendregt / Nipkow Types for Proofs and Programs

    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58085-0
    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