Ihre Suche nach "formal methods" ergab 54 Treffer

Ansicht:
: Formal Methods Teaching, Buch

Formal Methods Teaching

Lecture Notes in Computer Science -Band 14939

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 41,61*
: Formal Methods, Buch

Formal Methods

Lecture Notes in Computer Science -Band 14934

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 164,28*
: Formal Methods, Buch

Formal Methods

Lecture Notes in Computer Science -Band 14933

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
: NASA Formal Methods, Buch

NASA Formal Methods

Lecture Notes in Computer Science -Band 14627

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 together…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
: The Practice of Formal Methods, Buch

The Practice of Formal Methods

Lecture Notes in Computer Science -Band 14781

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: The Practice of Formal Methods, Buch

The Practice of Formal Methods

Lecture Notes in Computer Science -Band 14780

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: The Application of Formal Methods, Buch

The Application of Formal Methods

Lecture Notes in Computer Science -Band 14900

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successf…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Formal Methods: Foundations and Applications, Buch

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science -Band 14414

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers present…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
: Formal Methods for Industrial Critical Systems, Buch

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science -Band 14952

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9 13, 2024. The 14 full pa…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
: Formal Methods for an Informal World, Buch

Formal Methods for an Informal World

Lecture Notes in Computer Science -Band 13490

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 53,32*
Guo-Qiang Zhang: Formal Methods for the Analysis of Biomedical Ontologies, Buch

Guo-Qiang Zhang, Licong Cui, Rashmie Abeysinghe
Formal Methods for the Analysis of Biomedical Ontologies

Synthesis Lectures on Data, Semantics, and Knowledge

The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almos…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
: Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops, Buch

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

Lecture Notes in Computer Science -Band 14568

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science -Band 15223

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science -Band 15222

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science -Band 15221

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science -Band 15220

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science -Band 15219

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
: TOOLympics Challenge 2023, Buch

TOOLympics Challenge 2023

Lecture Notes in Computer Science -Band 14550

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
Sebastian van Ravenswaay: Besser sprechen auf Knopfdruck: Mit einfachen Methoden Ihren Wortschatz erweitern, Ausdrucksweise verbessern und zum Rhetorik Profi werden - inkl. Smalltalk Leitfaden & Körpersprache Formel, Buch

Sebastian van Ravenswaay
Besser sprechen auf Knopfdruck: Mit einfachen Methoden Ihren Wortschatz erweitern, Ausdrucksweise verbessern und zum Rhetorik Profi werden - inkl. Smalltalk Leitfaden & Körpersprache Formel

Rhetorik: Mit optimaler Kommunikation in jeder Situation glänzen und ganz einfach berufliche und private Ziele erreichen Präsentationen treiben Ihnen den Schweiß auf die Stirn und gehören nicht zu Ihren …

sofort lieferbar
Buch
EUR 15,90*
Sven Lundershausen: Praxishandbuch Moderation, Buch

Sven Lundershausen
Praxishandbuch Moderation

Edition Training aktuell

Ein modernes Standardwerk zum Thema Moderation für Profis und Neueinsteiger. Es vermittelt die Techniken, Formate, Instrumente und Interventionen dieser effizienten Methode für die Gruppenarbeit, die län…

lieferbar ab 15.12.2024.
Buch
EUR 49,90*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.