31![Concept-Verslag Gezamenlijke OPLEIDINGSCOMMISSIES 17 december 2014 Aanwezig: Lotte van den Berg, Tim Kluwen, Margriet Jansen, Jurian Lock, Willemijn van Waas, Joost Luiten, Maxime Mullink, Sam Pauwels, Kyra Wigard, Marie Concept-Verslag Gezamenlijke OPLEIDINGSCOMMISSIES 17 december 2014 Aanwezig: Lotte van den Berg, Tim Kluwen, Margriet Jansen, Jurian Lock, Willemijn van Waas, Joost Luiten, Maxime Mullink, Sam Pauwels, Kyra Wigard, Marie](https://www.pdfsearch.io/img/0a63badcc9541e7ce98f281031580b96.jpg) | Add to Reading ListSource URL: media.leidenuniv.nl- Date: 2015-03-13 09:48:52
|
---|
32![Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014 Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014](https://www.pdfsearch.io/img/baf45cc82e793247da305e2acd891ebd.jpg) | Add to Reading ListSource URL: dl.dropboxusercontent.com |
---|
33![Program chairs Kim G. Larsen, Aalborg, Denmark Joost-Pieter Katoen, Aachen, Germany Organizers Andrzej Wąsowski, Copenhagen, Denmark Uli Fahrenberg, Aalborg, Denmark Program chairs Kim G. Larsen, Aalborg, Denmark Joost-Pieter Katoen, Aachen, Germany Organizers Andrzej Wąsowski, Copenhagen, Denmark Uli Fahrenberg, Aalborg, Denmark](https://www.pdfsearch.io/img/c4c529a35f0ffea7af1446bcc0b3d8a5.jpg) | Add to Reading ListSource URL: qmc.cs.aau.dk- Date: 2011-10-28 09:59:01
|
---|
34![A Quick Tour on LTL Model Checking Lecture #1 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: October 22, 2006 A Quick Tour on LTL Model Checking Lecture #1 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: October 22, 2006](https://www.pdfsearch.io/img/0618ef0ade3f6fd5cef969fa8daf53a7.jpg) | Add to Reading ListSource URL: www-i2.informatik.rwth-aachen.de- Date: 2006-10-23 09:28:13
|
---|
35![GAMES AS A SERVICE Lessons learned from 4+ years of Awesomenauts on Steam Ronimo Games Robin Meijer & Joost van Dongen GAMES AS A SERVICE Lessons learned from 4+ years of Awesomenauts on Steam Ronimo Games Robin Meijer & Joost van Dongen](https://www.pdfsearch.io/img/ad50229a3f8a1b20a0c7bb10deecd93d.jpg) | Add to Reading ListSource URL: cdn.akamai.steamstatic.com- Date: 2016-11-03 18:53:23
|
---|
36![Program chairs Kim G. Larsen, Aalborg, Denmark Joost-Pieter Katoen, Aachen, Germany Organizers Andrzej Wąsowski, Copenhagen, Denmark Uli Fahrenberg, Aalborg, Denmark Program chairs Kim G. Larsen, Aalborg, Denmark Joost-Pieter Katoen, Aachen, Germany Organizers Andrzej Wąsowski, Copenhagen, Denmark Uli Fahrenberg, Aalborg, Denmark](https://www.pdfsearch.io/img/ee980b9c51460d5274e68585ece6e91a.jpg) | Add to Reading ListSource URL: qmc.cs.aau.dk- Date: 2011-10-28 09:59:03
|
---|
37![Efficient compression of SIDH public keys Craig Costello1 , David Jao2? , Patrick Longa1 , Michael Naehrig1 , Joost Renes3?? , and David Urbanik2? 1 2 Efficient compression of SIDH public keys Craig Costello1 , David Jao2? , Patrick Longa1 , Michael Naehrig1 , Joost Renes3?? , and David Urbanik2? 1 2](https://www.pdfsearch.io/img/42c32779803d9c64d34e6283fc5491b4.jpg) | Add to Reading ListSource URL: eprint.iacr.org- Date: 2016-10-04 21:24:23
|
---|
38![A Modal Logic for Abstract Delta Modeling ∗ Michiel Helvensteijn Joost Winter A Modal Logic for Abstract Delta Modeling ∗ Michiel Helvensteijn Joost Winter](https://www.pdfsearch.io/img/0a7430d3b74e85a90801c4ca830ed333.jpg) | Add to Reading ListSource URL: www.mhelvens.net- Date: 2012-11-25 10:40:43
|
---|
39![Comprehensive Psychiatry – 185 www.elsevier.com/locate/comppsych Dissociation and fantasy proneness in psychiatric patients: a preliminary study Harald Merckelbach*, Joost a` Campo, Solange Hardy, Timo Gi Comprehensive Psychiatry – 185 www.elsevier.com/locate/comppsych Dissociation and fantasy proneness in psychiatric patients: a preliminary study Harald Merckelbach*, Joost a` Campo, Solange Hardy, Timo Gi](https://www.pdfsearch.io/img/5238df4367d68a6c2fb0ce1207fc3e81.jpg) | Add to Reading ListSource URL: www.haraldmerckelbach.nl- Date: 2014-04-24 05:32:32
|
---|
40![Credit cards, computationele complexiteit en consistentie uitspraken* Joost J. Joosten 2 maart 2007 Joost Joosten is postdoc in Tsjechië. Tussen de momenten door dat hij zijn hoofd brak over computationele complexiteits Credit cards, computationele complexiteit en consistentie uitspraken* Joost J. Joosten 2 maart 2007 Joost Joosten is postdoc in Tsjechië. Tussen de momenten door dat hij zijn hoofd brak over computationele complexiteits](https://www.pdfsearch.io/img/69618368fc61e3a65eb9f057e9d143ec.jpg) | Add to Reading ListSource URL: www.deconnectie.com- Date: 2008-10-16 19:46:33
|
---|