Ergebnisse filtern
Fachgebiet
Medium
  • 3184
  • 491
  • 5
  • 5
Erscheinungsjahr
  • 1
  • 4
  • 132
  • 256
  • 260
  • 247
  • 219
  • 234
  • 245
  • 212
  • 177
  • 135
  • 131
  • 68
  • 60
  • 41
  • 104
  • 105
  • 115
  • 71
  • 55
  • 48
  • 58
  • 72
  • 64
  • 60
  • 60
  • 44
  • 33
  • 60
  • 38
  • 22
  • 28
  • 16
  • 18
  • 16
  • 18
  • 17
  • 19
  • 15
  • 13
  • 13
  • 15
  • 6
  • 8
  • 9
  • 9
  • 5
  • 3
  • 4
  • 3
  • 1
  • 2
  • 3
  • 3
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 4
  • 2
  • 6
  • 7
  • 3
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 4
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 17
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 7
  • 6
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 6
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 16
  • 3
  • 4
  • 4
  • 5
  • 12
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 5
  • 7
  • 3
  • 4
  • 7
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
Verlag
  • 2
  • 1
  • 1
  • 834
  • 11
  • 1
  • 14
  • 1
  • 2
  • 1
  • 1
  • 10
  • 7
  • 1
  • 2
  • 49
  • 70
  • 1
  • 2
  • 1
  • 3
  • 93
  • 489
  • 1
  • 1
  • 2
  • 1
  • 14
  • 61
  • 1
  • 1
  • 13
  • 12
  • 2
  • 3
  • 1
  • 1
  • 3
  • 3
  • 2
  • 48
  • 2
  • 2
  • 1
  • 13
  • 16
  • 2
  • 2
  • 2
  • 4
  • 4
  • 6
  • 1
  • 2
  • 8
  • 1
  • 12
  • 14
  • 1
  • 8
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 5
  • 9
  • 100
  • 1
  • 1
  • 2
  • 2
  • 2
  • 295
  • 1
  • 376
  • 202
  • 3
  • 69
  • 21
  • 14
  • 5
  • 62
  • 5
  • 3
  • 33
  • 1
  • 1
  • 1
  • 1
  • 19
  • 22
  • 167
  • 48
  • 22
  • 1
  • 1
  • 8
  • 1
  • 1
  • 9
  • 2
  • 5
  • 1
  • 2
  • 2
  • 115
  • 1
  • 1
  • 1
  • 76
  • 6
  • 20
  • 3
  • 23
  • 1
  • 1
  • 6
Preis
  • 130
  • 1314
  • 1615
  • 626
Sprachen
  • 3023
  • 660
  • 6
Verfügbarkeit
  • 3588
  • 97
Eigenschaften
  • 7
Katalog
  • 3685
  • 130
3.685  Titel
    Podelski / Cook | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Podelski / Cook Verification, Model Checking, and Abstract Interpretation

    8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69735-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van der Meyden / van der Torre | Deontic Logic in Computer Science | Buch | Sack Fachmedien

    van der Meyden / van der Torre Deontic Logic in Computer Science

    9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-70524-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Paulin-Mohring / Audebaud | Mathematics of Program Construction | Buch | Sack Fachmedien

    Paulin-Mohring / Audebaud Mathematics of Program Construction

    9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70593-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettersson | Compiling Natural Semantics | Buch | Sack Fachmedien

    Pettersson Compiling Natural Semantics

    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65968-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitor / Pontelli | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Vitor / Pontelli Practical Aspects of Declarative Languages

    Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66992-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Nipkow Rewriting Techniques and Applications

    9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Le Metayer / Garlan | Coordination Languages and Models | Buch | Sack Fachmedien

    Le Metayer / Garlan Coordination Languages and Models

    Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63383-9
    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
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63468-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horimoto / Yoshida / Regensburger | Algebraic Biology | Buch | Sack Fachmedien

    Horimoto / Yoshida / Regensburger Algebraic Biology

    Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85100-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heering / Nipkow / Meinke | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Heering / Nipkow / Meinke Higher-Order Algebra, Logic, and Term Rewriting

    First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58233-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greenfield | Distributed Programming Paradigms with Cryptography Applications | Buch | Sack Fachmedien

    Greenfield Distributed Programming Paradigms with Cryptography Applications

    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58496-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Saraiva / Dybjer | Applied Semantics | Buch | Sack Fachmedien

    Barthe / Saraiva / Dybjer Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44044-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bancilhon / Tsichritzis / Thanos | Advances in Database Technology - EDBT '90 | Buch | Sack Fachmedien

    Bancilhon / Tsichritzis / Thanos Advances in Database Technology - EDBT '90

    International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings.
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52291-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arts / Pena | Implementation of Functional Languages | Buch | Sack Fachmedien

    Arts / Pena Implementation of Functional Languages

    14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40190-2
    Medium: Buch
    53,49 € (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
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40254-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Term Rewriting and Applications | Buch | Sack Fachmedien

    Pfenning Term Rewriting and Applications

    17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-36834-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Pollack / Luo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Pollack / Luo Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akman / Young / Bouquet | Modeling and Using Context | Buch | Sack Fachmedien

    Akman / Young / Bouquet Modeling and Using Context

    Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42379-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pierce / Kobayashi | Theoretical Aspects of Computer Software | Buch | Sack Fachmedien

    Pierce / Kobayashi Theoretical Aspects of Computer Software

    4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42736-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jürgensen / Boldt | Automata Implementation | Buch | Sack Fachmedien

    Jürgensen / Boldt Automata Implementation

    4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42812-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Maluszynski / Lorho | Programming Languages Implementation and Logic Programming | Buch | Sack Fachmedien

    Deransart / Maluszynski / Lorho Programming Languages Implementation and Logic Programming

    International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50820-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Richter / Kleine Büning | CSL'88 | Buch | Sack Fachmedien

    Börger / Richter / Kleine Büning CSL'88

    2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51659-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taha | Semantics, Applications, and Implementation of Program Generation | Buch | Sack Fachmedien

    Taha Semantics, Applications, and Implementation of Program Generation

    International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41054-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greaves / Dignum | Issues in Agent Communication | Buch | Sack Fachmedien

    Greaves / Dignum Issues in Agent Communication

    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41144-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dzeroski / Cussens | Learning Language in Logic | Buch | Sack Fachmedien

    Dzeroski / Cussens Learning Language in Logic

    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41145-1
    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