Ergebnisse filtern
Fachgebiet
Medium
  • 10491
Erscheinungsjahr
  • 133
  • 808
  • 832
  • 619
  • 488
  • 267
  • 299
  • 290
  • 311
  • 306
  • 309
  • 314
  • 274
  • 300
  • 297
  • 273
  • 291
  • 274
  • 227
  • 257
  • 287
  • 210
  • 363
  • 309
  • 261
  • 252
  • 181
  • 177
  • 118
  • 133
  • 135
  • 117
  • 106
  • 97
  • 73
  • 84
  • 57
  • 57
  • 44
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 5
  • 4
  • 6
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 9
  • 4
  • 4
  • 10
  • 7
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 8
  • 4
  • 11
  • 8
  • 4
  • 5
  • 6
  • 16
  • 4
  • 4
  • 22
  • 4
  • 8
  • 4
  • 6
  • 4
  • 8
  • 5
  • 9
  • 9
  • 6
  • 4
  • 10
  • 5
  • 14
  • 5
  • 26
  • 36
  • 7
  • 43
  • 7
  • 5
  • 4
  • 6
  • 7
  • 13
  • 16
  • 4
  • 4
  • 11
  • 5
  • 4
  • 4
  • 7
  • 5
  • 39
  • 6
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 14
  • 5
  • 4
  • 7
  • 6
  • 7
  • 5
  • 6
  • 6
  • 8
  • 4
  • 6
  • 4
  • 7
  • 4
  • 6
  • 7
  • 7
  • 6
  • 12
  • 5
  • 4
  • 5
  • 5
  • 4
  • 18
  • 8
  • 6
  • 4
  • 6
  • 4
  • 15
  • 4
  • 5
  • 9
  • 5
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 4
  • 5
  • 7
  • 5
  • 19
  • 4
  • 10
  • 5
  • 5
  • 9
  • 4
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 14
  • 12
  • 6
  • 6
  • 8
  • 10
  • 10
  • 4
  • 4
  • 5
  • 5
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 4
  • 11
  • 4
  • 5
  • 5
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 18
  • 4
  • 12
  • 16
  • 7
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 39
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 16
  • 7
  • 10
  • 13
  • 5
  • 12
  • 7
  • 6
  • 4
  • 14
  • 4
  • 7
  • 24
  • 13
  • 4
  • 10
  • 4
  • 4
  • 11
  • 4
  • 4
  • 8
  • 4
  • 5
  • 10
  • 4
  • 9
  • 34
  • 12
  • 41
  • 10
  • 8
  • 19
  • 15
  • 4
  • 5
  • 8
  • 4
  • 5
  • 20
  • 10
  • 37
  • 4
  • 9
  • 14
  • 9
  • 4
  • 7
  • 12
  • 4
  • 4
  • 9
  • 14
  • 8
  • 7
  • 39
  • 4
  • 4
  • 5
  • 10
  • 8
  • 11
  • 4
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 10
  • 10
  • 5
  • 4
  • 7
  • 6
  • 4
  • 4
  • 14
  • 9
  • 5
  • 12
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 15
  • 4
  • 21
  • 4
  • 8
  • 5
  • 9
  • 6
  • 4
  • 8
  • 13
  • 5
  • 24
  • 6
  • 4
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 4
  • 8
  • 10
  • 5
  • 4
  • 43
  • 38
  • 8
  • 23
  • 7
  • 4
  • 4
  • 17
  • 5
  • 24
  • 11
  • 4
  • 5
  • 5
  • 7
  • 18
  • 6
  • 4
  • 4
  • 4
  • 6
  • 5
  • 4
  • 7
  • 5
  • 4
  • 27
  • 4
  • 14
  • 45
  • 4
  • 10
  • 7
  • 4
  • 4
  • 15
  • 7
  • 6
  • 7
  • 13
  • 15
  • 4
  • 6
  • 8
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 5
  • 15
  • 6
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 4
  • 4
  • 5
  • 9
  • 5
  • 4
  • 16
  • 55
  • 28
  • 5
  • 4
  • 25
  • 9
  • 18
  • 22
  • 93
  • 5
  • 11
  • 6
  • 14
  • 5
  • 7
  • 19
  • 13
  • 7
  • 5
  • 5
  • 7
  • 14
  • 7
  • 5
  • 10
  • 7
  • 5
  • 6
  • 5
  • 11
  • 39
  • 7
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 6
  • 9
  • 17
  • 11
  • 6
  • 5
  • 5
  • 8
  • 5
  • 11
  • 15
  • 6
  • 6
  • 5
  • 8
  • 64
  • 5
  • 6
  • 7
  • 5
  • 15
  • 5
  • 11
  • 5
  • 6
  • 6
  • 19
  • 7
  • 12
  • 5
  • 7
  • 6
  • 5
  • 9
  • 16
  • 10
  • 10
  • 13
  • 5
  • 8
  • 5
  • 13
  • 6
  • 6
  • 7
  • 5
  • 10
  • 6
  • 6
  • 5
  • 9
  • 10
  • 11
  • 6
  • 8
  • 7
  • 6
  • 29
  • 5
  • 9
  • 6
  • 5
  • 8
  • 6
  • 25
  • 6
  • 14
  • 32
  • 6
  • 6
  • 7
  • 9
  • 15
  • 7
  • 30
  • 6
  • 9
  • 5
  • 5
  • 9
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 18
  • 20
  • 30
  • 5
  • 17
  • 9
  • 8
  • 16
  • 5
  • 5
  • 12
  • 5
  • 7
  • 25
  • 13
  • 26
  • 35
  • 8
  • 6
  • 8
  • 16
  • 6
  • 5
  • 12
  • 6
  • 5
  • 8
  • 7
  • 6
  • 6
  • 5
  • 8
  • 6
  • 13
  • 90
  • 7
  • 12
  • 18
  • 6
  • 13
  • 6
  • 5
  • 8
  • 11
  • 12
  • 5
  • 6
  • 10
  • 15
  • 18
  • 20
  • 5
  • 21
  • 6
  • 5
  • 61
  • 6
  • 18
  • 8
  • 5
  • 11
  • 21
  • 5
  • 7
  • 8
  • 6
  • 7
  • 7
  • 5
  • 13
  • 6
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 15
  • 14
  • 8
  • 18
  • 11
  • 10
  • 8
  • 9
  • 25
  • 7
  • 33
  • 27
  • 5
  • 5
  • 6
  • 11
  • 7
  • 6
  • 16
  • 7
  • 6
  • 7
  • 5
  • 5
  • 6
  • 6
  • 10
  • 19
  • 8
  • 5
  • 5
  • 6
  • 8
  • 12
  • 6
  • 5
  • 35
  • 8
  • 11
  • 5
  • 5
  • 7
  • 5
  • 5
  • 16
  • 5
  • 9
  • 5
  • 7
  • 6
  • 8
  • 86
  • 9
  • 5
  • 7
  • 6
  • 12
  • 5
  • 7
  • 11
  • 33
  • 14
  • 5
  • 15
  • 6
  • 5
  • 11
  • 6
  • 8
  • 5
  • 5
  • 8
  • 5
  • 9
  • 6
  • 6
  • 10
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 6
  • 17
  • 8
  • 7
  • 19
  • 11
  • 13
  • 10
  • 12
  • 15
  • 6
  • 18
  • 6
  • 5
  • 8
  • 24
  • 11
  • 9
  • 5
  • 12
  • 6
  • 18
  • 12
  • 6
  • 13
  • 9
  • 7
  • 8
  • 5
  • 7
  • 16
  • 5
  • 15
  • 12
  • 8
  • 24
  • 5
  • 6
  • 6
  • 9
  • 6
  • 5
  • 10
  • 15
  • 9
  • 7
  • 10
  • 6
  • 13
  • 5
  • 6
  • 11
  • 24
  • 12
  • 7
  • 18
  • 5
  • 11
  • 91
  • 5
  • 6
  • 10
  • 5
  • 23
  • 7
  • 10
  • 7
  • 20
  • 8
  • 8
  • 8
  • 12
  • 7
  • 19
  • 8
  • 89
  • 6
  • 48
  • 11
  • 11
  • 5
  • 89
  • 23
  • 5
  • 14
  • 12
  • 5
  • 12
  • 9
  • 13
  • 7
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 6
  • 15
  • 22
  • 5
  • 7
  • 10
  • 6
  • 11
  • 17
  • 11
  • 11
  • 6
  • 5
  • 9
  • 5
  • 8
  • 22
  • 10
  • 6
  • 7
  • 5
  • 6
  • 7
  • 13
  • 7
  • 24
  • 5
  • 5
  • 6
  • 7
  • 5
  • 14
  • 8
  • 8
  • 8
  • 12
  • 12
  • 41
  • 5
  • 6
  • 7
  • 18
  • 9
  • 9
  • 8
  • 11
  • 13
  • 7
  • 5
  • 7
  • 11
  • 5
  • 37
  • 7
  • 34
  • 12
  • 6
  • 6
  • 6
  • 10
  • 9
  • 22
  • 5
  • 10
  • 9
  • 15
  • 15
  • 25
  • 10
  • 24
  • 7
  • 13
  • 24
  • 60
  • 10
  • 11
  • 23
  • 8
  • 9
  • 6
  • 10
  • 17
  • 22
  • 14
  • 6
  • 9
  • 53
  • 24
  • 12
  • 8
  • 13
  • 13
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 6
  • 15
  • 10
  • 7
  • 13
  • 10
  • 5
  • 89
  • 10
  • 6
  • 15
  • 5
  • 5
  • 6
  • 15
  • 7
  • 6
  • 31
  • 5
  • 11
  • 12
  • 7
  • 13
  • 5
  • 13
  • 15
  • 11
  • 21
  • 6
  • 5
  • 6
  • 16
  • 5
  • 19
  • 5
  • 10
  • 9
  • 6
  • 7
  • 8
  • 5
  • 7
  • 6
  • 5
  • 6
  • 24
  • 6
  • 15
  • 10
  • 5
  • 8
  • 6
  • 6
  • 5
  • 6
  • 11
  • 9
  • 9
  • 18
  • 5
  • 10
  • 11
  • 5
  • 5
  • 6
  • 24
  • 11
  • 14
  • 8
  • 5
  • 22
  • 9
  • 5
  • 5
  • 7
  • 5
  • 10
  • 18
  • 8
  • 6
  • 6
  • 48
  • 13
  • 7
  • 5
  • 5
  • 21
  • 6
  • 7
  • 42
  • 15
  • 61
  • 19
  • 6
  • 6
  • 33
  • 7
  • 12
  • 5
  • 20
  • 20
  • 20
  • 9
  • 11
  • 12
  • 10
  • 8
  • 6
  • 24
Verlag
  • 2
  • 10434
  • 3
  • 3
  • 1
  • 3
  • 3
  • 1
  • 41
Preis
  • 42
  • 376
  • 8043
  • 2030
Sprachen
  • 10486
  • 17
  • 13
Verfügbarkeit
  • 10477
  • 14
Katalog
  • 10491
  • 553
10.491  Treffer  für „Lecture Notes in Computer Science“
    Leite / Omicini / Sterling | Declarative Agent Languages and Technologies | Buch | Sack Fachmedien

    Leite / Omicini / Sterling Declarative Agent Languages and Technologies

    First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22124-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Conradi / Didriksen / Wanvik | Advanced Programming Environments | Buch | Sack Fachmedien

    Conradi / Didriksen / Wanvik Advanced Programming Environments

    Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17189-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Degano | Programming Languages and Systems | Buch | Sack Fachmedien

    Degano Programming Languages and Systems

    12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00886-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuck / Attie / Cortesi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Zuck / Attie / Cortesi Verification, Model Checking, and Abstract Interpretation

    4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00348-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laddaga / Robertson / Shrobe | Self-Adaptive Software | Buch | Sack Fachmedien

    Laddaga / Robertson / Shrobe Self-Adaptive Software

    Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00731-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sendhoff / Körner / Sporns | Creating Brain-Like Intelligence | Buch | Sack Fachmedien

    Sendhoff / Körner / Sporns Creating Brain-Like Intelligence

    From Basic Principles to Complex Intelligent Systems
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00615-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fei / Irwin / Ma | Bio-Inspired Computational Intelligence and Applications | Buch | Sack Fachmedien

    Fei / Irwin / Ma Bio-Inspired Computational Intelligence and Applications

    International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74768-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutsche / Weber | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Kutsche / Weber Fundamental Approaches to Software Engineering

    5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43353-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Müller-Olm | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Jones / Müller-Olm Verification, Model Checking, and Abstract Interpretation

    10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-93899-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bassiliades / Governatori / Paschke | Rule Representation, Interchange and Reasoning on the Web | Buch | Sack Fachmedien

    Bassiliades / Governatori / Paschke Rule Representation, Interchange and Reasoning on the Web

    International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88807-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luck / Padgham | Agent-Oriented Software Engineering VIII | Buch | Sack Fachmedien

    Luck / Padgham Agent-Oriented Software Engineering VIII

    8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malenfant / Moisan / Moreira | Object-Oriented Technology: ECOOP 2000 Workshop Reader | Buch | Sack Fachmedien

    Malenfant / Moisan / Moreira Object-Oriented Technology: ECOOP 2000 Workshop Reader

    ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41513-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Giles | Sequence Learning | Buch | Sack Fachmedien

    Sun / Giles Sequence Learning

    Paradigms, Algorithms, and Applications
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41597-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hentenryck | Static Analysis | Buch | Sack Fachmedien

    Hentenryck Static Analysis

    4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63468-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reusch | Computational Intelligence. Theory and Applications | Buch | Sack Fachmedien

    Reusch Computational Intelligence. Theory and Applications

    International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62868-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Mauw | CONCUR'99. Concurrency Theory | Buch | Sack Fachmedien

    Baeten / Mauw CONCUR'99. Concurrency Theory

    10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66425-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asano / Igarashi / Nagamochi | Algorithms and Computation | Buch | Sack Fachmedien

    Asano / Igarashi / Nagamochi Algorithms and Computation

    7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-62048-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Gregorio / Di Maio / Frucci | Brain, Vision, and Artificial Intelligence | Buch | Sack Fachmedien

    De Gregorio / Di Maio / Frucci Brain, Vision, and Artificial Intelligence

    First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29282-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tari | On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops | Buch | Sack Fachmedien

    Tari On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops

    OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-29739-0
    Medium: Buch
    135,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kamel / Campilho | Image Analysis and Recognition | Buch | Sack Fachmedien

    Kamel / Campilho Image Analysis and Recognition

    Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005, Proceedings
    1. ed
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-29069-8
    Medium: Buch
    149,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler | Fundamental Algorithms for Permutation Groups | Buch | Sack Fachmedien

    Butler Fundamental Algorithms for Permutation Groups

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54955-0
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gunsel / Jain / Tekalp | Multimedia Content Representation, Classification and Security | Buch | Sack Fachmedien

    Gunsel / Jain / Tekalp Multimedia Content Representation, Classification and Security

    International Workshop, MRCS 2006, Istanbul, Turkey, September 11-13, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39392-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nieuwenhuis | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Nieuwenhuis Rewriting Techniques and Applications

    14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40254-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jampel / Freuder / Maher | Over-Constrained Systems | Buch | Sack Fachmedien

    Jampel / Freuder / Maher Over-Constrained Systems

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61479-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / Coppo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / Coppo Types for Proofs and Programs

    International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61780-8
    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