Ergebnisse filtern
Fachgebiet
Medium
  • 10651
  • 2731
Erscheinungsjahr
  • 154
  • 1007
  • 1081
  • 803
  • 659
  • 419
  • 422
  • 423
  • 452
  • 422
  • 444
  • 418
  • 408
  • 429
  • 431
  • 426
  • 405
  • 259
  • 251
  • 273
  • 293
  • 219
  • 467
  • 578
  • 263
  • 258
  • 187
  • 172
  • 147
  • 143
  • 138
  • 118
  • 110
  • 96
  • 72
  • 85
  • 60
  • 58
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 9
  • 10
  • 9
  • 13
  • 8
  • 10
  • 7
  • 7
  • 13
  • 11
  • 17
  • 6
  • 25
  • 11
  • 6
  • 9
  • 12
  • 6
  • 6
  • 13
  • 37
  • 47
  • 9
  • 58
  • 7
  • 10
  • 17
  • 20
  • 11
  • 51
  • 9
  • 6
  • 10
  • 9
  • 6
  • 9
  • 15
  • 9
  • 8
  • 6
  • 7
  • 8
  • 7
  • 9
  • 6
  • 13
  • 6
  • 24
  • 6
  • 18
  • 7
  • 6
  • 10
  • 7
  • 7
  • 26
  • 10
  • 12
  • 7
  • 53
  • 13
  • 7
  • 17
  • 18
  • 9
  • 13
  • 8
  • 10
  • 8
  • 6
  • 12
  • 9
  • 12
  • 7
  • 6
  • 8
  • 13
  • 7
  • 14
  • 7
  • 18
  • 8
  • 18
  • 9
  • 7
  • 6
  • 8
  • 6
  • 51
  • 12
  • 6
  • 11
  • 8
  • 7
  • 19
  • 8
  • 11
  • 6
  • 18
  • 6
  • 7
  • 12
  • 8
  • 9
  • 29
  • 23
  • 7
  • 9
  • 7
  • 13
  • 10
  • 6
  • 12
  • 9
  • 14
  • 7
  • 44
  • 14
  • 53
  • 15
  • 10
  • 19
  • 18
  • 6
  • 15
  • 8
  • 28
  • 13
  • 45
  • 11
  • 17
  • 8
  • 7
  • 6
  • 17
  • 6
  • 17
  • 9
  • 51
  • 9
  • 8
  • 6
  • 11
  • 13
  • 15
  • 7
  • 7
  • 6
  • 16
  • 12
  • 8
  • 7
  • 7
  • 11
  • 6
  • 19
  • 12
  • 12
  • 18
  • 6
  • 6
  • 6
  • 6
  • 11
  • 6
  • 10
  • 11
  • 22
  • 27
  • 6
  • 8
  • 8
  • 6
  • 11
  • 6
  • 8
  • 11
  • 16
  • 29
  • 8
  • 7
  • 7
  • 9
  • 7
  • 14
  • 6
  • 10
  • 6
  • 6
  • 9
  • 7
  • 10
  • 6
  • 17
  • 12
  • 12
  • 12
  • 7
  • 50
  • 58
  • 10
  • 32
  • 9
  • 11
  • 12
  • 31
  • 13
  • 6
  • 9
  • 10
  • 20
  • 7
  • 8
  • 6
  • 11
  • 9
  • 8
  • 6
  • 33
  • 6
  • 17
  • 60
  • 10
  • 8
  • 6
  • 6
  • 6
  • 21
  • 8
  • 10
  • 10
  • 14
  • 17
  • 6
  • 18
  • 6
  • 7
  • 6
  • 6
  • 12
  • 9
  • 7
  • 6
  • 6
  • 6
  • 7
  • 18
  • 12
  • 6
  • 10
  • 8
  • 13
  • 8
  • 19
  • 11
  • 12
  • 7
  • 6
  • 11
  • 20
  • 7
  • 19
  • 6
  • 73
  • 6
  • 38
  • 7
  • 9
  • 7
  • 32
  • 12
  • 19
  • 35
  • 7
  • 121
  • 7
  • 15
  • 10
  • 22
  • 13
  • 7
  • 6
  • 23
  • 19
  • 7
  • 8
  • 15
  • 10
  • 6
  • 9
  • 21
  • 15
  • 6
  • 6
  • 7
  • 15
  • 51
  • 6
  • 12
  • 8
  • 8
  • 7
  • 10
  • 22
  • 14
  • 12
  • 9
  • 25
  • 51
  • 10
  • 8
  • 13
  • 6
  • 20
  • 7
  • 17
  • 7
  • 6
  • 6
  • 7
  • 7
  • 6
  • 6
  • 7
  • 17
  • 17
  • 9
  • 6
  • 10
  • 15
  • 82
  • 8
  • 10
  • 9
  • 11
  • 6
  • 6
  • 10
  • 6
  • 8
  • 8
  • 7
  • 17
  • 7
  • 14
  • 6
  • 9
  • 13
  • 33
  • 7
  • 20
  • 6
  • 11
  • 6
  • 7
  • 7
  • 8
  • 19
  • 7
  • 19
  • 8
  • 8
  • 10
  • 6
  • 13
  • 7
  • 6
  • 10
  • 7
  • 15
  • 9
  • 6
  • 14
  • 6
  • 16
  • 7
  • 7
  • 6
  • 11
  • 10
  • 9
  • 9
  • 7
  • 17
  • 8
  • 11
  • 9
  • 6
  • 6
  • 37
  • 8
  • 8
  • 8
  • 7
  • 25
  • 7
  • 6
  • 24
  • 40
  • 7
  • 7
  • 14
  • 17
  • 9
  • 8
  • 11
  • 39
  • 6
  • 12
  • 6
  • 7
  • 6
  • 8
  • 7
  • 21
  • 8
  • 18
  • 10
  • 21
  • 36
  • 22
  • 15
  • 28
  • 8
  • 9
  • 9
  • 14
  • 7
  • 6
  • 40
  • 9
  • 18
  • 38
  • 54
  • 8
  • 8
  • 7
  • 21
  • 6
  • 6
  • 17
  • 12
  • 11
  • 9
  • 13
  • 9
  • 10
  • 8
  • 17
  • 6
  • 88
  • 21
  • 22
  • 15
  • 6
  • 7
  • 23
  • 7
  • 7
  • 7
  • 10
  • 19
  • 9
  • 10
  • 7
  • 13
  • 19
  • 6
  • 12
  • 8
  • 9
  • 6
  • 10
  • 13
  • 18
  • 15
  • 10
  • 24
  • 23
  • 9
  • 28
  • 11
  • 74
  • 14
  • 6
  • 21
  • 7
  • 6
  • 15
  • 25
  • 7
  • 8
  • 9
  • 14
  • 6
  • 7
  • 7
  • 8
  • 16
  • 10
  • 6
  • 6
  • 11
  • 31
  • 11
  • 6
  • 7
  • 16
  • 15
  • 6
  • 15
  • 20
  • 18
  • 6
  • 19
  • 14
  • 19
  • 6
  • 8
  • 8
  • 11
  • 8
  • 6
  • 16
  • 14
  • 12
  • 35
  • 10
  • 9
  • 8
  • 44
  • 32
  • 6
  • 6
  • 7
  • 14
  • 7
  • 7
  • 11
  • 8
  • 31
  • 11
  • 12
  • 9
  • 6
  • 9
  • 9
  • 8
  • 6
  • 6
  • 11
  • 10
  • 23
  • 9
  • 7
  • 6
  • 10
  • 8
  • 8
  • 10
  • 7
  • 8
  • 10
  • 7
  • 6
  • 10
  • 10
  • 50
  • 6
  • 11
  • 10
  • 11
  • 8
  • 6
  • 8
  • 10
  • 6
  • 12
  • 27
  • 7
  • 6
  • 11
  • 12
  • 9
  • 7
  • 10
  • 8
  • 12
  • 112
  • 7
  • 12
  • 7
  • 6
  • 11
  • 13
  • 6
  • 15
  • 13
  • 7
  • 7
  • 9
  • 63
  • 22
  • 17
  • 7
  • 8
  • 12
  • 6
  • 6
  • 10
  • 9
  • 9
  • 7
  • 10
  • 10
  • 6
  • 6
  • 9
  • 14
  • 9
  • 9
  • 9
  • 7
  • 7
  • 7
  • 6
  • 10
  • 9
  • 6
  • 13
  • 56
  • 9
  • 9
  • 8
  • 19
  • 9
  • 6
  • 6
  • 6
  • 24
  • 12
  • 6
  • 6
  • 8
  • 13
  • 6
  • 17
  • 22
  • 17
  • 18
  • 9
  • 6
  • 11
  • 37
  • 7
  • 17
  • 8
  • 8
  • 11
  • 14
  • 6
  • 6
  • 6
  • 25
  • 18
  • 12
  • 17
  • 8
  • 11
  • 7
  • 12
  • 7
  • 12
  • 21
  • 8
  • 14
  • 6
  • 10
  • 15
  • 9
  • 29
  • 6
  • 11
  • 11
  • 8
  • 7
  • 9
  • 16
  • 6
  • 13
  • 11
  • 6
  • 6
  • 11
  • 21
  • 12
  • 10
  • 8
  • 6
  • 8
  • 8
  • 16
  • 32
  • 16
  • 8
  • 10
  • 26
  • 6
  • 8
  • 10
  • 14
  • 7
  • 109
  • 9
  • 8
  • 6
  • 10
  • 8
  • 37
  • 7
  • 12
  • 8
  • 18
  • 10
  • 9
  • 7
  • 11
  • 12
  • 27
  • 113
  • 7
  • 6
  • 54
  • 13
  • 11
  • 13
  • 108
  • 23
  • 6
  • 19
  • 6
  • 13
  • 8
  • 16
  • 11
  • 16
  • 19
  • 11
  • 6
  • 8
  • 7
  • 8
  • 6
  • 6
  • 11
  • 108
  • 7
  • 6
  • 6
  • 8
  • 11
  • 22
  • 7
  • 12
  • 16
  • 7
  • 12
  • 19
  • 18
  • 15
  • 9
  • 6
  • 6
  • 7
  • 15
  • 13
  • 12
  • 29
  • 17
  • 9
  • 6
  • 8
  • 12
  • 11
  • 6
  • 8
  • 6
  • 18
  • 11
  • 7
  • 29
  • 9
  • 6
  • 12
  • 7
  • 9
  • 10
  • 6
  • 9
  • 17
  • 10
  • 14
  • 8
  • 6
  • 16
  • 11
  • 18
  • 54
  • 14
  • 7
  • 14
  • 6
  • 11
  • 22
  • 9
  • 6
  • 7
  • 15
  • 6
  • 17
  • 17
  • 7
  • 11
  • 7
  • 6
  • 8
  • 16
  • 8
  • 47
  • 11
  • 53
  • 12
  • 10
  • 15
  • 7
  • 17
  • 14
  • 6
  • 11
  • 7
  • 24
  • 6
  • 16
  • 9
  • 18
  • 22
  • 28
  • 9
  • 6
  • 20
  • 25
  • 16
  • 15
  • 28
  • 77
  • 12
  • 15
  • 28
  • 11
  • 11
  • 8
  • 7
  • 8
  • 22
  • 22
  • 18
  • 6
  • 6
  • 9
  • 64
  • 29
  • 16
  • 6
  • 11
  • 14
  • 13
  • 22
  • 14
  • 10
  • 17
  • 6
  • 6
  • 16
  • 21
  • 7
  • 15
  • 10
  • 6
  • 6
  • 18
  • 11
  • 10
  • 10
  • 14
  • 108
  • 6
  • 11
  • 9
  • 14
  • 11
  • 18
  • 6
  • 7
  • 6
  • 9
  • 6
  • 9
  • 19
  • 17
  • 13
  • 41
  • 11
  • 8
  • 17
  • 6
  • 12
  • 7
  • 15
  • 25
  • 8
  • 8
  • 12
  • 26
  • 12
  • 6
  • 6
  • 6
  • 10
  • 20
  • 20
  • 15
  • 12
  • 14
  • 11
  • 11
  • 8
  • 7
  • 7
  • 24
  • 9
  • 17
  • 12
  • 7
  • 9
  • 9
  • 7
  • 12
  • 7
  • 10
  • 17
  • 13
  • 24
  • 8
  • 7
  • 13
  • 22
  • 11
  • 8
  • 35
  • 12
  • 7
  • 19
  • 23
  • 11
  • 8
  • 10
  • 11
  • 8
  • 24
  • 10
  • 8
  • 61
  • 11
  • 7
  • 32
  • 10
  • 9
  • 55
  • 17
  • 87
  • 8
  • 21
  • 8
  • 14
  • 7
  • 41
  • 7
  • 28
  • 26
  • 22
  • 13
  • 9
  • 11
  • 10
  • 20
  • 7
  • 7
  • 25
Verlag
  • 2
  • 11593
  • 40
  • 1569
  • 2
  • 25
  • 3
  • 105
  • 1
  • 1
  • 41
Preis
  • 47
  • 467
  • 10605
  • 2263
Sprachen
  • 13374
  • 19
  • 15
  • 1
Verfügbarkeit
  • 13350
  • 32
Eigenschaften
  • 9
Katalog
  • 13382
  • 582
13.382  Treffer  für „Lecture Notes in Computer Science“
    Tian / Sebe / Qi | MultiMedia Modeling | Buch | Sack Fachmedien

    Tian / Sebe / Qi MultiMedia Modeling

    22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-27670-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Güneysu / Leander / Moradi | Lightweight Cryptography for Security and Privacy | Buch | Sack Fachmedien

    Güneysu / Leander / Moradi Lightweight Cryptography for Security and Privacy

    4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29077-5
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bräunl / McCane / Rivera | Image and Video Technology | Buch | Sack Fachmedien

    Bräunl / McCane / Rivera Image and Video Technology

    7th Pacific-Rim Symposium, PSIVT 2015, Auckland, New Zealand, November 25-27, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / De Nicola / Hillston | Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | Buch | Sack Fachmedien

    Bernardo / De Nicola / Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-34095-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-62931-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermenegildo / Lopez-Garcia | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Hermenegildo / Lopez-Garcia Logic-Based Program Synthesis and Transformation

    26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63138-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galinina / Andreev / Balandin | Internet of Things, Smart Spaces, and Next Generation Networks and Systems | Buch | Sack Fachmedien

    Galinina / Andreev / Balandin Internet of Things, Smart Spaces, and Next Generation Networks and Systems

    17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67379-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sommerville / Paul | Software Engineering - ESEC '93 | Buch | Sack Fachmedien

    Sommerville / Paul Software Engineering - ESEC '93

    4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57209-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiper | Distributed Algorithms | Buch | Sack Fachmedien

    Schiper Distributed Algorithms

    7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57271-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lengauer | Algorithms - ESA '93 | Buch | Sack Fachmedien

    Lengauer Algorithms - ESA '93

    First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57273-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pieprzyk / Sadeghiyan | Design of Hashing Algorithms | Buch | Sack Fachmedien

    Pieprzyk / Sadeghiyan Design of Hashing Algorithms

    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57500-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ng / Raghavan / Balasubramanian | Algorithms and Computation | Buch | Sack Fachmedien

    Ng / Raghavan / Balasubramanian Algorithms and Computation

    4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57568-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezem / Groote | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Bezem / Groote Typed Lambda Calculi and Applications

    International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56517-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Günther | Mobile Communications - Advanced Systems and Components | Buch | Sack Fachmedien

    Günther Mobile Communications - Advanced Systems and Components

    1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57856-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gulliver / Secord | Information Theory and Applications | Buch | Sack Fachmedien

    Gulliver / Secord Information Theory and Applications

    Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57936-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rombach / Basili / Selby | Experimental Software Engineering Issues: | Buch | Sack Fachmedien

    Rombach / Basili / Selby Experimental Software Engineering Issues:

    Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57092-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abiteboul / Shamir | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Abiteboul / Shamir Automata, Languages, and Programming

    21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58201-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulson | Isabelle | Buch | Sack Fachmedien

    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouchitte / Morvan | Orders, Algorithms and Applications | Buch | Sack Fachmedien

    Bouchitte / Morvan Orders, Algorithms and Applications

    International Workshop ORDAL '94, Lyon, France, July 4-8, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58274-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tepfenhart / Dick / Sowa | Conceptual Structures: Current Practices | Buch | Sack Fachmedien

    Tepfenhart / Dick / Sowa Conceptual Structures: Current Practices

    Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16 - 20, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58328-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kloks | Treewidth | Buch | Sack Fachmedien

    Kloks Treewidth

    Computations and Approximations
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58356-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buchberger / Volkert | Parallel Processing: CONPAR 94. VAPP VI | Buch | Sack Fachmedien

    Buchberger / Volkert Parallel Processing: CONPAR 94. VAPP VI

    Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6 - 8, 1994
    1994
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-58430-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen | Algorithms - ESA '94 | Buch | Sack Fachmedien

    Leeuwen Algorithms - ESA '94

    Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58434-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Camilleri | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Melham / Camilleri Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naftalin / Denvir / Bertran | FME '94: Industrial Benefit of Formal Methods | Buch | Sack Fachmedien

    Naftalin / Denvir / Bertran FME '94: Industrial Benefit of Formal Methods

    Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58555-8
    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