Ergebnisse filtern
Fachgebiet
Medium
  • 3254
Erscheinungsjahr
  • 272
  • 307
  • 147
  • 100
  • 119
  • 132
  • 126
  • 119
  • 128
  • 105
  • 110
  • 111
  • 86
  • 16
  • 38
  • 92
  • 75
  • 91
  • 74
  • 87
  • 121
  • 97
  • 89
  • 102
  • 67
  • 57
  • 54
  • 49
  • 45
  • 44
  • 47
  • 34
  • 25
  • 29
  • 18
  • 14
  • 12
  • 9
  • 4
  • 2
Autoren
  • 3
  • 6
  • 4
  • 3
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 14
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 14
  • 7
  • 3
  • 2
  • 6
  • 3
  • 6
  • 3
  • 2
  • 4
  • 2
  • 4
  • 5
  • 4
  • 3
  • 4
  • 2
  • 2
  • 39
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 10
  • 7
  • 2
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 2
  • 2
  • 5
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 10
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 17
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 4
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 39
  • 16
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 12
  • 3
  • 3
  • 6
  • 6
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 6
  • 5
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 4
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 19
  • 2
  • 2
  • 3
  • 4
  • 2
  • 11
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 39
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 2
  • 5
  • 2
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 7
  • 10
  • 8
  • 4
  • 8
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 6
  • 4
  • 4
  • 3
  • 5
  • 4
  • 12
  • 6
  • 13
  • 5
  • 4
  • 4
  • 3
  • 10
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 8
  • 3
  • 4
  • 12
  • 4
  • 3
  • 6
  • 3
  • 43
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 14
  • 3
  • 5
  • 3
  • 4
  • 12
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 15
  • 5
  • 7
  • 4
  • 3
  • 5
  • 3
  • 4
  • 8
  • 6
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 14
  • 3
  • 3
  • 3
  • 4
  • 3
  • 17
  • 20
  • 3
  • 12
  • 3
  • 5
  • 5
  • 16
  • 4
  • 6
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 8
  • 12
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 21
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 5
  • 6
  • 9
  • 39
  • 3
  • 3
  • 6
  • 14
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 14
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 27
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 11
  • 6
  • 3
  • 4
  • 14
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 14
  • 3
  • 13
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 11
  • 4
  • 5
  • 5
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 6
  • 7
  • 4
  • 5
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 9
  • 6
  • 5
  • 3
  • 16
  • 5
  • 5
  • 3
  • 3
  • 5
  • 12
  • 3
  • 3
  • 14
  • 3
  • 11
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 13
  • 3
  • 3
  • 4
  • 25
  • 3
  • 4
  • 6
  • 6
  • 5
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 7
  • 5
  • 4
  • 3
  • 4
  • 16
  • 7
  • 6
  • 5
  • 6
  • 7
  • 4
  • 10
  • 6
  • 3
  • 7
  • 21
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 6
  • 9
  • 4
  • 3
  • 3
  • 13
  • 3
  • 8
  • 5
  • 12
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 11
  • 3
  • 5
  • 3
  • 3
  • 12
  • 4
  • 5
  • 4
  • 4
  • 3
  • 6
  • 3
  • 6
  • 4
  • 10
  • 7
  • 3
  • 6
  • 6
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 5
  • 9
  • 3
  • 7
  • 4
  • 8
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 10
  • 4
  • 3
  • 4
  • 6
  • 4
  • 3
  • 8
  • 20
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 34
  • 8
  • 4
  • 4
  • 3
  • 4
  • 11
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 9
  • 5
  • 3
  • 6
  • 3
  • 5
  • 4
  • 9
  • 3
  • 3
  • 3
  • 8
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 14
  • 3
  • 4
  • 6
  • 4
  • 7
  • 5
  • 5
  • 12
  • 4
  • 8
  • 8
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 13
  • 13
  • 5
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 5
  • 8
  • 5
  • 7
  • 4
  • 5
  • 6
  • 4
  • 3
  • 3
  • 6
  • 9
  • 5
  • 3
  • 4
  • 3
  • 5
  • 6
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 13
  • 5
  • 4
  • 26
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 8
  • 5
  • 3
  • 6
  • 4
  • 28
  • 3
  • 4
  • 6
  • 6
  • 8
  • 3
  • 3
  • 24
  • 8
  • 3
  • 3
  • 9
  • 4
  • 4
  • 4
  • 6
  • 3
  • 9
  • 25
  • 6
  • 5
  • 8
  • 11
  • 14
  • 8
  • 4
  • 7
  • 9
  • 4
  • 6
  • 4
  • 4
  • 5
  • 11
  • 4
  • 3
  • 9
  • 6
  • 11
  • 4
  • 11
  • 7
  • 3
  • 3
  • 4
  • 8
  • 4
  • 4
  • 3
  • 4
  • 5
  • 7
  • 12
  • 8
  • 5
  • 10
  • 18
  • 10
  • 9
  • 13
  • 5
  • 21
  • 3
  • 4
  • 10
  • 13
  • 5
  • 7
  • 4
  • 24
  • 13
  • 6
  • 3
  • 4
  • 6
  • 17
  • 11
  • 3
  • 13
  • 4
  • 5
  • 17
  • 5
  • 5
  • 3
  • 4
  • 10
  • 6
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 4
  • 4
  • 3
  • 4
  • 4
  • 7
  • 5
  • 6
  • 3
  • 8
  • 19
  • 5
  • 7
  • 5
  • 4
  • 5
  • 3
  • 14
  • 5
  • 3
  • 4
  • 3
  • 6
  • 8
  • 5
  • 9
Verlag
  • 484
  • 1213
  • 996
  • 1
  • 75
  • 469
  • 16
Preis
  • 1
  • 83
  • 2450
  • 720
Sprachen
  • 3254
Verfügbarkeit
  • 3178
  • 76
Katalog
  • 3254
  • 191
3.254  Treffer  für „Lecture Notes in Computer Science“
    Frank / Hirtle | Spatial Information Theory A Theoretical Basis for GIS | Buch | Sack Fachmedien

    Frank / Hirtle Spatial Information Theory A Theoretical Basis for GIS

    International Conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63623-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padgham / Luck | Agent-Oriented Software Engineering VIII | Buch | Sack Fachmedien

    Padgham / Luck Agent-Oriented Software Engineering VIII

    8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bentley / Jung / Lee | Artificial Immune Systems | Buch | Sack Fachmedien

    Bentley / Jung / Lee Artificial Immune Systems

    7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85071-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapur | Automated Deduction - CADE-11 | Buch | Sack Fachmedien

    Kapur Automated Deduction - CADE-11

    11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55602-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ottmann / Monien | Data Structures and Efficient Algorithms | Buch | Sack Fachmedien

    Ottmann / Monien Data Structures and Efficient Algorithms

    Final Report on the DFG Special Joint Initiative
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55488-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Remy / Rusinowitch | Conditional Term Rewriting Systems | Buch | Sack Fachmedien

    Remy / Rusinowitch Conditional Term Rewriting Systems

    Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56393-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanson / Rivest / Remmele | Machine Learning: From Theory to Applications | Buch | Sack Fachmedien

    Hanson / Rivest / Remmele Machine Learning: From Theory to Applications

    Cooperative Research at Siemens and MIT
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56483-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Du | Algorithms and Computation | Buch | Sack Fachmedien

    Zhang / Du Algorithms and Computation

    5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58325-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rodriguez-Artalejo / Levi | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Rodriguez-Artalejo / Levi Algebraic and Logic Programming

    4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58431-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Penjam / Hermenegildo | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Penjam / Hermenegildo Programming Language Implementation and Logic Programming

    6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58402-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fogarty | Evolutionary Computing | Buch | Sack Fachmedien

    Fogarty Evolutionary Computing

    AISB Workshop, Leeds, U.K., April 11 - 13, 1994. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58483-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davidor / Männer / Schwefel | Parallel Problem Solving from Nature - PPSN III | Buch | Sack Fachmedien

    Davidor / Männer / Schwefel Parallel Problem Solving from Nature - PPSN III

    International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58484-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vardi / Gottlob | Database Theory - ICDT '95 | Buch | Sack Fachmedien

    Vardi / Gottlob Database Theory - ICDT '95

    5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58907-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fürnkranz / Scheffer / Spiliopoulou | Machine Learning: ECML 2006 | Buch | Sack Fachmedien

    Fürnkranz / Scheffer / Spiliopoulou Machine Learning: ECML 2006

    17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings
    2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-45375-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Combetto / Rauterberg | Entertainment Computing - ICEC 2006 | Buch | Sack Fachmedien

    Combetto / Rauterberg Entertainment Computing - ICEC 2006

    5th International Conference, Cambridge, UK, September 20-22, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45259-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Jiao / Liu | Fuzzy Systems and Knowledge Discovery | Buch | Sack Fachmedien

    Wang / Jiao / Liu Fuzzy Systems and Knowledge Discovery

    Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45916-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloan / Kivinen | Computational Learning Theory | Buch | Sack Fachmedien

    Sloan / Kivinen Computational Learning Theory

    15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43836-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettorossi | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Pettorossi Logic Based Program Synthesis and Transformation

    11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43915-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verri / Lee | Pattern Recognition with Support Vector Machines | Buch | Sack Fachmedien

    Verri / Lee Pattern Recognition with Support Vector Machines

    First International Workshop, SVM 2002, Niagara Falls, Canada, August 10, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44016-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ringeissen / Kirchner | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Ringeissen / Kirchner Algebraic Methodology and Software Technology

    9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudhri / Bagchi | Interactive Relational Database Design | Buch | Sack Fachmedien

    Chaudhri / Bagchi Interactive Relational Database Design

    A Logic Programming Implementation
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51881-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Männer / Schwefel | Parallel Problem Solving from Nature | Buch | Sack Fachmedien

    Männer / Schwefel Parallel Problem Solving from Nature

    1st Workshop, PPSN I Dortmund, FRG, October 1-3, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54148-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Magnin / Montagnat / Katila | Functional Imaging and Modeling of the Heart | Buch | Sack Fachmedien

    Magnin / Montagnat / Katila Functional Imaging and Modeling of the Heart

    Second International Workshop, FIMH 2003, Lyon, France, June 5-6, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40262-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomes / Biere | Theory and Applications of Satisfiability Testing - SAT 2006 | Buch | Sack Fachmedien

    Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006

    9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37206-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Pollack / Luo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Pollack / Luo Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43287-6
    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