Ergebnisse filtern
Fachgebiet
Medium
  • 359
  • 20
Erscheinungsjahr
  • 22
  • 21
  • 2
  • 2
  • 6
  • 1
  • 7
  • 6
  • 6
  • 7
  • 10
  • 21
  • 48
  • 98
  • 11
  • 9
  • 3
  • 3
  • 4
  • 3
  • 3
  • 1
  • 4
  • 20
  • 18
  • 14
  • 7
  • 7
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 10
  • 2
  • 2
  • 1
  • 21
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 260
  • 1
  • 6
  • 8
  • 43
  • 2
  • 2
  • 1
  • 3
  • 4
  • 1
Preis
  • 4
  • 38
  • 200
  • 137
Sprachen
  • 349
  • 30
Verfügbarkeit
  • 377
  • 2
Katalog
  • 379
  • 15
379  Titel
    Interaction Between Compilers and Computer Architectures | Buch | Sack Fachmedien

    Interaction Between Compilers and Computer Architectures

    2001
    Verlag: Springer US
    ISBN: 978-0-7923-7370-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Luo / McKinna | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pop / Madsen / Alistar | Fault-Tolerant Digital Microfluidic Biochips | Buch | Sack Fachmedien

    Pop / Madsen / Alistar Fault-Tolerant Digital Microfluidic Biochips

    Compilation and Synthesis
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23071-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bromley | Lisp Lore: A Guide to Programming the Lisp Machine | Buch | Sack Fachmedien

    Bromley Lisp Lore: A Guide to Programming the Lisp Machine

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-5670-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berger / Schwichtenberg | Computational Logic | Buch | Sack Fachmedien

    Berger / Schwichtenberg Computational Logic

    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-642-63670-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guida / Zanella / Lamperti | Software Prototyping in Data and Knowledge Engineering | Buch | Sack Fachmedien

    Guida / Zanella / Lamperti Software Prototyping in Data and Knowledge Engineering

    1999
    Verlag: Springer Netherlands
    ISBN: 978-94-010-5849-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pavlidis | Fundamentals of X Programming | Buch | Sack Fachmedien

    Pavlidis Fundamentals of X Programming

    Graphical User Interfaces and Beyond
    2002
    Verlag: Springer US
    ISBN: 978-1-4757-8256-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garrigue / Hermenegildo | Functional and Logic Programming | Buch | Sack Fachmedien

    Garrigue / Hermenegildo Functional and Logic Programming

    9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78968-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Sadayappan / Banerjee | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Huang / Sadayappan / Banerjee Languages and Compilers for Parallel Computing

    8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60765-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Espinosa / Klemm / de Supinski | Advancing OpenMP for Future Accelerators | Buch | Sack Fachmedien

    Espinosa / Klemm / de Supinski Advancing OpenMP for Future Accelerators

    20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-72566-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Wang / Chen | Advanced Computer Architecture | Buch | Sack Fachmedien

    Wu / Wang / Chen Advanced Computer Architecture

    10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014. Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-662-44490-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stoyenko | Constructing Predictable Real Time Systems | Buch | Sack Fachmedien

    Stoyenko Constructing Predictable Real Time Systems

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6803-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chingleput Sathyakumar | Practical Marko | Buch | Sack Fachmedien

    Chingleput Sathyakumar Practical Marko

    Progressive HTML Rendering and Micro Front-Ends
    1. Auflage 2025
    Verlag: Apress
    ISBN: 979-8-8688-1482-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lohstroh / Derler / Sirjani | Principles of Modeling | Buch | Sack Fachmedien

    Lohstroh / Derler / Sirjani Principles of Modeling

    Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-95245-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang | Programming Languages and Systems | Buch | Sack Fachmedien

    Yang Programming Languages and Systems

    9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25317-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauber Du Bois / Trinder | Programming Languages | Buch | Sack Fachmedien

    Rauber Du Bois / Trinder Programming Languages

    17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40921-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calvaresi / Najjar / Omicini | Explainable and Transparent AI and Multi-Agent Systems | Buch | Sack Fachmedien

    Calvaresi / Najjar / Omicini Explainable and Transparent AI and Multi-Agent Systems

    6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-70073-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ding / Criswell / Wu | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Ding / Criswell / Wu Languages and Compilers for Parallel Computing

    29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-52708-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettersson | Compiling Natural Semantics | Buch | Sack Fachmedien

    Pettersson Compiling Natural Semantics

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65968-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lokuciejewski / Marwedel | Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems | Buch | Sack Fachmedien

    Lokuciejewski / Marwedel Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

    2011. Auflage 2010
    Verlag: Springer
    ISBN: 978-90-481-9928-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spaerck Jones / Herbert | Computer Systems | Buch | Sack Fachmedien

    Spaerck Jones / Herbert Computer Systems

    Theory, Technology, and Applications
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-4757-8075-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghosh | Algorithm Design for Networked Information Technology Systems | Buch | Sack Fachmedien

    Ghosh Algorithm Design for Networked Information Technology Systems

    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-4757-8066-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergeron | Writing Testbenches: Functional Verification of HDL Models | Buch | Sack Fachmedien

    Bergeron Writing Testbenches: Functional Verification of HDL Models

    2. Auflage 2003
    Verlag: Springer US
    ISBN: 978-1-4613-5012-5
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Curien | Categorical Combinators, Sequential Algorithms, and Functional Programming | Buch | Sack Fachmedien

    Curien Categorical Combinators, Sequential Algorithms, and Functional Programming

    1. Auflage 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-6704-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blikle / Barstow / Wirth | MetaSoft Primer | Buch | Sack Fachmedien

    Blikle / Barstow / Wirth MetaSoft Primer

    Towards a Metalanguage for Applied Denotational Semantics
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18657-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Remke / Steffen | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Remke / Steffen Formal Methods for Industrial Critical Systems

    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00941-8
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Zimmermann / Peuser / Tomlinson | Perspectives on Web Services | Buch | Sack Fachmedien

    Zimmermann / Peuser / Tomlinson Perspectives on Web Services

    Applying SOAP, WSDL and UDDI to Real-World Projects
    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-62468-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rüthing | Interacting Code Motion Transformations: Their Impact and Their Complexity | Buch | Sack Fachmedien

    Rüthing Interacting Code Motion Transformations: Their Impact and Their Complexity

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65510-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dignum / Greaves | Issues in Agent Communication | Buch | Sack Fachmedien

    Dignum / Greaves Issues in Agent Communication

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41144-4
    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
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41054-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cardoso / Petrov / Diniz | Compilation and Synthesis for Embedded Reconfigurable Systems | Buch | Sack Fachmedien

    Cardoso / Petrov / Diniz Compilation and Synthesis for Embedded Reconfigurable Systems

    An Aspect-Oriented Approach
    2013
    Verlag: Springer
    ISBN: 978-1-4899-8834-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bausum | TeX Reference Manual | Buch | Sack Fachmedien

    Bausum TeX Reference Manual

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4613-5315-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strzalkowski | Reversible Grammar in Natural Language Processing | Buch | Sack Fachmedien

    Strzalkowski Reversible Grammar in Natural Language Processing

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6173-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajopadhye / Mills Strout | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Rajopadhye / Mills Strout Languages and Compilers for Parallel Computing

    24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36035-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marelly / Harel | Come, Let's Play | Buch | Sack Fachmedien

    Marelly / Harel Come, Let's Play

    Scenario-Based Programming Using LSCs and the Play-Engine
    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-62416-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Safonov | Trustworthy Compilers | Buch | Sack Fachmedien

    Safonov Trustworthy Compilers

    1. Auflage 2010
    Verlag: Wiley
    ISBN: 978-0-470-50095-8
    Medium: Buch
    159,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Loftus / Hunt | Guide to J2EE: Enterprise Java | Buch | Sack Fachmedien

    Loftus / Hunt Guide to J2EE: Enterprise Java

    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4471-1126-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ryan | Automatic Re-engineering of Software Using Genetic Programming | Buch | Sack Fachmedien

    Ryan Automatic Re-engineering of Software Using Genetic Programming

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-7094-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergin | Data Structure Programming | Buch | Sack Fachmedien

    Bergin Data Structure Programming

    With the Standard Template Library in C++
    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-1-4612-7223-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holub | Holub on Patterns | Buch | Sack Fachmedien

    Holub Holub on Patterns

    Learning Design Patterns by Looking at Code
    1. Auflage 2013
    Verlag: Apress
    ISBN: 978-1-4302-5361-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinze | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Hinze Implementation and Application of Functional Languages

    24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41581-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamperti / Cacace | Advanced Relational Programming | Buch | Sack Fachmedien

    Lamperti / Cacace Advanced Relational Programming

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer
    ISBN: 978-94-010-3742-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leroy / Ohori | Types in Compilation | Buch | Sack Fachmedien

    Leroy / Ohori Types in Compilation

    Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64925-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beng Kee Kiong | Compiler Technology | Buch | Sack Fachmedien

    Beng Kee Kiong Compiler Technology

    Tools, Translators and Language Implementation
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7784-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuschel / Ishikawa | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Leuschel / Ishikawa Rigorous State-Based Methods

    11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94532-8
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lozano / Larrañaga | Estimation of Distribution Algorithms | Buch | Sack Fachmedien

    Lozano / Larrañaga Estimation of Distribution Algorithms

    A New Tool for Evolutionary Computation
    2002
    Verlag: Springer US
    ISBN: 978-1-4613-5604-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flener | Logic Program Synthesis from Incomplete Information | Buch | Sack Fachmedien

    Flener Logic Program Synthesis from Incomplete Information

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5925-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Midkiff / Moreira / Gupta | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Midkiff / Moreira / Gupta Languages and Compilers for Parallel Computing

    13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42862-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramakrishnan | Applications of Logic Databases | Buch | Sack Fachmedien

    Ramakrishnan Applications of Logic Databases

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5926-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Endrullis / Tichy | Graph Transformation | Buch | Sack Fachmedien

    Endrullis / Tichy Graph Transformation

    18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94705-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levy | Call-By-Push-Value | Buch | Sack Fachmedien

    Levy Call-By-Push-Value

    A Functional/Imperative Synthesis
    2003
    Verlag: Springer Netherlands
    ISBN: 978-94-010-3752-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silvano / Bertels / Schulte | Transactions on High-Performance Embedded Architectures and Compilers V | Buch | Sack Fachmedien

    Silvano / Bertels / Schulte Transactions on High-Performance Embedded Architectures and Compilers V

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-58833-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ca?caval / Montesinos | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Ca?caval / Montesinos Languages and Compilers for Parallel Computing

    26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09966-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gutknecht / Weck | Modular Programming Languages | Buch | Sack Fachmedien

    Gutknecht / Weck Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chomicki / Saake | Logics for Databases and Information Systems | Buch | Sack Fachmedien

    Chomicki / Saake Logics for Databases and Information Systems

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-7582-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith / Talcott | Formal Methods for Open Object-Based Distributed Systems IV | Buch | Sack Fachmedien

    Smith / Talcott Formal Methods for Open Object-Based Distributed Systems IV

    IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4757-1018-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muneeswaran | Compiler Design (with CD) | Buch | Sack Fachmedien

    Muneeswaran Compiler Design (with CD)

    Erscheinungsjahr 2013
    Verlag: Oxford University Press
    ISBN: 978-0-19-806664-4
    Medium: Buch
    31,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mössenböck | Compiler Construction | Buch | Sack Fachmedien

    Mössenböck Compiler Construction

    Fundamentals and Applications
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-84812-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erwig / Paige / Van Wyk | Software Language Engineering | Buch | Sack Fachmedien

    Erwig / Paige / Van Wyk Software Language Engineering

    6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02653-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pearce | Programming and Meta-Programming in Scheme | Buch | Sack Fachmedien

    Pearce Programming and Meta-Programming in Scheme

    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-1-4612-7243-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shao | Programming Languages and Systems | Buch | Sack Fachmedien

    Shao Programming Languages and Systems

    5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76636-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wei | C++ Template Metaprogramming in Practice | Buch | Sack Fachmedien

    Wei C++ Template Metaprogramming in Practice

    A Deep Learning Framework
    1. Auflage 2020
    Verlag: Auerbach Publications
    ISBN: 978-0-367-60956-6
    Medium: Buch
    137,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kacsuk / Kotsis | Distributed and Parallel Systems | Buch | Sack Fachmedien

    Kacsuk / Kotsis Distributed and Parallel Systems

    From Instruction Parallelism to Cluster Computing
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7023-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Craeynest / Strohmeier | Reliable Software Technologies - Ada-Europe 2001 | Buch | Sack Fachmedien

    Craeynest / Strohmeier Reliable Software Technologies - Ada-Europe 2001

    6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42123-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haxthausen / Serwe | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Haxthausen / Serwe Formal Methods for Industrial Critical Systems

    29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68149-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jähnichen | Compiler Construction | Buch | Sack Fachmedien

    Jähnichen Compiler Construction

    8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65717-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ågotnes / Doder | Logic and Argumentation | Buch | Sack Fachmedien

    Ågotnes / Doder Logic and Argumentation

    6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-967955-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tofte | Compiler Generators | Buch | Sack Fachmedien

    Tofte Compiler Generators

    What They Can Do, What They Might Do, and What They Will Probably Never Do
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51471-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ershov | Constructive Models | Buch | Sack Fachmedien

    Ershov Constructive Models

    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer US
    ISBN: 978-1-4613-6932-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grune / van Reeuwijk / Langendoen | Modern Compiler Design | Buch | Sack Fachmedien

    Grune / van Reeuwijk / Langendoen Modern Compiler Design

    Softcover Nachdruck of the original 2. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4939-4472-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanase / Teich / Hannig | Symbolic Parallelization of Nested Loop Programs | Buch | Sack Fachmedien

    Tanase / Teich / Hannig Symbolic Parallelization of Nested Loop Programs

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-08884-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carter / Ferrante | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Carter / Ferrante Languages and Compilers for Parallel Computing

    12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67858-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Catthoor / Raghavan / Lambrechts | Ultra-Low Energy Domain-Specific Instruction-Set Processors | Buch | Sack Fachmedien

    Catthoor / Raghavan / Lambrechts Ultra-Low Energy Domain-Specific Instruction-Set Processors

    2010. Auflage 2010
    Verlag: Springer
    ISBN: 978-90-481-9527-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crespi Reghizzi | Formal Languages and Compilation | Buch | Sack Fachmedien

    Crespi Reghizzi Formal Languages and Compilation

    1. Auflage. Softcover version of original hardcover Auflage 2009
    Verlag: Springer
    ISBN: 978-1-84996-817-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Businger | PORTAL Language Description | Buch | Sack Fachmedien

    Businger PORTAL Language Description

    2. extended Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18960-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crespi Reghizzi / Morzenti / Breveglieri | Formal Languages and Compilation | Buch | Sack Fachmedien

    Crespi Reghizzi / Morzenti / Breveglieri Formal Languages and Compilation

    Third Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04878-5
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pardo / Swierstra | Programming Languages | Buch | Sack Fachmedien

    Pardo / Swierstra Programming Languages

    19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24011-4
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith | The Object-Z Specification Language | Buch | Sack Fachmedien

    Smith The Object-Z Specification Language

    2000
    Verlag: Springer US
    ISBN: 978-1-4613-7401-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karrenberg | Automatic SIMD Vectorization of SSA-based Control Flow Graphs | Buch | Sack Fachmedien

    Karrenberg Automatic SIMD Vectorization of SSA-based Control Flow Graphs

    2015
    Verlag: Springer
    ISBN: 978-3-658-10112-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heidrich / Grossetie | Computing with T.Node Parallel Architecture | Buch | Sack Fachmedien

    Heidrich / Grossetie Computing with T.Node Parallel Architecture

    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Springer
    ISBN: 978-94-010-5546-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pop / Madsen / Alistar | Fault-Tolerant Digital Microfluidic Biochips | Buch | Sack Fachmedien

    Pop / Madsen / Alistar Fault-Tolerant Digital Microfluidic Biochips

    Compilation and Synthesis
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-37333-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogler / Kühnemann | Attributgrammatiken | Buch | Sack Fachmedien

    Vogler / Kühnemann Attributgrammatiken

    Eine grundlegende Einführung
    1997
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05582-0
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi | CONCUR 2000 - Concurrency Theory | Buch | Sack Fachmedien

    Palamidessi CONCUR 2000 - Concurrency Theory

    11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67897-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Moor / Schwartzbach | Compiler Construction | Buch | Sack Fachmedien

    de Moor / Schwartzbach Compiler Construction

    18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bal / Belkhouche / Cardelli | Internet Programming Languages | Buch | Sack Fachmedien

    Bal / Belkhouche / Cardelli Internet Programming Languages

    ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66673-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Boyle | Compiler Construction | Buch | Sack Fachmedien

    O'Boyle Compiler Construction

    21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28651-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staub / Singla | Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education | Buch | Sack Fachmedien

    Staub / Singla Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education

    18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, Trier, Germany, September 8-10, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01221-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Dittrich / Guerrini / Merlo | Objects and Databases | Buch | Sack Fachmedien

    Dittrich / Guerrini / Merlo Objects and Databases

    International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41664-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi / Gorla | Static Analysis | Buch | Sack Fachmedien

    Giacobazzi / Gorla Static Analysis

    31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-74775-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thiemann | Programming Languages and Systems | Buch | Sack Fachmedien

    Thiemann Programming Languages and Systems

    25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49497-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choudhary / Berra | Proceedings of the 1993 International Conference on Parallel Processing | Buch | Sack Fachmedien

    Choudhary / Berra Proceedings of the 1993 International Conference on Parallel Processing

    1. Auflage 1993
    Verlag: Taylor & Francis Inc
    ISBN: 978-0-8493-8985-6
    Medium: Buch
    210,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cointe | Meta-Level Architectures and Reflection | Buch | Sack Fachmedien

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Kacsuk / Podhorszki | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Dongarra / Kacsuk / Podhorszki Recent Advances in Parallel Virtual Machine and Message Passing Interface

    7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41010-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almási / Cascaval / Wu | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Almási / Cascaval / Wu Languages and Compilers for Parallel Computing

    19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72520-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christian | A Guide to Modula-2 | Buch | Sack Fachmedien

    Christian A Guide to Modula-2

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4612-9349-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Wang / Zhan | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    André / Wang / Zhan Formal Methods and Software Engineering

    26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-954212-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer | Grundkurs Compilerbau | Buch | Sack Fachmedien

    Meyer Grundkurs Compilerbau

    Aus der Buchreihe 'Informatik verstehen'. Ideal zum Selbststudium und für die Uni-Vorlesung - Ausgabe 2024
    2. aktualisierte Auflage 2024
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-8362-9671-7
    Medium: Buch
    29,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Jeffery | Build Your Own Programming Language | eBook | Sack Fachmedien
    E-Book

    Jeffery Build Your Own Programming Language

    A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-1-80020-033-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    59,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kuper / Libkin / Paredaens | Constraint Databases | Buch | Sack Fachmedien

    Kuper / Libkin / Paredaens Constraint Databases

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66151-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laplante / Ovaska | Real-Time Systems Design 4E | Buch | Sack Fachmedien

    Laplante / Ovaska Real-Time Systems Design 4E

    4th Auflage
    Verlag: Wiley
    ISBN: 978-0-470-76864-8
    Medium: Buch
    152,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular