Ergebnisse filtern
Fachgebiet
Medium
  • 356
  • 20
Erscheinungsjahr
  • 19
  • 21
  • 2
  • 2
  • 7
  • 1
  • 7
  • 7
  • 5
  • 7
  • 9
  • 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
  • 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
  • 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
  • 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
  • 1
  • 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
  • 2
  • 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
  • 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
  • 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
  • 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
Verlag
  • 10
  • 2
  • 2
  • 1
  • 22
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 156
  • 72
  • 17
  • 2
  • 13
  • 8
  • 47
  • 2
  • 2
  • 1
  • 3
  • 4
Preis
  • 3
  • 39
  • 198
  • 136
Sprachen
  • 345
  • 31
Verfügbarkeit
  • 376
Eigenschaften
  • 1
Katalog
  • 376
  • 15
376  Titel
    Blikle / Brauer / Barstow | MetaSoft Primer | Buch | Sack Fachmedien

    Blikle / Brauer / Barstow MetaSoft Primer

    Towards a Metalanguage for Applied Denotational Semantics
    1987
    Verlag: Springer Berlin Heidelberg
    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
    Moore | Piton | Buch | Sack Fachmedien

    Moore Piton

    A Mechanically Verified Assembly-Level Language
    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer Netherlands
    ISBN: 978-94-017-3791-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mössenböck | Compilerbau | eBook | Sack Fachmedien
    E-Book

    Mössenböck Compilerbau

    Grundlagen und Anwendungen
    1. Auflage 2024
    Verlag: dpunkt.verlag
    ISBN: 978-3-98890-145-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    29,90 € (inkl. MwSt.)
    sofort verfügbar
    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
    Callaghan / Pollack / Luo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Pollack / Luo Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettersson | Compiling Natural Semantics | Buch | Sack Fachmedien

    Pettersson Compiling Natural Semantics

    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65968-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taha | Semantics, Applications, and Implementation of Program Generation | Buch | Sack Fachmedien

    Taha Semantics, Applications, and Implementation of Program Generation

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

    Duesterwald Compiler Construction

    13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21297-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tseng / Pugh | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Tseng / Pugh Languages and Compilers for Parallel Computing

    15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30781-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hage / Gill | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Hage / Gill Implementation and Application of Functional Languages

    23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-34406-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 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
    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
    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
    Rischel / Ravn | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Rischel / Ravn Formal Techniques in Real-Time and Fault-Tolerant Systems

    5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65003-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Waite / Goos | Compiler Construction | Buch | Sack Fachmedien

    Waite / Goos Compiler Construction

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4612-9731-4
    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
    2011
    Verlag: Springer
    ISBN: 978-3-642-25317-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trinder / Rauber Du Bois | Programming Languages | Buch | Sack Fachmedien

    Trinder / Rauber Du Bois Programming Languages

    17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40921-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clack / Koopman | Implementation of Functional Languages | Buch | Sack Fachmedien

    Clack / Koopman Implementation of Functional Languages

    11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67864-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vafeiadis | Programming Languages and Systems | Buch | Sack Fachmedien

    Vafeiadis Programming Languages and Systems

    34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-91120-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermenegildo / Garrigue | Functional and Logic Programming | Buch | Sack Fachmedien

    Hermenegildo / Garrigue Functional and Logic Programming

    9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78968-0
    Medium: Buch
    53,49 € (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
    Mills Strout / Rajopadhye | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Mills Strout / Rajopadhye Languages and Compilers for Parallel Computing

    24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36035-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirsten / Ihringer / Röhrig | Object-Oriented Application Development Using the Caché Postrelational Database | Buch | Sack Fachmedien

    Kirsten / Ihringer / Röhrig Object-Oriented Application Development Using the Caché Postrelational Database

    2. Auflage 2003. Softcover Nachdruck of the original 2. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-62469-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Hack / Wilhelm | Compiler Design | Buch | Sack Fachmedien

    Seidl / Hack / Wilhelm Compiler Design

    Analysis and Transformation
    2012
    Verlag: Springer
    ISBN: 978-3-642-17547-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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