Ergebnisse filtern
Fachgebiet
Medium
  • 367
  • 20
Erscheinungsjahr
  • 4
  • 22
  • 28
  • 1
  • 3
  • 1
  • 7
  • 5
  • 5
  • 8
  • 12
  • 21
  • 48
  • 98
  • 11
  • 9
  • 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
  • 3
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 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
  • 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
  • 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
  • 2
  • 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
  • 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
  • 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
  • 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
  • 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
  • 2
  • 1
  • 2
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 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
  • 1
  • 10
  • 2
  • 2
  • 4
  • 1
  • 21
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 300
  • 3
  • 5
  • 13
  • 2
  • 2
  • 1
  • 2
  • 3
  • 4
Preis
  • 2
  • 41
  • 202
  • 142
Sprachen
  • 357
  • 30
Verfügbarkeit
  • 384
  • 3
Eigenschaften
  • 1
Katalog
  • 387
  • 15
387  Titel
    Oh / Sui | Static Analysis | Buch | Sack Fachmedien

    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
    Guttman / Wand | VLISP A Verified Implementation of Scheme | Buch | Sack Fachmedien

    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
    Vachoux / Bergé / Levia | Analog and Mixed-Signal Hardware Description Language | Buch | Sack Fachmedien

    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
    Roy | Combinatorial Programming: Methods and Applications | Buch | Sack Fachmedien

    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
    Fox | Praktischer Übersetzerbau | Buch | Sack Fachmedien

    Fox Praktischer Übersetzerbau

    1990
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02288-6
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamurthi / Odersky | Compiler Construction | Buch | Sack Fachmedien

    Krishnamurthi / Odersky Compiler Construction

    16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71228-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuper / Paredaens / Libkin | Constraint Databases | Buch | Sack Fachmedien

    Kuper / Paredaens / Libkin 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
    Kirli | Mobile Computation with Functions | Buch | Sack Fachmedien

    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
    Decker / Rehmann | Programming Environments for Massively Parallel Distributed Systems | Buch | Sack Fachmedien

    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
    Ábrahám / Abbas | Runtime Verification | Buch | Sack Fachmedien

    Á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
    Sikkel | Parsing Schemata | Buch | Sack Fachmedien

    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
    Edwards | Languages for Digital Embedded Systems | Buch | Sack Fachmedien

    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
    Dechter | Principles and Practice of Constraint Programming - CP 2000 | Buch | Sack Fachmedien

    Dechter Principles and Practice of Constraint Programming - CP 2000

    6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41053-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davidson / Min | Languages, Compilers, and Tools for Embedded Systems | Buch | Sack Fachmedien

    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
    Dodaro / Gupta / Martinez | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    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
    Tanase / Hannig / Teich | Symbolic Parallelization of Nested Loop Programs | Buch | Sack Fachmedien

    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
    Wilhelm / Seidl / Hack | Übersetzerbau | Buch | Sack Fachmedien

    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
    Lipkin | LaTeX for Linux | Buch | Sack Fachmedien

    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
    Peng / Wang / Li | Human Activity Recognition and Anomaly Detection | Buch | Sack Fachmedien

    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
    Cooper / Torczon | Engineering a Compiler | Buch | Sack Fachmedien

    Cooper / Torczon Engineering a Compiler

    3. Auflage 2022
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-12-815412-0
    Medium: Buch
    99,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Dos Reis | Compiler Construction Using Java, Javacc, and Yacc | Buch | Sack Fachmedien

    Dos Reis Compiler Construction Using Java, Javacc, and Yacc

    1. Auflage 2011
    Verlag: Wiley
    ISBN: 978-0-470-94959-7
    Medium: Buch
    112,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Narendran / Rusinowitch | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Narendran / Rusinowitch Rewriting Techniques and Applications

    10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66201-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stenström | Transactions on High-Performance Embedded Architectures and Compilers IV | Buch | Sack Fachmedien

    Stenström Transactions on High-Performance Embedded Architectures and Compilers IV

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24567-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Su / Yan | Principles of Compilers | Buch | Sack Fachmedien

    Su / Yan Principles of Compilers

    A New Approach to Compilers Including the Algebraic Method
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20834-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garrido | Performance Modeling of Operating Systems Using Object-Oriented Simulations | Buch | Sack Fachmedien

    Garrido Performance Modeling of Operating Systems Using Object-Oriented Simulations

    A Practical Introduction
    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-1-4757-7311-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