| 436 Ergebnisse - Seite |< ‹ 1 2 3 4 5 › >| |
|
Einverständniserklärung zu Cookies, Daten- und Trackinginformationen
Wir verwenden Cookies, um Inhalte und Anzeigen zu personalisieren. Beim Besuch dieser Webseite werden Informationen gespeichert. Bei der Darstellung von Produkten werden Bilder von an anderen Webseiten geladen. Um das zu ermöglichen, ist es nötig, dass ihr Browser Verbindungen zu anderen Servern aufbaut und dorthin Daten überträgt. Die Verarbeitung der an Kostenscout.de gesendeten Daten erfolgt zur Leistungserbringung, zu statistischen sowie werbetechnischen Zwecken. Wenn Sie auf der Seite weitersurfen, stimmen Sie der Cookie-Nutzung und Datenverarbeitung zu. Datenschutzinformationen ansehen
 Platonic Legislations - David Lloyd Dusenbury, Kartoniert (TB)Preis vergleichenThis book discusses how Plato, one the fiercest legal critics in ancient Greece, became - in the longue durée - its most influential legislator. Making use of a vast scholarly literature, and offerin... Anbieter: discount24 DE  Automata Theory and Formal LanguagesPreis vergleichenFundamental Notions Theorems and Techniques. 1st ed. 2022: Alberto Pettorossi Anbieter: Hugendubel Automata Theory and Formal LanguagesPreis vergleichen*Automata Theory and Formal Languages* - Fundamental Notions Theorems and Techniques. 1st ed. 2022 / Taschenbuch für 58.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Anbieter: Hugendubel  Automata Theory and Formal LanguagesPreis vergleichen*Automata Theory and Formal Languages* - Fundamental Notions Theorems and Techniques. 1st ed. 2022 / pdf eBook für 58.99 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Anbieter: Hugendubel Automata Theory and Formal LanguagesPreis vergleichenFundamental Notions Theorems and Techniques. 1st ed. 2022: Alberto Pettorossi Anbieter: eBooks Hugendubel  Formale Beschreibungstechniken für verteilte SystemePreis vergleichen1m Februar 1991 wurde ein Arbeitskreis ‘Formale Beschreibungstechniken fUr verteilte Systeme‘ am Rande der Fachtagung ‘Kommunikation in verteilten Systemen‘ in Mann heim in der... Anbieter: Thalia DE  Formal Methods: Foundations and Applications, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in ... Anbieter: discount24 DE  The Mathematics of Elections and Voting - W.D. Wallis, Kartoniert (TB)Preis vergleichenThis title takes an in-depth look at the mathematics in the context of voting and electoral systems, with focus on simple ballots, complex elections, fairness, approval voting, ties, fair and unfair v... Anbieter: discount24 DE  The Papanicolaou Society of Cytopathology System for Reporting Respiratory Cytology, Kartoniert (TB)Preis vergleichenThis text presents comprehensive review of the recommendations of the Papanicolaou Society of Cytopathology for reporting results of respiratory cytology specimens along with advances in diagnostic, p... Anbieter: discount24 DE  Touch of Class - Bertrand Meyer, GebundenPreis vergleichenFrom object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rew... Anbieter: discount24 DE  Gift-Giving, Gift-Taking und Gift-Exchange zur Gewinnung von FreiwilligenPreis vergleichenIn diesem Buch wird die Wirkung eines bedingungslos angebotenen Geschenks (Geschenkaustausch, Gift-Exchange) sowie einer kleinen vorangegangenen Bitte (Fuß-in-der-Tür-Technik, Foot-in-the-door-techn... Anbieter: Thalia DE  Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 39th IFIP WG 6. 1 International Conference FORTE 2019 Held as Part of the 14th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen39th IFIP WG 6. 1 International Conference FORTE 2019 Held as Part of the 14th International Federated Conference on Distributed Computing Techniques DisCoTec 2019 Kongens Lyngby Denmark June 17-21 20... Anbieter: eBooks Hugendubel  Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen39th IFIP WG 6. 1 International Conference FORTE 2019 Held as Part of the 14th International Federated Conference on Distributed Computing Techniques DisCoTec 2019 Kongens Lyngby Denmark June 17‘... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 39th IFIP WG 6. 1 International Conference FORTE 2019 Held as Part of the 14th International Federated Conference on Distributed Co... Anbieter: Hugendubel   Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen40th IFIP WG 6. 1 International Conference FORTE 2020 Held as Part of the 15th International Federated Conference on Distributed Computing Techniques DisCoTec 2020 Valletta Malta June 15‘19 2020... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 40th IFIP WG 6. 1 International Conference FORTE 2020 Held as Part of the 15th International Federated Conference on Distributed Co... Anbieter: Hugendubel  Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 40th IFIP WG 6. 1 International Conference FORTE 2020 Held as Part of the 15th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen40th IFIP WG 6. 1 International Conference FORTE 2020 Held as Part of the 15th International Federated Conference on Distributed Computing Techniques DisCoTec 2020 Valletta Malta June 15-19 2020 Proce... Anbieter: eBooks Hugendubel  Belief, Evidence, and Uncertainty - Prasanta S. Bandyopadhyay, Gordon G. Brittan, Mark L. Taper, Kartoniert (TB)Preis vergleichenThis work breaks new ground by carefully distinguishing the concepts of belief, confirmation, and evidence and then integrating them into a better understanding of personal and scientific epistemologi... Anbieter: discount24 DE  Models of Computation for Big Data - Rajendra Akerkar, Kartoniert (TB)Preis vergleichenThe big data tsunami changes the perspective of industrial and academic research in how they address both foundational questions and practical applications. This calls for a paradigm shift in algorith... Anbieter: discount24 DE  Introduction to Random Matrices - Giacomo Livan, Marcel Novaes, Pierpaolo Vivo, Kartoniert (TB)Preis vergleichenModern developments of Random Matrix Theory as well as pedagogical approaches to the standard core of the discipline are surprisingly hard to find in a well-organized, readable and user-friendly fashi... Anbieter: discount24 DE  Formal Description Techniques IVPreis vergleichen*Formal Description Techniques IV* - Proceedings of the IFIP TC6/WG6. 1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols FORTE R... Anbieter: Hugendubel Formal Description Techniques IVPreis vergleichenProceedings of the IFIP TC6/WG6. 1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols FORTE ‘91 Sydney Australia 19-22 November 1991 Anbieter: eBooks Hugendubel  The Proper Treatment of EventsPreis vergleichenThe Proper Treatment of Events offers a novel approach to the semantics of tense and aspect motivated by cognitive considerations. The book begins by presenting data about the human conceptualization ... Anbieter: Thalia DE  The Proper Treatment of EventsPreis vergleichenThe Proper Treatment of Events offers a novel approach to the semantics of tense and aspect motivated by cognitive considerations. The book begins by presenting data about the human conceptualization ... Anbieter: Thalia DE  Spatial Data Analysis - Manfred M. Fischer, Jinfeng Wang, Kartoniert (TB)Preis vergleichenThe availability of spatial databases and widespread use of geographic information systems has stimulated increasing interest in the analysis and modelling of spatial data. Spatial data analysis focus... Anbieter: discount24 DE  Small-Sided and Conditioned Games in Soccer Training - Filipe Manuel Clemente, Kartoniert (TB)Preis vergleichenThis book reviews the general acute effects and adaptations of small-sided and conditioned games (SSCGs) in terms of physiological responses, technical performance and methodology/periodization in the... Anbieter: discount24 DE  Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen42nd IFIP WG 6. 1 International Conference FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques DisCoTec 2022 Lucca Italy June 1317 2022 Proceedin... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 42nd IFIP WG 6. 1 International Conference FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Co... Anbieter: Hugendubel  Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 42nd IFIP WG 6. 1 International Conference FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Co... Anbieter: Hugendubel  Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen*Formal Techniques for Distributed Objects Components and Systems* - 43rd IFIP WG 6. 1 International Conference FORTE 2023 Held as Part of the 18th International Federated Conference on Distributed Co... Anbieter: Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen42nd IFIP WG 6. 1 International Conference FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques DisCoTec 2022 Lucca Italy June 13-17 2022 Proceedi... Anbieter: eBooks Hugendubel Formal Techniques for Distributed Objects Components and SystemsPreis vergleichen43rd IFIP WG 6. 1 International Conference FORTE 2023 Held as Part of the 18th International Federated Conference on Distributed Computing Techniques DisCoTec 2023 Lisbon Portugal June 19-23 2023 Proc... Anbieter: eBooks Hugendubel  The UX BookPreis vergleichenThe discipline of user experience (UX) has matured into a confident practice and this edition reflects, and in some areas accelerates, that evolution. Technically this is the second edition of The UX... Anbieter: buecher DE  The UX BookPreis vergleichenThe discipline of user experience (UX) has matured into a confident practice and this edition reflects, and in some areas accelerates, that evolution. Technically this is the second edition of The UX... Anbieter: buecher DE  Dino VallsPreis vergleichenDINO VALLS Spanish painter born in 1959 in Zaragoza. Since 1988, he has lived and worked in Madrid. Building on a childhood passion for drawing, Valls taught himself to paint in oils beginning in 1975... Anbieter: Thalia DE  Runtime Verification, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together ... Anbieter: discount24 DE  The Afterlife of SympathyPreis vergleichen"Literary realism rose to prominence in postbellum America with bold and accurate depictions of the world. This style became more popular than sentimentality--an earlier form of writing often ass... Anbieter: buecher DE  The Afterlife of SympathyPreis vergleichen"Literary realism rose to prominence in postbellum America with bold and accurate depictions of the world. This style became more popular than sentimentality--an earlier form of writing often ass... Anbieter: buecher DE  Cinematic Encounters with Disaster (eBook, PDF)Preis vergleichenCinematic Encounters with Disaster takes Hollywood‘s disaster movies and their codified versions of natural disaster, post-apocalyptic survival, and extra-terrestrial threat as the starting poin... Anbieter: buecher DE  Cinematic Encounters with Disaster (eBook, ePUB)Preis vergleichenCinematic Encounters with Disaster takes Hollywood‘s disaster movies and their codified versions of natural disaster, post-apocalyptic survival, and extra-terrestrial threat as the starting poin... Anbieter: buecher DE  Cinematic Encounters with Disaster (eBook, PDF)Preis vergleichenCinematic Encounters with Disaster takes Hollywood‘s disaster movies and their codified versions of natural disaster, post-apocalyptic survival, and extra-terrestrial threat as the starting poin... Anbieter: buecher DE  Cinematic Encounters with Disaster (eBook, ePUB)Preis vergleichenCinematic Encounters with Disaster takes Hollywood‘s disaster movies and their codified versions of natural disaster, post-apocalyptic survival, and extra-terrestrial threat as the starting poin... Anbieter: buecher DE  The UX Book - Rex Hartson, Pardha S. Pyla, Kartoniert (TB)Preis vergleichenThe discipline of user experience (UX) has matured into a confident practice and this edition reflects, and in some areas accelerates, that evolution. Technically this is the second edition of The UX... Anbieter: discount24 DE  All About Maude - A High-Performance Logical FrameworkPreis vergleichenThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its... Anbieter: buecher DE  All About Maude - A High-Performance Logical FrameworkPreis vergleichenThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its... Anbieter: buecher DE  The Return to Study HandbookPreis vergleichenHave you learned how to learn? Written especially for professional or distance learners, part-time or mature students, and formal CPD qualification candidates, The Return to Study Handbook will teach ... Anbieter: Thalia DE  The Return to Study HandbookPreis vergleichenHave you learned how to learn? Written especially for professional or distance learners, part-time or mature students, and formal CPD qualification candidates, The Return to Study Handbook will teach ... Anbieter: Thalia DE  Blue Chilli Schal Kani-Schal mit elegantem, aktuellem Blumenmuster, (Einzelstück), Muster gewebt, nicht bedruckt, Größe: 200 cm x 70 cmPreis vergleichenBlue Chilli präsentiert stolz den Kani-Schal, ein Meisterwerk der Modeaccessoires. Dieser luxuriöse Schal ist sorgfältig aus 100 % Wolle gefertigt und bietet unvergleichliche Qualität und Komfort.... Anbieter: Blue Chilli ab 89.00 €* /1Stk 89.00€ je /1Stk (zzgl. 2.90* € Versand) Stand:14.05.2024 Preis kann jetzt höher sein  Blue Chilli Schal Kani-Schal mit elegantem, aktuellem Blumenmuster, (Einzelstück), Muster gewebt, nicht bedruckt, Größe: 200 cm x 70 cmPreis vergleichenBlue Chilli präsentiert stolz den Kani-Schal, ein Meisterwerk der Modeaccessoires. Dieser luxuriöse Schal ist sorgfältig aus 100 % Wolle gefertigt und bietet unvergleichliche Qualität und Komfort.... Anbieter: Blue Chilli ab 89.00 €* /1Stk 89.00€ je /1Stk (zzgl. 2.90* € Versand) Stand:14.05.2024 Preis kann jetzt höher sein  Blue Chilli Schal Kani-Schal mit elegantem, aktuellem Blumenmuster, (Einzelstück), Muster gewebt, nicht bedruckt, Größe: 200 cm x 70 cmPreis vergleichenBlue Chilli präsentiert stolz den Kani-Schal, ein Meisterwerk der Modeaccessoires. Dieser luxuriöse Schal ist sorgfältig aus 100 % Wolle gefertigt und bietet unvergleichliche Qualität und Komfort.... Anbieter: Blue Chilli ab 89.00 €* /1Stk 89.00€ je /1Stk (zzgl. 2.90* € Versand) Stand:14.05.2024 Preis kann jetzt höher sein  Spicing up Software-Intensive Systems with CurCuMAPreis vergleichenThe multi-agent paradigm promises an intuitive understanding of dynamic software-intensive systems capable of adapting their own behavior, while Model-Driven Engineering improves quality and efficienc... Anbieter: Thalia DE  Scalable Techniques for Formal VerificationPreis vergleichen*Scalable Techniques for Formal Verification* - Auflage 2010 / pdf eBook für 96.49 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel  Formal Semantics and Proof Techniques for Optimizing VHDL ModelsPreis vergleichen*Formal Semantics and Proof Techniques for Optimizing VHDL Models* - Auflage 1999 / pdf eBook für 96.49 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik Anbieter: Hugendubel  Formal Techniques for Networked and Distributed Systems - FORTE 2006Preis vergleichen*Formal Techniques for Networked and Distributed Systems - FORTE 2006* - 26th IFIP WG 6. 1 International Conference Paris France September 26-29 2006 Proceedings. Auflage 2006 / pdf eBook für 96.49 â... Anbieter: Hugendubel  Formal Techniques for Networked and Distributed Systems - FORTE 2005Preis vergleichen*Formal Techniques for Networked and Distributed Systems - FORTE 2005* - 25th IFIP WG 6. 1 International Conference Taipei Taiwan October 2-5 2005 Proceedings. Auflage 2005 / pdf eBook für 96.49 € ... Anbieter: Hugendubel  Leveraging Applications of Formal Methods Verification and Validation: Foundational TechniquesPreis vergleichen*Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques* - 7th International Symposium ISoLA 2016 Imperial Corfu Greece October 10-14 2016 Proceedings Part I. 1... Anbieter: Hugendubel Scalable Techniques for Formal VerificationPreis vergleichenAuflage 2010: Sandip Ray Anbieter: eBooks Hugendubel Formal Semantics and Proof Techniques for Optimizing VHDL ModelsPreis vergleichenAuflage 1999: Kothanda Umamageswaran/ Sheetanshu L. Pandey/ Philip A. Wilsey Anbieter: eBooks Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2006Preis vergleichen26th IFIP WG 6. 1 International Conference Paris France September 26-29 2006 Proceedings. Auflage 2006 Anbieter: eBooks Hugendubel Formal Techniques for Networked and Distributed Systems - FORTE 2005Preis vergleichen25th IFIP WG 6. 1 International Conference Taipei Taiwan October 2-5 2005 Proceedings. Auflage 2005 Anbieter: eBooks Hugendubel Leveraging Applications of Formal Methods Verification and Validation: Foundational TechniquesPreis vergleichen7th International Symposium ISoLA 2016 Imperial Corfu Greece October 10-14 2016 Proceedings Part I. 1st ed. 2016 Anbieter: eBooks Hugendubel  Decision Making ProcessThis book provides an overview of the main methods and results in the formal study of the human decision-making process, as defined in a relatively wide sense. A key aim of the approach contained here...Anbieter: Studibuch Shop DE  Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications, Kartoniert (TB)Preis vergleichenThis three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2017, hel... Anbieter: discount24 DE  Computer Aided Verification, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers pr... Anbieter: discount24 DE  Low-Level Programming - Igor Zhirkov, Kartoniert (TB)Preis vergleichenLearn Intel 64 assembly language and architecture, become proficient in C, and understand how the programs are compiled and executed down to machine instructions, enabling you to write robust, high-pe... Anbieter: discount24 DE  Rigorous Software Engineering for Service-Oriented Systems, Kartoniert (TB)Preis vergleichenService-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, inte... Anbieter: discount24 DE  SOFSEM 2009: Theory and Practice of Computer Science, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlýn, Czech Republic, in January 20... Anbieter: discount24 DE  Formal Methods and Software Engineering, Kartoniert (TB)Preis vergleichenFormal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, techniques, and veri?cation methods and tools ha... Anbieter: discount24 DE  Formalisms for Reuse and Systems Integration, Kartoniert (TB)Preis vergleichenReuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integrat... Anbieter: discount24 DE  Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, Kartoniert (TB)Preis vergleichenThis three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2017, hel... Anbieter: discount24 DE  Information and Communications Security, Kartoniert (TB)Preis vergleichenThis book constitutes the refereed proceedings of the 20th International Conference on Information and Communications Security, ICICS 2018, held in Lille, France, in October 2018. The 39 revised full ... Anbieter: discount24 DE  Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Kartoniert (TB)Preis vergleichenThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016... Anbieter: discount24 DE  Leveraging Applications of Formal Methods Verification and Validation: Foundational TechniquesPreis vergleichen7th International Symposium ISoLA 2016 Imperial Corfu Greece October 1014 2016 Proceedings Part I. 1st ed. 2016 Anbieter: Hugendubel  Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichenSecond International Symposium Nijmegen The Netherlands January 8-10 1992. Proceedings. Auflage 1991: Jan Vytopil Anbieter: Hugendubel  Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichenThird International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos Lübeck Germany September 19 - 23 1994. Proceedings. Auflage 1994: Hans Langmaack/ Willem-Paul ... Anbieter: Hugendubel  Scalable Techniques for Formal VerificationPreis vergleichenAuflage 2010: Sandip Ray Anbieter: Hugendubel Leveraging Applications of Formal Methods Verification and Validation: Foundational TechniquesPreis vergleichen*Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques* - 7th International Symposium ISoLA 2016 Imperial Corfu Greece October 1014 2016 Proceedings Part I. 1s... Anbieter: Hugendubel  for Testability Debug and ReliabilityPreis vergleichen* for Testability Debug and Reliability* - Next Generation Measures Using Formal Techniques. 1st ed. 2021 / pdf eBook für 106.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - Second International Symposium Nijmegen The Netherlands January 8-10 1992. Proceedings. Auflage 1991 / Taschenbuch für 106.99 € / Aus d... Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos Lübeck Germany September 19 - 23... Anbieter: Hugendubel Scalable Techniques for Formal VerificationPreis vergleichen*Scalable Techniques for Formal Verification* - Auflage 2010 / gebundene Ausgabe für 106.99 € / Aus dem Bereich: Bücher, Wissenschaft, Technik Anbieter: Hugendubel for Testability Debug and ReliabilityPreis vergleichenNext Generation Measures Using Formal Techniques. 1st ed. 2021: Sebastian Huhn/ Rolf Drechsler Anbieter: eBooks Hugendubel  for Testability Debug and ReliabilityPreis vergleichenNext Generation Measures Using Formal Techniques. 1st ed. 2021: Sebastian Huhn/ Rolf Drechsler Anbieter: Hugendubel for Testability Debug and ReliabilityPreis vergleichen* for Testability Debug and Reliability* - Next Generation Measures Using Formal Techniques. 1st ed. 2021 / gebundene Ausgabe für 117.49 € / Aus dem Bereich: Bücher, Wissenschaft, Technik Anbieter: Hugendubel  Formal and Practical Techniques for the Complex System Process using Virtual PrototypesPreis vergleichen*Formal and Practical Techniques for the Complex System Process using Virtual Prototypes* - Better Early than Never. Auflage 2024 / pdf eBook für 117.49 € / Aus dem Bereich: eBooks, Sachthemen & R... Anbieter: Hugendubel Formal and Practical Techniques for the Complex System Process using Virtual PrototypesPreis vergleichenBetter Early than Never. Auflage 2024: Pascal Pieper/ Rolf Drechsler Anbieter: eBooks Hugendubel  Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, Kartoniert (TB)Preis vergleichenThis three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2017, hel... Anbieter: discount24 DE  Concurrency, Specification and ProgrammingPreis vergleichenThis book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their... Anbieter: buecher DE  Concurrency, Specification and ProgrammingPreis vergleichenThis book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their... Anbieter: buecher DE  Cinematic Encounters with DisasterPreis vergleichenCinematic Encounters with Disaster takes Hollywood‘s disaster movies and their codified versions of natural disaster, post-apocalyptic survival, and extra-terrestrial threat as the starting poin... Anbieter: buecher DE  Cinematic Encounters with DisasterPreis vergleichenCinematic Encounters with Disaster takes Hollywood‘s disaster movies and their codified versions of natural disaster, post-apocalyptic survival, and extra-terrestrial threat as the starting poin... Anbieter: buecher DE  Language and Recursion, Kartoniert (TB)Preis vergleichenAs humans, our many levels of language use distinguish us from the rest of the animal world. For many scholars, it is the recursive aspect of human speech that makes it truly human. But linguists cont... Anbieter: discount24 DE  Handbook of Model Checking, GebundenPreis vergleichenModel checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming ... Anbieter: discount24 DE  Languages for Specific Purposes in the Digital EraPreis vergleichenExplores the direct relation of modern CALL (Computer-Assisted Language Learning) to aspects of natural language processing for theoretical and practical applications, and worldwide demand for formal ... Anbieter: Thalia DE  Languages for Specific Purposes in the Digital EraPreis vergleichenExplores the direct relation of modern CALL (Computer-Assisted Language Learning) to aspects of natural language processing for theoretical and practical applications, and worldwide demand for formal ... Anbieter: Thalia DE  Formal Specification Techniques for Engineering Modular C ProgramsPreis vergleichen*Formal Specification Techniques for Engineering Modular C Programs* - Auflage 1996 / pdf eBook für 149.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel  Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - Auflage 1993 / pdf eBook für 149.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel
Die bei uns gelisteten Preise basieren auf Angaben der gelisteten Händler zum Zeitpunkt unserer Datenabfrage. Diese erfolgt einmal täglich. Von diesem Zeitpunkt bis jetzt können sich die Preise bei den einzelnen Händlern jedoch geändert haben. Bitte prüfen sie auf der Zielseite die endgültigen Preise.
Die Sortierung auf unserer Seite erfolgt nach dem besten Preis oder nach bester Relevanz für Suchbegriffe (je nach Auswahl).
Für manche Artikel bekommen wir beim Kauf über die verlinkte Seite eine Provision gezahlt. Ob es eine Provision gibt und wie hoch diese ausfällt, hat keinen Einfluß auf die Suchergebnisse oder deren Sortierung. Unser Preisvergleich listet nicht alle Onlineshops. Möglicherweise gibt es auf anderen bei uns nicht gelisteten Shops günstigere Preise oder eine andere Auswahl an Angeboten. Versandkosten sind in den angezeigten Preisen und der Sortierung nicht inkludiert. Livesuche | Über uns | Datenschutz | Shop eintragen | Impressum * - Angaben ohne Gewähr. Preise und Versandkosten können sich zwischenzeitlich geändert haben. Bitte prüfen sie vor dem Kauf auf der jeweiligen Seite, ob die Preise sowie Versandkosten noch aktuell sind. |
|