Ergebnisse filtern
Fachgebiet
Medium
  • 9552
  • 1467
  • 29
  • 12
Erscheinungsjahr
  • 5
  • 183
  • 995
  • 1229
  • 570
  • 414
  • 351
  • 392
  • 369
  • 423
  • 318
  • 435
  • 297
  • 441
  • 407
  • 514
  • 249
  • 517
  • 234
  • 253
  • 262
  • 223
  • 255
  • 222
  • 222
  • 180
  • 161
  • 119
  • 107
  • 97
  • 79
  • 81
  • 72
  • 60
  • 68
  • 38
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 8
  • 6
  • 10
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 9
  • 23
  • 3
  • 15
  • 5
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 21
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 15
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 4
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 9
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 18
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 9
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 12
  • 3
  • 9
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 10
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 6
  • 3
  • 3
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 14
  • 4
  • 3
  • 16
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 28
  • 23
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 10
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 4
  • 13
  • 5
  • 3
  • 5
  • 3
  • 18
  • 3
  • 3
  • 6
  • 5
  • 4
  • 3
  • 17
  • 5
  • 4
  • 3
  • 3
  • 16
  • 5
  • 11
  • 3
  • 6
  • 6
  • 4
  • 4
  • 7
  • 12
  • 6
  • 6
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 6
  • 8
  • 8
  • 4
  • 38
  • 4
  • 6
  • 10
  • 7
  • 13
  • 4
  • 5
  • 4
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 6
  • 4
  • 4
  • 5
  • 7
  • 14
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 4
  • 19
  • 5
  • 4
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 8
  • 11
  • 5
  • 8
  • 11
  • 9
  • 7
  • 62
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 4
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 5
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 4
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 17
  • 4
  • 4
  • 6
  • 8
  • 5
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 7
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 7
  • 6
  • 7
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 19
  • 13
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 10
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 9
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 6
  • 16
  • 6
  • 6
  • 4
  • 35
  • 44
  • 12
  • 14
  • 9
  • 12
  • 27
  • 6
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 6
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 7
  • 6
  • 33
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 9
  • 10
  • 10
  • 6
  • 12
  • 4
  • 8
  • 5
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 10
  • 13
  • 4
  • 7
  • 9
  • 8
  • 6
  • 12
  • 4
  • 7
  • 4
  • 5
  • 6
  • 11
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 15
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 6
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 5
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 9
  • 7
Verlag
  • 2
  • 3
  • 8
  • 4
  • 1
  • 3
  • 1
  • 51
  • 6
  • 459
  • 1
  • 3
  • 18
  • 3
  • 8
  • 3
  • 284
  • 2
  • 16
  • 3
  • 1
  • 3
  • 3
  • 3
  • 69
  • 1
  • 84
  • 219
  • 4
  • 507
  • 1148
  • 15
  • 1
  • 1
  • 1
  • 56
  • 102
  • 1
  • 3
  • 1
  • 4
  • 58
  • 35
  • 1
  • 5
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 39
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 25
  • 1
  • 4
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 1
  • 10
  • 15
  • 5
  • 5
  • 16
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 11
  • 5
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 20
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 4
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 5783
  • 147
  • 191
  • 1
  • 2
  • 1
  • 1
  • 33
  • 9
  • 50
  • 1
  • 127
  • 134
  • 11
  • 22
  • 1
  • 1
  • 292
  • 35
  • 116
  • 5
  • 1
  • 1
  • 24
  • 6
  • 1
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 199
  • 3
  • 10
  • 1
  • 23
  • 38
  • 1
  • 1
  • 2
  • 2
Preis
  • 352
  • 1873
  • 5301
  • 3534
Sprachen
  • 10139
  • 932
  • 2
Verfügbarkeit
  • 10915
  • 145
Eigenschaften
  • 4
  • 4
Katalog
  • 11060
  • 1747
11.060  Titel
    Whitesides | Graph Drawing | Buch | Sack Fachmedien

    Whitesides Graph Drawing

    6th International Symposium, GD '98 Montreal, Canada, August 13-15, 1998 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65473-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pohlheim | Evolutionäre Algorithmen | Buch | Sack Fachmedien

    Pohlheim Evolutionäre Algorithmen

    Verfahren, Operatoren und Hinweise für die Praxis
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66413-0
    Medium: Buch
    89,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hlavicka / Maehle / Pataricza | Dependable Computing - EDDC-3 | Buch | Sack Fachmedien

    Hlavicka / Maehle / Pataricza Dependable Computing - EDDC-3

    Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66483-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pierre / Kropf | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Pierre / Kropf Correct Hardware Design and Verification Methods

    10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66559-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langtangen / Bruaset / Quak | Advances in Software Tools for Scientific Computing | Buch | Sack Fachmedien

    Langtangen / Bruaset / Quak Advances in Software Tools for Scientific Computing

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66557-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Introduction to Process Algebra | Buch | Sack Fachmedien

    Fokkink Introduction to Process Algebra

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66579-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gonzalez Harbour / de la Puente | Reliable Software Technologies - Ada-Europe '99 | Buch | Sack Fachmedien

    Gonzalez Harbour / de la Puente Reliable Software Technologies - Ada-Europe '99

    1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66093-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs / Peled | Computer Aided Verification | Buch | Sack Fachmedien

    Halbwachs / Peled Computer Aided Verification

    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66202-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knudsen | Fast Software Encryption | Buch | Sack Fachmedien

    Knudsen Fast Software Encryption

    6th International Workshop, FSE'99 Rome, Italy, March 24-26, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66226-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swierstra / Henriques / Oliveira | Advanced Functional Programming | Buch | Sack Fachmedien

    Swierstra / Henriques / Oliveira Advanced Functional Programming

    Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66241-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garijo / Boman | Multi-Agent System Engineering | Buch | Sack Fachmedien

    Garijo / Boman Multi-Agent System Engineering

    9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66281-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hankin | Programming Languages and Systems | Buch | Sack Fachmedien

    Hankin Programming Languages and Systems

    7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64302-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bungartz / Hoppe / Zenger | Lectures on Applied Mathematics | Buch | Sack Fachmedien

    Bungartz / Hoppe / Zenger Lectures on Applied Mathematics

    Proceedings of the Symposium Organized by the Sonderforschungsbereich 438 on the Occasion of Karl-Heinz Hoffmann’s 60th Birthday, Munich, June 30 – July 1, 1999
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-66734-6
    Medium: Buch
    85,55 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Westfechtel | Models and Tools for Managing Development Processes | Buch | Sack Fachmedien

    Westfechtel Models and Tools for Managing Development Processes

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66756-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
    Banerjee / Prasanna / Sinha | High Performance Computing - HiPC'99 | Buch | Sack Fachmedien

    Banerjee / Prasanna / Sinha High Performance Computing - HiPC'99

    6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66907-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Edelkamp / Lomuscio | Model Checking and Artificial Intelligence | Buch | Sack Fachmedien

    Edelkamp / Lomuscio Model Checking and Artificial Intelligence

    4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74127-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
    Arge / Cachin / Jurdzinski | Automata, Languages and Programming | Buch | Sack Fachmedien

    Arge / Cachin / Jurdzinski Automata, Languages and Programming

    34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73419-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Automated Deduction - CADE-21 | Buch | Sack Fachmedien

    Pfenning Automated Deduction - CADE-21

    21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73594-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Gacek / Romanovsky | Architecting Dependable Systems IV | Buch | Sack Fachmedien

    Lemos / Gacek / Romanovsky Architecting Dependable Systems IV

    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74033-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haugereid / Sogaard | Typed Feature Structure Grammars | Buch | Sack Fachmedien

    Haugereid / Sogaard Typed Feature Structure Grammars

    1. Auflage 2009
    Verlag: Peter Lang
    ISBN: 978-3-631-57550-5
    Medium: Buch
    68,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nishio / Yonezawa | Object Technologies for Advanced Software | Buch | Sack Fachmedien

    Nishio / Yonezawa Object Technologies for Advanced Software

    First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57342-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Choppy | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Bidoit / Choppy Recent Trends in Data Type Specification

    8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Semantics: Foundations and Applications | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg Semantics: Foundations and Applications

    REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56596-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular