82 Ergebnisse für: concurrency
-
Concurrent.co.de - Ihr Concurrent Shop
http://www.concurrent.co.de
The Temporal Logic of Reactive and Concurrent Systems als Buch von Zohar Manna, Amir Pnueli, Learning Concurrent Programming in Scala - Second Edition als eBook Download von Aleksandar Prokopec, Parallel and Concurrent Programming in Haskell als eBook…
-
Lamport Minkowski - Google-Suche
http://www.google.de/search?q=Lamport+Minkowski
Keine Beschreibung vorhanden.
-
Erlangen-Shop.de - Ihr Erlangen Shop
http://www.erlangen-shop.de
Tiffany & Co. Eau de Parfum 30ml Damen, Nürnberg & Erlangen mit Kindern, «Nur ein Durchgangsland» als Buch von Simon Erlanger, Learn You Some Erlang for Great Good!, Monopoly Erlangen Brettspiel Gesellschaftsspiel,
-
Continuous Delivery mit Jenkins Pipeline | Informatik Aktuell
https://www.informatik-aktuell.de/entwicklung/methoden/von-continuous-integration-zu-continuous-delivery-mit-jenkins-pipeline-te
Mit diesem Werkzeugkasten aus Modulen ist es möglich, eine Build Pipeline zu definieren, zu warten und zu erweitern, die von allen Beteiligten verstanden wird.
-
Continuous Delivery mit Jenkins Pipeline | Informatik Aktuell
https://www.informatik-aktuell.de/entwicklung/methoden/von-continuous-integration-zu-continuous-delivery-mit-jenkins-pipeline-teil-2.html
Mit diesem Werkzeugkasten aus Modulen ist es möglich, eine Build Pipeline zu definieren, zu warten und zu erweitern, die von allen Beteiligten verstanden wird.
-
Category:Prairie County, Arkansas – Wikimedia Commons
https://commons.wikimedia.org/wiki/Category:Prairie_County,_Arkansas?uselang=de
Keine Beschreibung vorhanden.
-
Why Learn Go? - YouTube
https://www.youtube.com/watch?v=FTl0tl9BGdc
Rob Pike talks about why we need Go and how it is a next-generation language for today's modern computer environment
-
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…
-
-
Prof. Dr. Rüdiger Valk
http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/valk.html
Keine Beschreibung vorhanden.