190 Ergebnisse für: refinement
-
Computer Aided Verification: 20th International Conference, CAV 2008 ... - Google Books
https://books.google.de/books?id=oRNqCQAAQBAJ&pg=PP214
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers…
-
Stars of the Lid: Musik, Videos, Statistiken und Fotos | Last.fm
https://www.last.fm/de/music/Stars+of+the+Lid
Höre Musik von Stars of the Lid wie A Meaningful Moment Through a Meaning(less) Process, Dungtitled (in A major) & andere. Finde die neuesten Titel, Alben und Bilder von Stars of the Lid.
-
-
Mirror, Mirror: A History Of The Human Love Affair With Reflection - Mark Pendergrast - Google Books
https://books.google.de/books?id=T4-GErgSbU0C&redir_esc=y
As our first technology for contemplation of the self, the mirror is arguably as important an invention as the wheel and perhaps even more universal. Mirror Mirror is the fascinating story of the mirror's invention, refinement, and use in an astonishing…
-
Angewandte Logistik- und Polymerwissenschaften - Hochschule Kaiserslautern
http://www.fh-kl.de/fachbereiche/alp/fachbereich.html
Offizielle Webseite der Hochschule Kaiserslautern
-
-
Hellner
https://web.archive.org/web/20140201210340/http://staff-www.uni-marburg.de/~fischerw/Hellner.htm
Keine Beschreibung vorhanden.
-
Leibniz Publik | Publikation | Specification and development of interactive systems
http://www.leibniz-publik.de/de/fs3/object/display/bsb00057176_00001.html?sort=sortTitle+asc&letter=&context=&awardee_str=%7BBroy,+Manfred%7D&mode=awardee_str
Keine Beschreibung vorhanden.
-
Leibniz Publik | Publikation | Specification and development of interactive systems
http://www.leibniz-publik.de/de/fs3/object/display/bsb00057176_00001.html?sort=sortTitle+asc&letter=&context=&awardee_str=%7BBro
Keine Beschreibung vorhanden.
-
Gertrude Stein: The Language That Rises: 1923-1934 - Ulla E. Dydo, William Rice - Google Books
http://books.google.de/books?id=m0yTw5fdIjsC&pg=PT614
The first extensive examination of Stein's notebooks, manuscripts and letters, prepared over a period of twenty years, Gertrude Stein: The Language That Rises asks new questions and explores new ways of reading Stein. This definitive study give us a finely…