Ergebnisse filtern
Fachgebiet
Medium
  • 3851
  • 1260
  • 5
  • 2
Erscheinungsjahr
  • 43
  • 173
  • 259
  • 1089
  • 221
  • 198
  • 202
  • 215
  • 201
  • 210
  • 198
  • 179
  • 121
  • 131
  • 74
  • 72
  • 54
  • 187
  • 115
  • 119
  • 74
  • 68
  • 57
  • 68
  • 82
  • 80
  • 72
  • 70
  • 50
  • 35
  • 64
  • 43
  • 22
  • 31
  • 16
  • 20
  • 17
  • 19
  • 17
  • 20
  • 15
  • 13
  • 12
  • 15
  • 6
  • 8
  • 9
  • 9
  • 6
  • 4
  • 4
  • 3
  • 1
  • 4
  • 4
  • 4
  • 3
  • 3
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 8
  • 3
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 8
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 74
  • 8
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 4
  • 8
  • 13
  • 10
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 10
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 8
  • 3
  • 8
  • 5
  • 3
  • 3
  • 5
  • 3
  • 5
  • 10
  • 13
  • 12
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 12
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 4
  • 5
  • 9
  • 5
  • 6
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 7
  • 3
  • 7
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 13
  • 3
  • 3
  • 3
  • 7
  • 5
  • 7
  • 3
  • 3
  • 11
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
Verlag
  • 7
  • 1
  • 1
  • 1
  • 1001
  • 11
  • 35
  • 1
  • 1
  • 37
  • 9
  • 5
  • 1
  • 2
  • 102
  • 79
  • 173
  • 1
  • 2
  • 145
  • 1217
  • 1
  • 1
  • 1
  • 1
  • 24
  • 52
  • 2
  • 2
  • 1
  • 1
  • 24
  • 2
  • 15
  • 11
  • 2
  • 3
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 26
  • 2
  • 2
  • 49
  • 22
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 5
  • 16
  • 5
  • 1
  • 43
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 14
  • 1
  • 5
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 9
  • 17
  • 92
  • 4
  • 13
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1202
  • 6
  • 2
  • 3
  • 7
  • 1
  • 5
  • 6
  • 22
  • 22
  • 1
  • 1
  • 3
  • 10
  • 1
  • 1
  • 1
  • 2
  • 81
  • 13
  • 74
  • 21
  • 11
  • 1
  • 9
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 114
  • 4
  • 11
  • 1
  • 55
  • 10
  • 9
  • 2
  • 1
  • 20
  • 4
  • 1
  • 3
  • 1
  • 3
Preis
  • 328
  • 1857
  • 2055
  • 878
Sprachen
  • 4412
  • 706
  • 4
  • 1
Verfügbarkeit
  • 4949
  • 169
Eigenschaften
  • 2
Katalog
  • 5118
  • 186
5.118  Titel
    Tiuryn | Foundation of Software Science and Computation Structures | Buch | Sack Fachmedien

    Tiuryn Foundation of Software Science and Computation Structures

    Third International Conference, FOSSACS 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
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67257-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martin-Vide / Fernau / Dediu | Language and Automata Theory and Applications | Buch | Sack Fachmedien

    Martin-Vide / Fernau / Dediu Language and Automata Theory and Applications

    4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13088-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dahl / Wadler | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Dahl / Wadler Practical Aspects of Declarative Languages

    5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00389-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koopman / Swierstra | Advanced Functional Programming | Buch | Sack Fachmedien

    Koopman / Swierstra Advanced Functional Programming

    6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04651-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosch / Gabelaia / Lang | Logic, Language, and Computation | Buch | Sack Fachmedien

    Bosch / Gabelaia / Lang Logic, Language, and Computation

    7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00664-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manca | Python Arithmetic | Buch | Sack Fachmedien

    Manca Python Arithmetic

    The Informational Nature of Numbers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66544-8
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Hentenryck | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    van Hentenryck Practical Aspects of Declarative Languages

    8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30947-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hou / Kumar | Packets with Deadlines | Buch | Sack Fachmedien

    Hou / Kumar Packets with Deadlines

    A Framework for Real-Time Wireless Networks
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-031-79256-4
    Medium: Buch
    35,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ying / Zhu | Diffusion Source Localization in Large Networks | Buch | Sack Fachmedien

    Ying / Zhu Diffusion Source Localization in Large Networks

    Erscheinungsjahr 2018
    Verlag: Springer
    ISBN: 978-3-031-79284-7
    Medium: Buch
    56,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanck / Brattka / Hertling | Computability and Complexity in Analysis | Buch | Sack Fachmedien

    Blanck / Brattka / Hertling Computability and Complexity in Analysis

    4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42197-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Son / van Riemsdijk | Declarative Agent Languages and Technologies VI | Buch | Sack Fachmedien

    Baldoni / Son / van Riemsdijk Declarative Agent Languages and Technologies VI

    6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-540-93919-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Telang | Beginning Cloud Native Development with MicroProfile, Jakarta EE, and Kubernetes | Buch | Sack Fachmedien

    Telang Beginning Cloud Native Development with MicroProfile, Jakarta EE, and Kubernetes

    Java DevOps for Building and Deploying Microservices-based Applications
    1. Auflage 2022
    Verlag: Apress
    ISBN: 978-1-4842-8831-3
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nunez / Baker / Merayo | Testing of Software and Communication Systems | Buch | Sack Fachmedien

    Nunez / Baker / Merayo Testing of Software and Communication Systems

    21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-05030-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pacholski / Tiuryn | Computer Science Logic | Buch | Sack Fachmedien

    Pacholski / Tiuryn Computer Science Logic

    8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60017-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bottaci / Fraser | Testing: Academic and Industrial Conference - Practice and Research Techniques | Buch | Sack Fachmedien

    Bottaci / Fraser Testing: Academic and Industrial Conference - Practice and Research Techniques

    5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15584-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Hermenegildo | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation

    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11318-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bischof | The .NET Languages | Buch | Sack Fachmedien

    Bischof The .NET Languages

    A Quick Translation Guide
    1. Auflage 2001
    Verlag: Apress
    ISBN: 978-1-893115-48-4
    Medium: Buch
    27,81 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Hinchey | ZUM '95: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Hinchey ZUM '95: The Z Formal Specification Notation

    9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60271-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taft / Duff / Brukardt | Ada 2012 Reference Manual. Language and Standard Libraries | Buch | Sack Fachmedien

    Taft / Duff / Brukardt Ada 2012 Reference Manual. Language and Standard Libraries

    International Standard ISO/IEC 8652/2012 (E)
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-45418-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Büning / Schmitgen | Prolog | Buch | Sack Fachmedien

    Büning / Schmitgen Prolog

    Grundlagen und Anwendungen
    1. Auflage 1986
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02484-2
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fraser / Gargantini | Tests and Proofs | Buch | Sack Fachmedien

    Fraser / Gargantini Tests and Proofs

    4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13976-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palsberg / Su | Static Analysis | Buch | Sack Fachmedien

    Palsberg / Su Static Analysis

    16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03236-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bradfield | Computer Science Logic | Buch | Sack Fachmedien

    Bradfield Computer Science Logic

    16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44240-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blass / Dershowitz / Reisig | Fields of Logic and Computation | Buch | Sack Fachmedien

    Blass / Dershowitz / Reisig Fields of Logic and Computation

    Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15024-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taha | Domain-Specific Languages | Buch | Sack Fachmedien

    Taha Domain-Specific Languages

    IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03033-8
    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