1
0
0
(1 - 15 von 18
)
Advanced Technologies | IntechOpen
www.intechopen.com
This book takes a look at advanced science technology, and technological advances that are available today | InTechOpen
FM 2005: Formal Methods: International Symposium of Formal Methods...
books.google.de
... Janowski Einar Broch Johnsen Wolfram Kahl Alexander Kamkin Ridha Khedri Table of Contents Keynote Talks Formal Aids for the Growth VIII Organization.
Mathematics of Program Construction: 7th International Conference,...
books.google.de
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences...
Mathematics of Program Construction: Third International Conference,...
books.google.de
This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in...
Relational Methods for Computer Science Applications - Google Books
books.google.de
Contents. Part I Relations in Programming Chapter 1 Interpretation of Tabular Expressions Using Arrays of Relations 3 Jules Desharnais, Ridha Khedri, Ali Mill
Relational and Algebraic Methods in Computer Science: 14th...
books.google.de
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS held in...
New Trends in Software Methodologies, Tools and Techniques:...
books.google.de
Software is the essential enabler for the new economy and science. It creates new markets and new directions for a more reliable, flexible and robust society....
Software Engineering and Formal Methods: 10th International...
books.google.de
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in...
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway,...
books.google.de
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June The 30 full...
Foundations and Practice of Security: 5th International Symposium on...
books.google.de
This book constitutes the carefully refereed and revised selected papers of the 5th Canada-France ETS Symposium on Foundations and Practice of Security, FPS...
Informatics: 10 Years Back. 10 Years Ahead - Reinhard Wilhelm -...
books.google.de
Informatics Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and...
Product-Focused Software Process Improvement: 15th International...
books.google.de
This book constitutes the refereed proceedings of the 15th International Conference on Product-Focused Software Process Improvement, PROFES 2014, held in...
Principles of Security and Trust: 6th International Conference, POST...
books.google.de
This book constitutes the proceedings of the 6th International Conference on Principles of Security and Trust, POST 2017, which took place in Uppsala, Sweden...
Proceedings of the Eleventh International Network Conference (INC...
books.google.de
[2] Jason Jaskolka and Ridha Khedri. Exploring covert channels. In System Sciences (HICSS), th Hawaii International Conference on, pages 1–10. IEEE ...
E-Technologies: Innovation in an Open World: 4th International...
books.google.de
This volume constitutes the proceedings of the 4th International Conference on E-Technologies, MCETECH 2009, held in Ottawa, Canada, during May 4-6, The...
Verwandte Suchanfragen zu Ridha Khedri
| Wolfram Bartussek |
Personen Vorname "Ridha" (154) Name "Khedri" (6) |
sortiert nach Relevanz / Datum