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
Katalog
  • 387
  • 15
387  Titel
    Ciancarini / Fantechi / Gorrieri | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Ciancarini / Fantechi / Gorrieri Formal Methods for Open Object-Based Distributed Systems

    IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-5266-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martin-Vide / Mitrana / Paun | Formal Languages and Applications | Buch | Sack Fachmedien

    Martin-Vide / Mitrana / Paun Formal Languages and Applications

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-53554-3
    Medium: Buch
    213,99 € (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. 3 bis 4 Wochen
    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
    Thornton / Du Boulay | Artificial Intelligence Through Search | Buch | Sack Fachmedien

    Thornton / Du Boulay Artificial Intelligence Through Search

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-94-010-5260-3
    Medium: Buch
    160,49 € (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
    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
    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
    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
    ISBN: 978-3-031-91120-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Chen / Wang | Advanced Computer Architecture | Buch | Sack Fachmedien

    Wu / Chen / Wang Advanced Computer Architecture

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

    Krebbers Programming Languages and Systems

    35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22719-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keimel | Domains and Processes | Buch | Sack Fachmedien

    Keimel Domains and Processes

    Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer Netherlands
    ISBN: 978-94-010-3859-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevanovic | Advanced C and C++ Compiling | Buch | Sack Fachmedien

    Stevanovic Advanced C and C++ Compiling

    1. Auflage 2014
    Verlag: Apress
    ISBN: 978-1-4302-6667-9
    Medium: Buch
    106,99 € (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
    Koopman / Clack | Implementation of Functional Languages | Buch | Sack Fachmedien

    Koopman / Clack Implementation of Functional Languages

    11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67864-9
    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

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-8066-6
    Medium: Buch
    106,99 € (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
    69,54 € (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
    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
    Gill / Hage | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Gill / Hage Implementation and Application of Functional Languages

    23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34406-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thömmes | Notizen zu C++ | Buch | Sack Fachmedien

    Thömmes Notizen zu C++

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-62286-1
    Medium: Buch
    64,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harmer / Kosiol | Graph Transformation | Buch | Sack Fachmedien

    Harmer / Kosiol Graph Transformation

    17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-64284-5
    Medium: Buch
    69,54 € (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

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

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