Ergebnisse filtern
Fachgebiet
Medium
  • 3599
  • 1257
  • 5
  • 4
Erscheinungsjahr
  • 61
  • 182
  • 1101
  • 239
  • 212
  • 198
  • 236
  • 230
  • 221
  • 199
  • 174
  • 121
  • 127
  • 71
  • 67
  • 49
  • 181
  • 110
  • 110
  • 72
  • 66
  • 52
  • 65
  • 81
  • 66
  • 64
  • 62
  • 45
  • 31
  • 58
  • 38
  • 22
  • 26
  • 16
  • 18
  • 17
  • 19
  • 17
  • 20
  • 15
  • 13
  • 11
  • 15
  • 6
  • 8
  • 9
  • 9
  • 5
  • 3
  • 4
  • 3
  • 1
  • 2
  • 3
  • 3
  • 2
  • 2
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 8
  • 2
  • 6
  • 9
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 4
  • 11
  • 85
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 6
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 14
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 12
  • 9
  • 4
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 7
  • 8
  • 3
  • 7
  • 6
  • 3
  • 4
  • 3
  • 5
  • 9
  • 12
  • 3
  • 10
  • 10
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 12
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 9
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 3
  • 5
  • 10
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 15
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 9
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 6
  • 3
  • 4
  • 5
  • 4
  • 5
  • 4
  • 3
  • 4
Verlag
  • 7
  • 1
  • 1
  • 1
  • 946
  • 7
  • 4
  • 1
  • 1
  • 38
  • 1
  • 4
  • 9
  • 1
  • 2
  • 62
  • 73
  • 166
  • 1
  • 2
  • 124
  • 1203
  • 1
  • 1
  • 1
  • 3
  • 1
  • 25
  • 46
  • 2
  • 2
  • 2
  • 16
  • 16
  • 2
  • 3
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 33
  • 1
  • 2
  • 15
  • 3
  • 4
  • 2
  • 2
  • 3
  • 5
  • 18
  • 5
  • 1
  • 47
  • 8
  • 3
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 6
  • 18
  • 95
  • 5
  • 11
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1059
  • 25
  • 48
  • 3
  • 12
  • 4
  • 9
  • 23
  • 42
  • 4
  • 2
  • 9
  • 1
  • 1
  • 1
  • 92
  • 16
  • 89
  • 5
  • 1
  • 11
  • 1
  • 9
  • 2
  • 1
  • 1
  • 4
  • 2
  • 2
  • 114
  • 3
  • 8
  • 1
  • 85
  • 4
  • 9
  • 2
  • 2
  • 20
  • 10
  • 1
  • 1
  • 2
Preis
  • 312
  • 1823
  • 1919
  • 811
Sprachen
  • 4183
  • 682
  • 4
  • 1
Verfügbarkeit
  • 4793
  • 72
Eigenschaften
  • 4
Katalog
  • 4865
  • 178
4.865  Titel
    Craeynest / Strohmeier | Reliable Software Technologies - Ada-Europe 2001 | Buch | Sack Fachmedien

    Craeynest / Strohmeier Reliable Software Technologies - Ada-Europe 2001

    6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42123-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Midkiff / Moreira / Gupta | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Midkiff / Moreira / Gupta Languages and Compilers for Parallel Computing

    13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42862-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakaibara / Kobayashi / Sato | Grammatical Inference: Algorithms and Applications | Buch | Sack Fachmedien

    Sakaibara / Kobayashi / Sato Grammatical Inference: Algorithms and Applications

    8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45264-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Businger | PORTAL Language Description | Buch | Sack Fachmedien

    Businger PORTAL Language Description

    2. extended Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18960-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zwiers | Compositionality, Concurrency, and Partial Correctness | Buch | Sack Fachmedien

    Zwiers Compositionality, Concurrency, and Partial Correctness

    Proof Theories for Networks of Processes, and Their Relationship
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50845-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi | Programming Languages and Systems | Buch | Sack Fachmedien

    Kobayashi Programming Languages and Systems

    4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48937-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beer | Concepts, Design, and Performance Analysis of a Parallel Prolog Machine | Buch | Sack Fachmedien

    Beer Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-52053-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plümer | Termination Proofs for Logic Programs | Buch | Sack Fachmedien

    Plümer Termination Proofs for Logic Programs

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52837-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kreczmar / Salwicki / Warpechowski | LOGLAN '88 - Report on the Programming Language | Buch | Sack Fachmedien

    Kreczmar / Salwicki / Warpechowski LOGLAN '88 - Report on the Programming Language

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52325-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanus | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Hanus Practical Aspects of Declarative Languages

    9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-69608-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Veith | 25 Years of Model Checking | Buch | Sack Fachmedien

    Grumberg / Veith 25 Years of Model Checking

    History, Achievements, Perspectives
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69849-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Barthe Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68862-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murphy / Vitek | Coordination Models and Languages | Buch | Sack Fachmedien

    Murphy / Vitek Coordination Models and Languages

    9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72793-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Meuter | Advances in Smalltalk | Buch | Sack Fachmedien

    De Meuter Advances in Smalltalk

    14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71835-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shao | Programming Languages and Systems | Buch | Sack Fachmedien

    Shao Programming Languages and Systems

    5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76636-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vlieg | Scratch by Example | Buch | Sack Fachmedien

    Vlieg Scratch by Example

    Programming for All Ages
    1. Auflage 2016
    Verlag: Apress
    ISBN: 978-1-4842-1945-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alexandre Peixoto de Queirós / Simões / Pinto | Code Generation, Analysis Tools, and Testing for Quality | Buch | Sack Fachmedien

    Alexandre Peixoto de Queirós / Simões / Pinto Code Generation, Analysis Tools, and Testing for Quality

    Erscheinungsjahr 2019
    Verlag: Engineering Science Reference
    ISBN: 978-1-5225-7455-2
    Medium: Buch
    234,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallardo / Merino | Model Checking Software | Buch | Sack Fachmedien

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swierstra | Programming Languages and Systems | Buch | Sack Fachmedien

    Swierstra Programming Languages and Systems

    8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65699-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cointe | Meta-Level Architectures and Reflection | Buch | Sack Fachmedien

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bal / Belkhouche / Cardelli | Internet Programming Languages | Buch | Sack Fachmedien

    Bal / Belkhouche / Cardelli Internet Programming Languages

    ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66673-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tepfenhart / Cyre | Conceptual Structures: Standards and Practices | Buch | Sack Fachmedien

    Tepfenhart / Cyre Conceptual Structures: Standards and Practices

    7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66223-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gutknecht / Weck | Modular Programming Languages | Buch | Sack Fachmedien

    Gutknecht / Weck Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leroy / Ohori | Types in Compilation | Buch | Sack Fachmedien

    Leroy / Ohori Types in Compilation

    Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64925-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aagaard / Harrison | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Aagaard / Harrison Theorem Proving in Higher Order Logics

    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67863-2
    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