249 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
Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and ApplicationsPreis vergleichen6th International Symposium ISoLA 2014 Imperial Corfu Greece October 8-11 2014 Proceedings Part II. Auflage 2014 Anbieter: Hugendubel Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and ApplicationsPreis vergleichen6th International Symposium ISoLA 2014 Imperial Corfu Greece October 8-11 2014 Proceedings Part II. Auflage 2014 Anbieter: eBooks Hugendubel NASA Formal MethodsPreis vergleichenThis LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers toge... Anbieter: buecher DE NASA Formal MethodsPreis vergleichenThis LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers toge... Anbieter: buecher DE Neri Oxman: Mediated MatterPreis vergleichenThe first survey on the interdisciplinary bio genius of Neri Oxman, pioneer of "material ecology" Throughout her 20-year career, Neri Oxman has invented not only new ideas for materials, bui... Anbieter: buecher DE Neri Oxman: Mediated MatterPreis vergleichenThe first survey on the interdisciplinary bio genius of Neri Oxman, pioneer of "material ecology" Throughout her 20-year career, Neri Oxman has invented not only new ideas for materials, bui... Anbieter: buecher DE Emergent Programmatic Form-ationPreis vergleichenThe increasing use of computational techniques in architectural clearly exhibits the temptation to develop geometries of formal complexity. However, it is a bigger challenge and responsibility to emp... Anbieter: buecher DE Emergent Programmatic Form-ationPreis vergleichenThe increasing use of computational techniques in architectural clearly exhibits the temptation to develop geometries of formal complexity. However, it is a bigger challenge and responsibility to emp... Anbieter: buecher DE 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 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 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 A Concurrency and Time Centered Framework for Autonomous Space SystemsPreis vergleichenand application of nonblocking programming techniques static analysis of C++ and formal methods: Damian Dechev 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‘... 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 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 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 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 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 Formal Methods for Analyzing Privacy PoliciesPreis vergleichenTechniques for Formal Representing Analyzing and Processing Privacy Policies: Ali Dehghantanha Anbieter: 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 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 Condensed Matter Field TheoryPreis vergleichenModern experimental developments in condensed matter and ultracold atom physics present formidable challenges to theorists. This book provides a pedagogical introduction to quantum field theory in man... Anbieter: Thalia 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 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:31.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:31.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:31.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 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 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 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
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. |
|