Ergebnisse filtern
Fachgebiet
Medium
  • 4297
Erscheinungsjahr
  • 4
  • 180
  • 235
  • 190
  • 130
  • 47
  • 27
  • 42
  • 47
  • 65
  • 47
  • 80
  • 74
  • 74
  • 80
  • 63
  • 69
  • 160
  • 121
  • 138
  • 199
  • 181
  • 139
  • 207
  • 220
  • 181
  • 184
  • 119
  • 118
  • 97
  • 100
  • 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
  • 2
  • 4
  • 2
  • 4
  • 8
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 6
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 5
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 4
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 6
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 6
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 6
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 8
  • 3
  • 4
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 10
  • 5
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 3
  • 13
  • 2
  • 6
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 5
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 38
  • 29
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 3
  • 3
  • 3
  • 5
  • 6
  • 7
  • 3
  • 4
  • 3
  • 3
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 9
  • 6
  • 6
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 10
  • 5
  • 3
  • 3
  • 4
  • 6
  • 6
  • 3
  • 25
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 14
  • 5
  • 6
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 8
  • 7
  • 5
  • 3
  • 10
  • 3
  • 7
  • 4
  • 5
  • 3
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 3
  • 8
  • 12
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 6
  • 8
  • 5
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 7
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 7
  • 4
  • 7
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 8
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 6
  • 3
  • 11
  • 5
  • 4
  • 12
  • 28
  • 6
  • 5
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 5
  • 4
  • 4
  • 5
  • 3
  • 12
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 7
  • 6
  • 3
  • 5
  • 4
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 19
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 6
  • 4
  • 5
  • 4
  • 3
  • 6
  • 4
  • 3
  • 6
  • 4
  • 9
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 8
  • 22
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 6
  • 4
  • 3
  • 6
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 8
  • 6
  • 13
  • 9
  • 6
  • 3
  • 4
  • 30
  • 5
  • 11
  • 4
  • 12
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 8
  • 5
  • 4
  • 4
  • 4
  • 3
  • 7
  • 7
  • 4
  • 12
  • 21
  • 6
  • 4
  • 3
  • 9
  • 5
  • 4
  • 3
  • 40
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 9
  • 20
  • 5
  • 10
  • 8
  • 3
  • 13
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 13
  • 3
  • 4
  • 5
  • 4
  • 4
  • 19
  • 6
  • 3
  • 13
  • 5
  • 9
  • 5
  • 3
  • 3
  • 11
  • 4
  • 5
  • 4
  • 6
  • 22
  • 5
  • 11
  • 4
  • 6
  • 3
Verlag
  • 3
  • 4250
  • 1
  • 1
  • 14
  • 4
  • 6
  • 18
Preis
  • 13
  • 160
  • 3327
  • 797
Sprachen
  • 4297
  • 5
Verfügbarkeit
  • 4226
  • 71
Katalog
  • 4297
  • 241
4.297  Treffer  für „Lecture Notes in Computer Science“
    Basin / Wolff | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Basin / Wolff Theorem Proving in Higher Order Logics

    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40664-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloot / Hoekstra / Priol | Advances in Grid Computing - EGC 2005 | Buch | Sack Fachmedien

    Sloot / Hoekstra / Priol Advances in Grid Computing - EGC 2005

    European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-26918-2
    Medium: Buch
    124,12 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Ghosh / Zhang | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Ghosh / Zhang Algorithmic Aspects in Information and Management

    18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-7800-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jarke / Bubenko / Jeffery | Advances in Database Technology - EDBT '94 | Buch | Sack Fachmedien

    Jarke / Bubenko / Jeffery Advances in Database Technology - EDBT '94

    4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57818-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parisi-Presicce | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Parisi-Presicce Recent Trends in Algebraic Development Techniques

    12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64299-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slind / Bunker / Gopalakrishnan | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Slind / Bunker / Gopalakrishnan Theorem Proving in Higher Order Logics

    17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23017-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Codescu / Diaconescu | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Codescu / Diaconescu Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28113-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aizawa / Nakamura / Satoh | Advances in Multimedia Information Processing - PCM 2004 | Buch | Sack Fachmedien

    Aizawa / Nakamura / Satoh Advances in Multimedia Information Processing - PCM 2004

    5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part I
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23974-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Fiala / Koczkodaj | Advances in Computing and Information - ICCI '91 | Buch | Sack Fachmedien

    Dehne / Fiala / Koczkodaj Advances in Computing and Information - ICCI '91

    International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54029-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Zhao / Lau | Advances in Web Based Learning - ICWL 2008 | Buch | Sack Fachmedien

    Li / Zhao / Lau Advances in Web Based Learning - ICWL 2008

    7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85032-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lazo / Sanfeliu | Progress in Pattern Recognition, Image Analysis and Applications | Buch | Sack Fachmedien

    Lazo / Sanfeliu Progress in Pattern Recognition, Image Analysis and Applications

    10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29850-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marchiori / Moore / Rajapakse | Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics | Buch | Sack Fachmedien

    Marchiori / Moore / Rajapakse Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

    5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71782-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerioli / Reggio | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Cerioli / Reggio Recent Trends in Algebraic Development Techniques

    15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
    2002
    Verlag: Springer
    ISBN: 978-3-540-43159-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwenker / Marinai | Artificial Neural Networks in Pattern Recognition | Buch | Sack Fachmedien

    Schwenker / Marinai Artificial Neural Networks in Pattern Recognition

    Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37951-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider / Brandt | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Schneider / Brandt Theorem Proving in Higher Order Logics

    20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74590-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butz / Sigaud / Pezzulo | Anticipatory Behavior in Adaptive Learning Systems | Buch | Sack Fachmedien

    Butz / Sigaud / Pezzulo Anticipatory Behavior in Adaptive Learning Systems

    From Brains to Individual and Social Behavior
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74261-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Pattinson / Hennicker | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Wirsing / Pattinson / Hennicker Recent Trends in Algebraic Development Techniques

    16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20537-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | PRICAI 2010: Trends in Artificial Intelligence | Buch | Sack Fachmedien

    Zhang PRICAI 2010: Trends in Artificial Intelligence

    11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30-September 2, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15245-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haveraaen / Owe / Dahl | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Haveraaen / Owe / Dahl Recent Trends in Data Type Specification

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61629-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bistarelli / Maratea / Santini | AIxIA 2026 – Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Bistarelli / Maratea / Santini AIxIA 2026 – Advances in Artificial Intelligence

    XXIVth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2026, Perugia, Italy, October 6–9, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-40773-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Vargas-Solar / Stefanidis / Palpanas | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Vargas-Solar / Stefanidis / Palpanas Advances in Databases and Information Systems

    30th European Conference, ADBIS 2026, Orléans, France, September 28 – October 1, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-39819-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Bert / Choppy / Mosses | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Bert / Choppy / Mosses Recent Trends in Algebraic Development Techniques

    14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67898-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grundy / Newey | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Grundy / Newey Theorem Proving in Higher Order Logics

    11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64987-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuoka / Oldehoeft / Tholburn | Computing in Object-Oriented Parallel Environments | Buch | Sack Fachmedien

    Matsuoka / Oldehoeft / Tholburn Computing in Object-Oriented Parallel Environments

    Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66818-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Rolim / Simon | Solving Irregularly Structured Problems in Parallel | Buch | Sack Fachmedien

    Ferreira / Rolim / Simon Solving Irregularly Structured Problems in Parallel

    5th International Symosium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64809-3
    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