Meintest du:
Verifikation1,169 Ergebnisse für: verification
-
Leveraging Applications of Formal Methods, Verification and Validation ... - Google Books
http://books.google.de/books?id=6lHd1igUbu8C&lpg=PA60&ots=HYjKS11Lt0&dq=%2B%22Test%20Environment%20Toolkit%22&pg=PA56#v=onepage&
This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13–15,…
-
Tools and Algorithms for the Construction and Analysis of Systems: 18th ... - Google Books
https://books.google.de/books?id=lu7CBAAAQBAJ&pg=PR2
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which…
-
Accelerated.co.de - Ihr Accelerated Shop
http://www.accelerated.co.de
Accelerated Image Processing in Hardware als Buch von Alexander Bochem, Accelerated Learning: A Step by Step Guide to Accelerated Learning, Vol. 5 , Hörbuch, Digital, 1, 7min, FPGA Accelerated Features Extraction als Buch von Francesco Delogu, BIOTHERM…
-
EGRET eScooter - ERFAHRE URBANE FREIHEIT – EGRET by Walberg Urban Electrics GmbH
http://www.egret.de/technische-daten/
Willkommen zu unserer elektrischen Revolution: EGRET Elektroroller. Dein Traum einer individuellen, erwachsenen, aber gleichzeitig coolen Elektromobilität ist Wirklichkeit geworden. Mit EGRET eroberst du die Straße zurück.
-
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part ... - Google Books
https://books.google.de/books?id=pW31AwAAQBAJ&pg=PP1
This book constitutes the proceedings of the 7th InternationalConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The…
-
"infrasound" "seismic" "hydroacoustic" - Google-Suche
https://www.google.de/search?tbm=bks&q=%22infrasound%22+%22seismic%22+%22hydroacoustic%22
Keine Beschreibung vorhanden.
-
EGRET eScooter - ERFAHRE URBANE FREIHEIT – EGRET by Walberg Urban Electrics GmbH
http://egret.de/de/12-elektro-roller
Willkommen zu unserer elektrischen Revolution: EGRET Elektroroller. Dein Traum einer individuellen, erwachsenen, aber gleichzeitig coolen Elektromobilität ist Wirklichkeit geworden. Mit EGRET eroberst du die Straße zurück.
-
CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR ... - Google Books
https://books.google.de/books?id=Af2qCAAAQBAJ&pg=PP1
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The…
-
▷ Die dpa-Bilder des Jahres: Feinstaub-Figuren, eine glückliche Schwiegermutter, ... | Presseportal
https://www.presseportal.de/pm/8218/4173481
dpa Deutsche Presse-Agentur GmbH - Berlin (ots) - Das sind die dpa-Bilder des Jahres 2018: Graue Feinstaub-Figuren bei einer Anti-Diesel-Demonstration in Stuttgart, Altkanzler Gerhard Schröder mit seiner Frau Soyeon Kim und seiner Schwiegermutter,…
-
"On Partitioning and Symbolic Model Checking" dallas - Google-Suche
http://www.google.de/search?num=100&hl=de&safe=off&q=%22On+Partitioning+and+Symbolic+Model+Checking%22+dallas&btnG=Suche&meta=
Keine Beschreibung vorhanden.