Ergebnisse filtern
Fachgebiet
Medium
  • 1431
  • 72
  • 1
  • 1
Erscheinungsjahr
  • 7
  • 21
  • 44
  • 39
  • 35
  • 26
  • 25
  • 21
  • 32
  • 9
  • 22
  • 6
  • 14
  • 9
  • 4
  • 9
  • 63
  • 33
  • 71
  • 144
  • 129
  • 105
  • 58
  • 71
  • 42
  • 60
  • 39
  • 34
  • 37
  • 29
  • 44
  • 32
  • 29
  • 38
  • 18
  • 34
  • 18
  • 13
  • 14
  • 10
  • 6
  • 2
  • 1
  • 2
  • 3
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 6
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 1
  • 125
  • 1
  • 5
  • 1
  • 1
  • 4
  • 35
  • 1
  • 5
  • 65
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 6
  • 2
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 9
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1058
  • 47
  • 6
  • 5
  • 8
  • 11
  • 9
  • 15
  • 4
  • 5
  • 5
  • 1
  • 17
  • 1
  • 12
  • 1
  • 1
  • 1
  • 1
Preis
  • 20
  • 169
  • 951
  • 365
Sprachen
  • 1478
  • 26
  • 2
Verfügbarkeit
  • 1492
  • 13
Katalog
  • 1505
  • 91
1.505  Treffer  für „Design“
    Leuschel | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Leuschel Logic Based Program Synthesis and Transformation

    12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40438-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poli | Applied Algebra, Algorithmics and Error-Correcting Codes | Buch | Sack Fachmedien

    Poli Applied Algebra, Algorithmics and Error-Correcting Codes

    2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16767-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katwijk | Ada: Moving Towards 2000 | Buch | Sack Fachmedien

    Katwijk Ada: Moving Towards 2000

    11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55585-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bongiovanni / Bovet / Di Battista | Algorithms and Complexity | Buch | Sack Fachmedien

    Bongiovanni / Bovet / Di Battista Algorithms and Complexity

    Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62592-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jay | Pattern Calculus | Buch | Sack Fachmedien

    Jay Pattern Calculus

    Computing with Functions and Structures
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89184-0
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Schwartzbach | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Graf / Schwartzbach Tools and Algorithms for the Construction and Analysis of Systems

    6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67282-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polk | Coding Android Apps | Buch | Sack Fachmedien

    Polk Coding Android Apps

    1. Auflage 2024
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-032-26059-4
    Medium: Buch
    207,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Li / Znati | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Cheng / Li / Znati Wireless Algorithms, Systems, and Applications

    First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37189-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snášel / Szczepaniak / Abraham | Advances in Intelligent Web Mastering - 2 | Buch | Sack Fachmedien

    Snášel / Szczepaniak / Abraham Advances in Intelligent Web Mastering - 2

    Proceedings of the 6th Atlantic Web Intelligence Conference - AWIC'2009, Prague, Czech Republic, September, 2009
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-10686-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth / Yamamoto | Inductive Logic Programming | Buch | Sack Fachmedien

    Horváth / Yamamoto Inductive Logic Programming

    13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alain | Advances in Computing Science - ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing | Buch | Sack Fachmedien

    Alain Advances in Computing Science - ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing

    7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00195-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Labarta / Joe / Sato | High-Performance Computing | Buch | Sack Fachmedien

    Labarta / Joe / Sato High-Performance Computing

    6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77703-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kagström / Dongarra / Elmroth | Applied Parallel Computing. Large Scale Scientific and Industrial Problems | Buch | Sack Fachmedien

    Kagström / Dongarra / Elmroth Applied Parallel Computing. Large Scale Scientific and Industrial Problems

    4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65414-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivé | Conceptual Modeling of Information Systems | Buch | Sack Fachmedien

    Olivé Conceptual Modeling of Information Systems

    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-39389-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Vardanega | Reliable Software Technologies - Ada-Europe 2008 | Buch | Sack Fachmedien

    Kordon / Vardanega Reliable Software Technologies - Ada-Europe 2008

    13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68621-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben-David | Computational Learning Theory | Buch | Sack Fachmedien

    Ben-David Computational Learning Theory

    Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17 - 19, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62685-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erlebach / Kaklamanis | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Erlebach / Kaklamanis Approximation and Online Algorithms

    4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-69513-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutvonen | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Kutvonen Distributed Applications and Interoperable Systems

    5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26262-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hurd / Melham | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Hurd / Melham Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28372-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adi / Stoutenburg / Tabet | Rules and Rule Markup Languages for the Semantic Web | Buch | Sack Fachmedien

    Adi / Stoutenburg / Tabet Rules and Rule Markup Languages for the Semantic Web

    First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29922-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Reed / Jiang | Network and Parallel Computing | Buch | Sack Fachmedien

    Jin / Reed / Jiang Network and Parallel Computing

    IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29810-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertino / Urban | Object-Oriented Methodologies and Systems | Buch | Sack Fachmedien

    Bertino / Urban Object-Oriented Methodologies and Systems

    International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58451-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fribourg / Turini | Logic Program Synthesis and Transformation - Meta-Programming in Logic | Buch | Sack Fachmedien

    Fribourg / Turini Logic Program Synthesis and Transformation - Meta-Programming in Logic

    4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58792-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Brinksma Tools and Algorithms for the Construction and Analysis of Systems

    Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62790-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitter / Zaroliagis | Algorithm Engineering | Buch | Sack Fachmedien

    Vitter / Zaroliagis Algorithm Engineering

    3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66427-7
    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