Fachgebiet
Medium
  • 383
  • 20
Erscheinungsjahr
  • 5
  • 17
  • 22
  • 28
  • 1
  • 3
  • 1
  • 7
  • 5
  • 5
  • 7
  • 12
  • 21
  • 48
  • 98
  • 11
  • 8
  • 3
  • 3
  • 4
  • 1
  • 3
  • 5
  • 1
  • 4
  • 20
  • 17
  • 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
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 1
  • 2
  • 3
  • 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
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 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
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 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
  • 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
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 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
  • 3
  • 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
  • 2
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 10
  • 2
  • 2
  • 4
  • 1
  • 22
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 313
  • 2
  • 2
  • 3
  • 3
  • 11
  • 2
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
Preis
  • 4
  • 39
  • 216
  • 144
Sprachen
  • 372
  • 31
Verfügbarkeit
  • 389
  • 14
Katalog
  • 403
  • 15
403  Titel


    Tanase / Hannig / Teich Symbolic Parallelization of Nested Loop Programs

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-08884-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Crespi Reghizzi / Breveglieri / Morzenti Formal Languages and Compilation

    Third Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-04878-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Hunt / Loftus Guide to J2EE: Enterprise Java

    1. Auflage 2012
    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

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

    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

    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

    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

    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

    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
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Mössenböck Compiler Construction

    Fundamentals and Applications
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-84812-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Appel Modern Compiler Implementation in C

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60765-0
    Medium: Buch
    104,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mukherjee Applied Mathematics with F

    Erscheinungsjahr 2026
    Verlag: Springer Nature Switzerland AG
    ISBN: 978-981-969633-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Calvaresi / Najjar / Omicini Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

    8th International Workshop, EXTRAAMAS 2026, Paphos, Cyprus, May 25-26, 2026, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer Nature Switzerland AG
    ISBN: 978-3-032-38435-5
    Medium: Buch
    62,05 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Grune / van Reeuwijk / Bal 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

    Larrañaga / Lozano 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

    Taft / Duff / Brukardt Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes

    Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 Amendments
    Erscheinungsjahr 2027
    Verlag: Springer
    ISBN: 978-3-031-83734-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    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. 3 bis 4 Wochen
    Bereits im Warenkorb

    Pop / Alistar / Stuart Fault-Tolerant Digital Microfluidic Biochips

    Compilation and Synthesis
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-37333-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kühnemann / Vogler Attributgrammatiken

    Eine grundlegende Einführung
    1. Auflage 1997
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05582-0
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Heidrich / Grossetie Computing with T.Node Parallel Architecture

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-94-010-5546-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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. 3 bis 4 Wochen
    Bereits im Warenkorb

    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

    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

    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

    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

    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

    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

    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

    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

    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

    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

    Sobocinski / Bellucci / Moktefi Diagrammatic Representation and Inference

    15th International Conference, Diagrams 2026, Tallinn, Estonia, August 25-28, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-34177-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Decker / Rehmann Programming Environments for Massively Parallel Distributed Systems

    Working Conference of the IFIP WG 10.3, April 25-29, 1994
    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-3-0348-9668-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lipkin LaTeX for Linux

    A Vade Mecum
    1999
    Verlag: Springer US
    ISBN: 978-0-387-98708-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Formal Specification Techniques for Engineering Modular C Programs

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer US
    ISBN: 978-1-4613-6850-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Edwards Languages for Digital Embedded Systems

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6942-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Peng / Wang / Li Human Activity Recognition and Anomaly Detection

    4th International Workshop, DL-HAR 2024, and First International Workshop, ADFM 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3-9, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-981-97-9002-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kirli Mobile Computation with Functions

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4613-5348-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cooper / Torczon Engineering a Compiler

    3. Auflage 2022
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-12-815412-0
    Medium: Buch
    99,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Mogensen Introduction to Compiler Design

    Third Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-46459-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Abd-El-Hafiz / Basili A Knowledge-Based Approach to Program Understanding

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-5961-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Reiss The Field Programming Environment: A Friendly Integrated Environment for Learning and Development

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-5930-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mezini Variational Object-Oriented Programming Beyond Classes and Inheritance

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7574-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    van Tilborg / Koob Foundations of Real-Time Computing: Formal Specifications and Methods

    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Springer
    ISBN: 978-1-4613-6796-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wilhelm / Seidl / Hack Übersetzerbau

    Band 2: Syntaktische und semantische Analyse
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-01134-4
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Feagin Methoden der Quantenmechanik mit Mathematica®

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-08704-6
    Medium: Buch
    64,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bergé / Fonkoua / Maginot VHDL'92

    The New Features of the VHDL Hardware Description Language
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6427-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Stärk / Schmid / Börger Java and the Java Virtual Machine

    Definition, Verification, Validation
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-63997-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Guttman / Wand VLISP A Verified Implementation of Scheme

    A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-5991-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Davidson / Min Languages, Compilers, and Tools for Embedded Systems

    ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41781-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tanase / Hannig / Teich Symbolic Parallelization of Nested Loop Programs

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73908-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nolan Decompiling Android

    1. Auflage 2012
    Verlag: Apress
    ISBN: 978-1-4302-4248-2
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Deransart / Hermenegildo / Maluszynski Analysis and Visualization Tools for Constraint Programming

    Constraint Debugging
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41137-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dai Learning and Reasoning

    4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-09086-7
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roy Combinatorial Programming: Methods and Applications

    Proceedings of the NATO Advanced Study Institute held at the Palais des Congrès, Versailles, France, 2-13 September, 1974
    Softcover Nachdruck of the original 1. Auflage 1975
    Verlag: Springer Netherlands
    ISBN: 978-94-011-7559-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gries / de Roever Programming Concepts and Methods PROCOMET '98

    IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-6299-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gupta Multiprocessor Execution of Logic Programs

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-6200-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ashouri / Palermo / Cavazos Automatic Tuning of Compilers Using Machine Learning

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-71488-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nacke Learn LLVM 12

    A beginner's guide to learning LLVM compiler tools and core libraries with C++
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-83921-003-7
    Medium: eBook
    Format: EPUB
    Kopierschutz: 0 - No protection
    39,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Crespi Reghizzi Formal Languages and Compilation

    2. Printing.
    Verlag: Springer
    ISBN: 978-1-84882-049-4
    Medium: Buch
    58,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sikkel Parsing Schemata

    A Framework for Specification and Analysis of Parsing Algorithms
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-64451-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ábrahám / Abbas Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-74233-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Calvaresi / Najjar / Omicini Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

    7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19-20, 2025, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01398-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Oh / Sui Static Analysis

    32nd International Symposium, SAS 2025, Singapore, Singapore, October 13-14, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07105-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    D'Hondt Technology of Object-Oriented Languages, Systems and Architectures

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-5064-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Horspool Compiler Construction

    11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43369-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kittlaus / Rau / Schulz Software-Produkt-Management

    Nachhaltiger Erfolgsfaktor bei Herstellern und Anwendern
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-62334-9
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leupers / Marwedel Retargetable Compiler Technology for Embedded Systems

    Tools and Applications
    Softcover Nachdruck of hardcover 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4419-4928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vachoux / Bergé / Levia Analog and Mixed-Signal Hardware Description Language

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7891-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dori Object-Process Methodology

    A Holistic Systems Paradigm
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-62989-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barbier Business Component-Based Software Engineering

    2003
    Verlag: Springer
    ISBN: 978-1-4613-5429-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Marriott / Meyer Visual Language Theory

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4612-7240-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hammer Compiler Compilers

    Third International Workshop, CC `90. Schwerin, FRG, October 22-24, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53669-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kuper / Libkin / Paredaens Constraint Databases

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-08542-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Delgado Kloos / Cerny Hardware Description Languages and their Applications

    Specification, modelling, verification and synthesis of microelectronic systems
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-5387-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Potanin Programming Languages and Systems

    23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953584-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yan / Klemm / de Supinski OpenMP: Balancing Productivity and Performance Portability

    21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06342-7
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Appel Modern Compiler Implementation in ML

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60764-3
    Medium: Buch
    104,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hübner / Seifert Macromedia Director

    Multimediaprogrammierung mit Lingo
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-62250-2
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gumm / Sommer Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität

    1. Auflage 2019
    Verlag: De Gruyter
    ISBN: 978-3-11-043405-7
    Medium: eBook
    Format: EPUB
    Kopierschutz: 6 - ePub Watermark
    59,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Laplante / Ovaska Real-Time Systems Design 4E

    4th Auflage
    Verlag: John Wiley & Sons
    ISBN: 978-0-470-76864-8
    Medium: Buch
    154,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Mayoh / Tyugu / Penjam Constraint Programming

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-85985-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bosch / Gentleman / Hofmeister Software Architecture: System Design, Development and Maintenance

    17th World Computer Congress - Tc2 Stream / 3rd Ieee/Ifip Conference on Software Architecture (Wicsa3), August 25-30, 2002, Montréal, Québec, Canada
    Softcover Nachdruck of the Original 1. 2002 Auflage 2013
    Verlag: Springer Us
    ISBN: 978-1-4757-6538-0
    Medium: Buch
    166,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Aho / Sethi / Ullman Compilerbau

    Teil 1
    durchgesehene Auflage
    Verlag: De Gruyter
    ISBN: 978-3-486-25294-1
    Medium: Buch
    39,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Launchbury / Sansom Functional Programming, Glasgow 1992

    Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
    1. Auflage. 1993
    Verlag: Springer
    ISBN: 978-3-540-19820-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dodaro / Gupta / Martinez Logic Programming and Nonmonotonic Reasoning

    17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-74208-8
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bock .NET Development Using the Compiler API

    1. Auflage 2016
    Verlag: Apress
    ISBN: 978-1-4842-2110-5
    Medium: Buch
    35,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Olsson / Keen The JR Programming Language

    Concurrent Programming in an Extended Java
    Erscheinungsjahr 2013
    Verlag: Springer Nature B.V.
    ISBN: 978-1-4757-8882-2
    Medium: Buch
    57,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Malloy / Staab / van den Brand Software Language Engineering

    Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19439-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Merritt / Stix Migrating from Pascal to C++

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4612-7332-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Watson A Practical Approach to Compiler Construction

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-52787-1
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Collard Reasoning About Program Transformations

    Imperative Programming and Flow of Data
    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4419-2981-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pande / Ganguly / Chakrabarty Design Technologies for Green and Sustainable Computing Systems

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-1-4614-4974-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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