Ergebnisse für: Automata-based Methodologies

Hier findest Du Bücher, die sich mit Automata-based Methodologies beschäftigen.

Buch Cover From Data to Models and Back
From Data to Models and Back

Springer International Publishing
139.09 € · Paperback
Agent-based Methodologies Automata-based Methodologies Big Data Analytics Data Mining Game Theory Ontologies Optimization Modelling Petri Nets Process Calculi Process Mining Statistical Model Checking Text Mining Biology Business Process Management Cybersecurity
This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4–5, 2024. The 9 full papers included in this book were carefully reviewed and selected from 15 submissions. These papers present ...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
42.79 € · Paperback
open access specification and verification techniques software and hardware verification SAT and SMT solving theorem proving model checking static and dynamic program analysis testing system construction and transformation techniques tool environments and tool architectures abstraction techniques for modeling and verification compositional and refinement-based methodologies mathematics software engineering software design
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and ...
Buch Cover From Data to Models and Back
From Data to Models and Back

Springer International Publishing
139.09 € · eBook
Agent-based Methodologies Automata-based Methodologies Big Data Analytics Data Mining Game Theory Ontologies Optimization Modelling Petri Nets Process Calculi Process Mining Statistical Model Checking Text Mining Biology Business Process Management Cybersecurity
This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4–5, 2024. The 9 full papers included in this book were carefully reviewed and selected from 15 submissions. These papers present ...
Buch Cover From Data to Models and Back
From Data to Models and Back

Springer International Publishing
53.49 € · eBook
Agent-based Methodologies Automata-based Methodologies Big Data Analytics Data Mining Game Theory Ontologies Optimization Modelling Petri Nets Process Calculi Process Mining Statistical Model Checking Text Mining Biology Business Process Management Cybersecurity
This book constitutes revised selected papers of the 13th International Symposium on From Data Models and Back, DataMod 2025, held in Toledo, Spain, during November 10–11, 2025. The 7 full papers and 1 sort paper included in this book were carefully reviewed and selected from 12 submissions. These...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
42.79 € · Paperback
open access specification and verification techniques software and hardware verification SAT and SMT solving theorem proving model checking static and dynamic program analysis testing system construction and transformation techniques tool environments and tool architectures abstraction techniques for modeling and verification compositional and refinement-based methodologies mathematics software engineering software design
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and ...
Buch Cover Computer Science – Theory and Applications
Computer Science – Theory and Applications

Springer International Publishing
106.99 € · Paperback
approximation algorithms artificial intelligence automata theory bits case based reasoning (cbr) data mining design and analysis of algorithms discrete mathematics finite automata graph theory information complexity knowledge based systems machine learning models of computation parallel computing methodologies
This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018.The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions.  The papers cover a wide ra...
Buch Cover From Data to Models and Back
From Data to Models and Back

Springer International Publishing
53.49 € · Paperback
Agent-based Methodologies Automata-based Methodologies Big Data Analytics Data Mining Game Theory Ontologies Optimization Modelling Petri Nets Process Calculi Process Mining Statistical Model Checking Text Mining Biology Business Process Management Cybersecurity
This book constitutes revised selected papers of the 13th International Symposium on From Data Models and Back, DataMod 2025, held in Toledo, Spain, during November 10–11, 2025. The 7 full papers and 1 sort paper included in this book were carefully reviewed and selected from 12 submissions. These...
Buch Cover Computer Science – Theory and Applications
Computer Science – Theory and Applications

Springer International Publishing
96.29 € · eBook
approximation algorithms artificial intelligence automata theory bits case based reasoning (cbr) data mining design and analysis of algorithms discrete mathematics finite automata graph theory information complexity knowledge based systems machine learning models of computation parallel computing methodologies
This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018.The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions.  The papers cover a wide ra...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
€ · eBook
open access specification and verification techniques software and hardware verification SAT and SMT solving theorem proving model checking static and dynamic program analysis testing system construction and transformation techniques tool environments and tool architectures abstraction techniques for modeling and verification compositional and refinement-based methodologies mathematics software engineering software design
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and ...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
€ · eBook
open access specification and verification techniques software and hardware verification SAT and SMT solving theorem proving model checking static and dynamic program analysis testing system construction and transformation techniques tool environments and tool architectures abstraction techniques for modeling and verification compositional and refinement-based methodologies mathematics software engineering software design
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and ...
Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden