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
  • 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
  • 2
  • 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
  • 1
Verlag
  • 1
  • 10
  • 2
  • 2
  • 1
  • 21
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 284
  • 1
  • 6
  • 8
  • 21
  • 2
  • 2
  • 1
  • 3
  • 4
Preis
  • 4
  • 38
  • 200
  • 137
Sprachen
  • 349
  • 30
Verfügbarkeit
  • 377
  • 2
Katalog
  • 379
  • 15
379  Titel
    Dai | Learning and Reasoning | Buch | Sack Fachmedien

    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
    Nacke | Learn LLVM 12 | eBook | Sack Fachmedien
    E-Book

    Nacke Learn LLVM 12

    A beginner's guide to learning LLVM compiler tools and core libraries with C++
    1. Auflage 2021
    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
    Thornton / Du Boulay | Artificial Intelligence Through Search | Buch | Sack Fachmedien

    Thornton / Du Boulay Artificial Intelligence Through Search

    Softcover Nachdruck of the original 1. Auflage 1992
    Verlag: Springer
    ISBN: 978-94-010-5260-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Bodik | Compiler Construction | Buch | Sack Fachmedien

    Bodik Compiler Construction

    14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25411-9
    Medium: Buch
    53,49 € (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
    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
    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
    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

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