Formal Techniques (Seite 2) - Preisvergleich
Produkt Optional: Preisspanne von bis Euro

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

Formal Techniques - Preisvergleich

Automata Theory and Formal Languages

Preis 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
ab 58.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Automata Theory and Formal Languages

Preis vergleichen

Fundamental Notions Theorems and Techniques. 1st ed. 2022: Alberto Pettorossi

Anbieter: eBooks Hugendubel
ab 58.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formale Beschreibungstechniken für verteilte Systeme

Preis vergleichen

1m 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
ab 59.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Gift-Giving, Gift-Taking und Gift-Exchange zur Gewinnung von Freiwilligen

Preis vergleichen

In 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
ab 64.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis 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
ab 67.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis vergleichen

39th 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
ab 67.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis vergleichen

39th 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
ab 68.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis 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
ab 68.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein
ab 68.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis vergleichen

40th 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
ab 69.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis vergleichen

44th IFIP WG 6. 1 International Conference FORTE 2024 Held as Part of the 19th International Federated Conference on Distributed Computing Techniques DisCoTec 2024 Groningen The Netherlands June 17-21...

Anbieter: Hugendubel
ab 69.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis 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
ab 69.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis 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
ab 69.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis vergleichen

*Formal Techniques for Distributed Objects Components and Systems* - 44th IFIP WG 6. 1 International Conference FORTE 2024 Held as Part of the 19th International Federated Conference on Distributed Co...

Anbieter: Hugendubel
ab 69.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis vergleichen

40th 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
ab 69.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The Proper Treatment of Events

Preis vergleichen

The 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
ab 69.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The Proper Treatment of Events

Preis vergleichen

The 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
ab 69.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Description Techniques IV

Preis 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
ab 70.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Description Techniques IV

Preis vergleichen

Proceedings 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
ab 70.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis vergleichen

42nd 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
ab 74.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis 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
ab 74.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis 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
ab 74.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis 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
ab 74.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis vergleichen

42nd 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
ab 74.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Distributed Objects Components and Systems

Preis vergleichen

43rd 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
ab 74.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The UX Book

Preis vergleichen

The 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
ab 78.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The UX Book

Preis vergleichen

The 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
ab 78.99 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Dino Valls

Preis vergleichen

DINO 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
ab 79.00 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The Afterlife of Sympathy

Preis 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
ab 79.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The Afterlife of Sympathy

Preis 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
ab 79.99 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Condensed Matter Field Theory

Preis vergleichen

Modern 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
ab 80.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Cinematic Encounters with Disaster (eBook, PDF)

Preis vergleichen

Cinematic 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
ab 81.95 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Cinematic Encounters with Disaster (eBook, ePUB)

Preis vergleichen

Cinematic 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
ab 81.95 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Cinematic Encounters with Disaster (eBook, PDF)

Preis vergleichen

Cinematic 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
ab 81.95 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Cinematic Encounters with Disaster (eBook, ePUB)

Preis vergleichen

Cinematic 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
ab 81.95 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

All About Maude - A High-Performance Logical Framework

Preis vergleichen

This 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
ab 87.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

All About Maude - A High-Performance Logical Framework

Preis vergleichen

This 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
ab 87.99 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The Return to Study Handbook

Preis vergleichen

Have 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
ab 87.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The Return to Study Handbook

Preis vergleichen

Have 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
ab 87.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.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 cm

Preis vergleichen

Blue 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:30.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 cm

Preis vergleichen

Blue 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:30.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 cm

Preis vergleichen

Blue 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:30.05.2024
Preis kann jetzt höher sein

Spicing up Software-Intensive Systems with CurCuMA

Preis vergleichen

The 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
ab 89.90 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Decision Making Process

This 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
ab 94.47 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Scalable Techniques for Formal Verification

Preis vergleichen

*Scalable Techniques for Formal Verification* - Auflage 2010 / pdf eBook für 96.49 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet

Anbieter: Hugendubel
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Preis 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
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Networked and Distributed Systems - FORTE 2006

Preis 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
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Preis 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
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques

Preis 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
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Preis vergleichen

Auflage 1999: Kothanda Umamageswaran/ Sheetanshu L. Pandey/ Philip A. Wilsey

Anbieter: eBooks Hugendubel
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Networked and Distributed Systems - FORTE 2006

Preis vergleichen

26th IFIP WG 6. 1 International Conference Paris France September 26-29 2006 Proceedings. Auflage 2006

Anbieter: eBooks Hugendubel
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Preis vergleichen

25th IFIP WG 6. 1 International Conference Taipei Taiwan October 2-5 2005 Proceedings. Auflage 2005

Anbieter: eBooks Hugendubel
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques

Preis vergleichen

7th International Symposium ISoLA 2016 Imperial Corfu Greece October 10-14 2016 Proceedings Part I. 1st ed. 2016

Anbieter: eBooks Hugendubel
ab 96.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

NASA Formal Methods (eBook, PDF)

Preis vergleichen

This 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
ab 105.95 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

NASA Formal Methods (eBook, PDF)

Preis vergleichen

This 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
ab 105.95 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques

Preis vergleichen

7th International Symposium ISoLA 2016 Imperial Corfu Greece October 1014 2016 Proceedings Part I. 1st ed. 2016

Anbieter: Hugendubel
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques in Real-Time and Fault-Tolerant Systems

Preis vergleichen

Second International Symposium Nijmegen The Netherlands January 8-10 1992. Proceedings. Auflage 1991: Jan Vytopil

Anbieter: Hugendubel
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques in Real-Time and Fault-Tolerant Systems

Preis vergleichen

Third 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
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques

Preis 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
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

for Testability Debug and Reliability

Preis 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
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques in Real-Time and Fault-Tolerant Systems

Preis 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
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques in Real-Time and Fault-Tolerant Systems

Preis 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
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Scalable Techniques for Formal Verification

Preis vergleichen

*Scalable Techniques for Formal Verification* - Auflage 2010 / gebundene Ausgabe für 106.99 € / Aus dem Bereich: Bücher, Wissenschaft, Technik

Anbieter: Hugendubel
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

for Testability Debug and Reliability

Preis vergleichen

Next Generation Measures Using Formal Techniques. 1st ed. 2021: Sebastian Huhn/ Rolf Drechsler

Anbieter: eBooks Hugendubel
ab 106.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein
ab 109.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Models and Techniques for Analyzing Security Protocols

Preis vergleichen

*Formal Models and Techniques for Analyzing Security Protocols* - A Tutorial / Taschenbuch für 109.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet

Anbieter: Hugendubel
ab 109.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

for Testability Debug and Reliability

Preis vergleichen

Next Generation Measures Using Formal Techniques. 1st ed. 2021: Sebastian Huhn/ Rolf Drechsler

Anbieter: Hugendubel
ab 117.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

for Testability Debug and Reliability

Preis 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
ab 117.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal and Practical Techniques for the Complex System Process using Virtual Prototypes

Preis 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
ab 117.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein
ab 117.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Cinematic Encounters with Disaster

Preis vergleichen

Cinematic 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
ab 133.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Cinematic Encounters with Disaster

Preis vergleichen

Cinematic 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
ab 133.99 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Languages for Specific Purposes in the Digital Era

Preis vergleichen

Explores 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
ab 142.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Languages for Specific Purposes in the Digital Era

Preis vergleichen

Explores 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
ab 142.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Specification Techniques for Engineering Modular C Programs

Preis 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
ab 149.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques in Real-Time and Fault-Tolerant Systems

Preis 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
ab 149.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein
ab 149.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein
ab 149.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Agile-Sofl

Preis vergleichen

This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects. In this book, the author argues that...

Anbieter: buecher DE
ab 157.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Agile-Sofl

Preis vergleichen

This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects. In this book, the author argues that...

Anbieter: buecher DE
ab 157.99 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Models and Methods for Biological Evolution

Preis vergleichen

Biological evolution is the phenomenon concerning how species are born, are transformed or disappear over time. Its study relies on sophisticated methods that involve both mathematical modeling of the...

Anbieter: buecher DE
ab 166.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Models and Methods for Biological Evolution

Preis vergleichen

Biological evolution is the phenomenon concerning how species are born, are transformed or disappear over time. Its study relies on sophisticated methods that involve both mathematical modeling of the...

Anbieter: buecher DE
ab 166.99 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The Proper Treatment of Events

Preis vergleichen

The 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
ab 177.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

The Proper Treatment of Events

Preis vergleichen

The 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
ab 177.99 €*
(zzgl. 0.00 EUR* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Simple Formal Logic

Preis vergleichen

*Simple Formal Logic* - With Common-Sense Symbolic Techniques / epub eBook für 181.99 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Philosophie

Anbieter: Hugendubel
ab 181.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Simple Formal Logic

Preis vergleichen

With Common-Sense Symbolic Techniques: Arnold Vander Nat

Anbieter: eBooks Hugendubel
ab 181.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Optimization Essentials

Preis vergleichen

This book explores recent developments and exciting challenges in operations research and mathematical optimization. It provides the following in a unified and carefully developed presentation: (a) no...

Anbieter: buecher DE
ab 190.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Optimization Essentials

Preis vergleichen

This book explores recent developments and exciting challenges in operations research and mathematical optimization. It provides the following in a unified and carefully developed presentation: (a) no...

Anbieter: buecher DE
ab 190.99 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Parsing Techniques

Preis vergleichen

This second edition of Grune and Jacobs‘ brilliant work presents new developments and discoveries that have been made in the field of parsing, or syntax analysis. Parsing has been and continues ...

Anbieter: buecher DE
ab 199.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Parsing Techniques

Preis vergleichen

This second edition of Grune and Jacobs‘ brilliant work presents new developments and discoveries that have been made in the field of parsing, or syntax analysis. Parsing has been and continues ...

Anbieter: buecher DE
ab 199.99 €*
(zzgl. 6.95* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein
ab 204.49 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Networked and Distributed Systems

Preis vergleichen

*Formal Techniques for Networked and Distributed Systems* - FORTE 2001. Auflage 2001 / pdf eBook für 213.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet

Anbieter: Hugendubel
ab 213.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Techniques for Networked and Distributed Systems

Preis vergleichen

*Formal Techniques for Networked and Distributed Systems* - FORTE 2001. Auflage 2001 / Taschenbuch für 213.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet

Anbieter: Hugendubel
ab 213.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Description Techniques and Protocol Specification Testing and Verification

Preis vergleichen

*Formal Description Techniques and Protocol Specification Testing and Verification* - FORTE XI/PSTV XVIII‘98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for D...

Anbieter: Hugendubel
ab 213.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Methods for Distributed System Development

Preis vergleichen

*Formal Methods for Distributed System Development* - FORTE / PSTV 2000 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protoc...

Anbieter: Hugendubel
ab 213.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Description Techniques and Protocol Specification Testing and Verification

Preis vergleichen

*Formal Description Techniques and Protocol Specification Testing and Verification* - FORTE X / PSTV XVII ‘97. Auflage 1997 / pdf eBook für 213.99 € / Aus dem Bereich: eBooks, Sachthemen & Ra...

Anbieter: Hugendubel
ab 213.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Description Techniques VII

Preis vergleichen

*Formal Description Techniques VII* - 1st ed. 1995 / pdf eBook für 213.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet

Anbieter: Hugendubel
ab 213.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

Formal Description Techniques VIII

Preis vergleichen

*Formal Description Techniques VIII* - 1st ed. 1996 / pdf eBook für 213.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet

Anbieter: Hugendubel
ab 213.99 €*
(zzgl. 0.00* € Versand)
Stand:30.05.2024
Preis kann jetzt höher sein

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.