Ergebnisse filtern
Fachgebiet
Medium
  • 7644
Erscheinungsjahr
  • 608
  • 729
  • 442
  • 290
  • 154
  • 156
  • 219
  • 209
  • 197
  • 206
  • 209
  • 197
  • 210
  • 185
  • 199
  • 180
  • 196
  • 163
  • 227
  • 216
  • 198
  • 287
  • 244
  • 220
  • 195
  • 146
  • 128
  • 112
  • 119
  • 111
  • 98
  • 88
  • 75
  • 60
  • 68
  • 47
  • 51
  • 32
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 4
  • 5
  • 4
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 8
  • 4
  • 8
  • 3
  • 7
  • 7
  • 7
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 8
  • 6
  • 3
  • 5
  • 16
  • 4
  • 3
  • 10
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 8
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 6
  • 5
  • 14
  • 5
  • 25
  • 36
  • 6
  • 3
  • 30
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 6
  • 11
  • 16
  • 4
  • 10
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 39
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 7
  • 4
  • 6
  • 5
  • 3
  • 11
  • 4
  • 4
  • 5
  • 3
  • 9
  • 4
  • 4
  • 5
  • 6
  • 3
  • 3
  • 5
  • 4
  • 6
  • 6
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 16
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 8
  • 7
  • 3
  • 3
  • 11
  • 6
  • 6
  • 3
  • 6
  • 40
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 20
  • 9
  • 6
  • 5
  • 3
  • 6
  • 3
  • 6
  • 7
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 7
  • 3
  • 10
  • 4
  • 13
  • 4
  • 8
  • 4
  • 4
  • 15
  • 14
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 8
  • 6
  • 4
  • 5
  • 39
  • 16
  • 9
  • 7
  • 5
  • 9
  • 5
  • 5
  • 6
  • 4
  • 16
  • 6
  • 9
  • 9
  • 4
  • 10
  • 6
  • 5
  • 4
  • 4
  • 7
  • 4
  • 5
  • 11
  • 24
  • 5
  • 4
  • 4
  • 9
  • 4
  • 4
  • 8
  • 4
  • 8
  • 5
  • 5
  • 7
  • 8
  • 5
  • 7
  • 5
  • 8
  • 4
  • 34
  • 5
  • 8
  • 4
  • 41
  • 4
  • 10
  • 8
  • 6
  • 4
  • 12
  • 4
  • 18
  • 4
  • 4
  • 18
  • 4
  • 4
  • 5
  • 11
  • 15
  • 5
  • 4
  • 6
  • 7
  • 4
  • 12
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 8
  • 4
  • 39
  • 6
  • 5
  • 7
  • 6
  • 9
  • 4
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 5
  • 8
  • 6
  • 8
  • 4
  • 6
  • 5
  • 4
  • 5
  • 8
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 6
  • 4
  • 4
  • 6
  • 15
  • 22
  • 6
  • 7
  • 12
  • 6
  • 6
  • 6
  • 4
  • 7
  • 9
  • 24
  • 5
  • 5
  • 4
  • 5
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 5
  • 4
  • 9
  • 5
  • 5
  • 4
  • 5
  • 5
  • 7
  • 5
  • 10
  • 11
  • 11
  • 4
  • 6
  • 5
  • 4
  • 37
  • 41
  • 4
  • 6
  • 22
  • 9
  • 10
  • 5
  • 6
  • 24
  • 13
  • 5
  • 6
  • 17
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 9
  • 5
  • 5
  • 7
  • 4
  • 5
  • 27
  • 6
  • 11
  • 41
  • 8
  • 4
  • 4
  • 4
  • 15
  • 7
  • 4
  • 6
  • 11
  • 4
  • 5
  • 8
  • 5
  • 15
  • 5
  • 5
  • 4
  • 5
  • 5
  • 8
  • 8
  • 4
  • 5
  • 4
  • 13
  • 17
  • 5
  • 6
  • 4
  • 4
  • 8
  • 4
  • 7
  • 10
  • 5
  • 11
  • 15
  • 4
  • 38
  • 7
  • 4
  • 18
  • 8
  • 17
  • 20
  • 69
  • 11
  • 17
  • 10
  • 4
  • 5
  • 19
  • 8
  • 5
  • 9
  • 17
  • 8
  • 4
  • 5
  • 4
  • 6
  • 27
  • 4
  • 8
  • 6
  • 5
  • 18
  • 6
  • 18
  • 39
  • 8
  • 14
  • 4
  • 12
  • 4
  • 6
  • 5
  • 4
  • 4
  • 10
  • 15
  • 8
  • 5
  • 4
  • 67
  • 4
  • 5
  • 4
  • 6
  • 4
  • 5
  • 15
  • 5
  • 14
  • 5
  • 4
  • 19
  • 4
  • 8
  • 4
  • 4
  • 6
  • 4
  • 4
  • 17
  • 4
  • 8
  • 13
  • 4
  • 13
  • 7
  • 7
  • 4
  • 4
  • 4
  • 15
  • 5
  • 5
  • 13
  • 13
  • 6
  • 25
  • 5
  • 4
  • 8
  • 5
  • 8
  • 6
  • 6
  • 4
  • 10
  • 18
  • 4
  • 6
  • 15
  • 4
  • 5
  • 5
  • 9
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 11
  • 6
  • 5
  • 14
  • 12
  • 14
  • 8
  • 6
  • 6
  • 13
  • 5
  • 4
  • 6
  • 11
  • 7
  • 4
  • 9
  • 4
  • 26
  • 14
  • 21
  • 4
  • 40
  • 6
  • 8
  • 4
  • 7
  • 4
  • 12
  • 5
  • 4
  • 6
  • 8
  • 10
  • 7
  • 5
  • 13
  • 88
  • 14
  • 15
  • 4
  • 4
  • 11
  • 6
  • 13
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 14
  • 4
  • 21
  • 4
  • 4
  • 4
  • 62
  • 6
  • 21
  • 10
  • 22
  • 4
  • 4
  • 8
  • 4
  • 9
  • 6
  • 6
  • 6
  • 4
  • 5
  • 4
  • 12
  • 13
  • 13
  • 16
  • 11
  • 15
  • 4
  • 8
  • 12
  • 5
  • 11
  • 8
  • 4
  • 4
  • 21
  • 31
  • 19
  • 4
  • 4
  • 4
  • 7
  • 4
  • 17
  • 4
  • 4
  • 4
  • 6
  • 4
  • 6
  • 5
  • 7
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 10
  • 8
  • 5
  • 8
  • 12
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 26
  • 10
  • 5
  • 5
  • 4
  • 17
  • 9
  • 4
  • 4
  • 8
  • 60
  • 4
  • 5
  • 6
  • 10
  • 4
  • 9
  • 39
  • 6
  • 5
  • 12
  • 8
  • 6
  • 5
  • 5
  • 9
  • 4
  • 6
  • 6
  • 4
  • 9
  • 7
  • 7
  • 6
  • 6
  • 5
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 4
  • 8
  • 43
  • 5
  • 7
  • 17
  • 19
  • 4
  • 13
  • 6
  • 7
  • 11
  • 15
  • 6
  • 14
  • 6
  • 23
  • 11
  • 5
  • 5
  • 5
  • 4
  • 4
  • 16
  • 13
  • 4
  • 11
  • 8
  • 4
  • 9
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 24
  • 5
  • 7
  • 8
  • 4
  • 7
  • 11
  • 6
  • 8
  • 6
  • 4
  • 6
  • 4
  • 7
  • 5
  • 4
  • 12
  • 25
  • 12
  • 5
  • 18
  • 5
  • 91
  • 5
  • 8
  • 10
  • 15
  • 7
  • 8
  • 5
  • 7
  • 8
  • 4
  • 20
  • 8
  • 94
  • 4
  • 4
  • 41
  • 4
  • 11
  • 4
  • 89
  • 15
  • 4
  • 14
  • 6
  • 4
  • 9
  • 12
  • 10
  • 5
  • 4
  • 5
  • 4
  • 90
  • 5
  • 14
  • 4
  • 8
  • 8
  • 4
  • 12
  • 4
  • 18
  • 14
  • 13
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 15
  • 12
  • 4
  • 6
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 9
  • 6
  • 18
  • 5
  • 4
  • 4
  • 14
  • 4
  • 14
  • 14
  • 44
  • 4
  • 4
  • 10
  • 5
  • 18
  • 13
  • 4
  • 11
  • 4
  • 12
  • 7
  • 6
  • 12
  • 4
  • 5
  • 26
  • 42
  • 8
  • 5
  • 5
  • 22
  • 4
  • 4
  • 6
  • 4
  • 18
  • 17
  • 10
  • 12
  • 10
  • 18
  • 48
  • 10
  • 10
  • 17
  • 9
  • 4
  • 20
  • 11
  • 12
  • 5
  • 4
  • 7
  • 6
  • 25
  • 4
  • 4
  • 24
  • 12
  • 6
  • 6
  • 9
  • 9
  • 4
  • 6
  • 12
  • 5
  • 15
  • 18
  • 4
  • 9
  • 5
  • 6
  • 4
  • 14
  • 6
  • 6
  • 8
  • 89
  • 9
  • 16
  • 15
  • 5
  • 4
  • 15
  • 6
  • 27
  • 11
  • 7
  • 8
  • 13
  • 4
  • 17
  • 6
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 18
  • 7
  • 10
  • 9
  • 6
  • 7
  • 4
  • 5
  • 20
  • 8
  • 11
  • 10
  • 7
  • 4
  • 6
  • 6
  • 4
  • 4
  • 11
  • 4
  • 7
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 13
  • 14
  • 4
  • 4
  • 6
  • 4
  • 10
  • 4
  • 11
  • 6
  • 7
  • 6
  • 11
  • 4
  • 9
  • 4
  • 4
  • 4
  • 4
  • 23
  • 4
  • 47
  • 4
  • 6
  • 14
  • 20
  • 19
  • 6
  • 5
  • 5
  • 4
  • 5
  • 7
  • 6
  • 14
  • 4
  • 7
  • 8
  • 20
  • 4
  • 19
  • 5
  • 4
  • 7
  • 4
  • 4
  • 17
Verlag
  • 1
  • 7
  • 2900
  • 2591
  • 1165
  • 136
  • 814
  • 1
  • 29
Preis
  • 27
  • 220
  • 5764
  • 1633
Sprachen
  • 7639
  • 16
  • 12
  • 1
Verfügbarkeit
  • 7634
  • 10
Eigenschaften
  • 6
Katalog
  • 7644
  • 362
7.644  Treffer  für „Lecture Notes in Computer Science“
    Royer | A Connotational Theory of Program Structure | Buch | Sack Fachmedien

    Royer A Connotational Theory of Program Structure

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18253-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jantke | Analogical and Inductive Inference | Buch | Sack Fachmedien

    Jantke Analogical and Inductive Inference

    International Workshop AII'86 Wendisch-Rietz, GDR, October 6-10, 1986, Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18081-4
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thayse / Snyers | From Logic Design to Logic Programming | Buch | Sack Fachmedien

    Thayse / Snyers From Logic Design to Logic Programming

    Theorem Proving Techniques and P-Functions
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18217-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Delgado Kloos | Semantics of Digital Circuits | Buch | Sack Fachmedien

    Delgado Kloos Semantics of Digital Circuits

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18540-6
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benninghofen / Kemmerich / Richter | Systems of Reductions | Buch | Sack Fachmedien

    Benninghofen / Kemmerich / Richter Systems of Reductions

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18598-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Springer | The Munich Project CIP | Buch | Sack Fachmedien

    Springer The Munich Project CIP

    Volume II: The Programme Transformation System CIP-S
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18779-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lingas / Karlsson | SWAT '88 | Buch | Sack Fachmedien

    Lingas / Karlsson SWAT '88

    1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19487-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Deelman / Wiatr | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Deelman / Wiatr Parallel Processing and Applied Mathematics

    11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-32151-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atzeni / Ausiello | ICDT'86 | Buch | Sack Fachmedien

    Atzeni / Ausiello ICDT'86

    International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-17187-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousineau / Robinet / Curien | Combinators and Functional Programming Languages | Buch | Sack Fachmedien

    Cousineau / Robinet / Curien Combinators and Functional Programming Languages

    Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-17184-3
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jourdan / Deransart | Attribute Grammars and their Applications | Buch | Sack Fachmedien

    Jourdan / Deransart Attribute Grammars and their Applications

    International Conference, Paris, France, September 19-21, 1990
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53101-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brookes / Winskel / Roscoe | Seminar on Concurrency | Buch | Sack Fachmedien

    Brookes / Winskel / Roscoe Seminar on Concurrency

    Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-15670-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganzinger | ESOP '88 | Buch | Sack Fachmedien

    Ganzinger ESOP '88

    2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19027-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taubner | Finite Representations of CCS and TCSP Programs by Automata and Petri Nets | Buch | Sack Fachmedien

    Taubner Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51525-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karagiannis | Information Systems and Artificial Intelligence: Integration Aspects | Buch | Sack Fachmedien

    Karagiannis Information Systems and Artificial Intelligence: Integration Aspects

    First Workshop, Ulm, FRG, March 19-21, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53557-7
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krieg-Brückner | ESOP '92 | Buch | Sack Fachmedien

    Krieg-Brückner ESOP '92

    4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55253-6
    Medium: Buch
    53,49 € (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
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58434-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Rozenberg / Roever | A Decade of Concurrency: Reflections and Perspectives | Buch | Sack Fachmedien

    Bakker / Rozenberg / Roever A Decade of Concurrency: Reflections and Perspectives

    Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58043-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ukkonen / Galil | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Ukkonen / Galil Combinatorial Pattern Matching

    6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60044-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rossi / Montanari | Principles and Practice of Constraint Programming - CP '95 | Buch | Sack Fachmedien

    Rossi / Montanari Principles and Practice of Constraint Programming - CP '95

    First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60299-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Secord / Gulliver | Information Theory and Applications | Buch | Sack Fachmedien

    Secord / Gulliver Information Theory and Applications

    Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57936-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen | Application and Theory of Petri Nets 1992 | Buch | Sack Fachmedien

    Jensen Application and Theory of Petri Nets 1992

    13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55676-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Moral / Kruse | Symbolic and Quantitative Approaches to Reasoning and Uncertainty | Buch | Sack Fachmedien

    Clarke / Moral / Kruse Symbolic and Quantitative Approaches to Reasoning and Uncertainty

    European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57395-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sadeghiyan / Pieprzyk | Design of Hashing Algorithms | Buch | Sack Fachmedien

    Sadeghiyan / Pieprzyk Design of Hashing Algorithms

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57500-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camilleri / Melham | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Camilleri / Melham Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58450-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