Saarland - PDFSEARCH.IO - Document Search Engine

Saarland
Results: 3122

#	Item
61	PDF Document Add to Reading List Source URL: www.hiz-saarland.de - Date: 2017-01-26 07:53:13
62	PDF Document Add to Reading List Source URL: www.uni-saarland.de - Date: 2013-06-05 03:30:49
63	PDF Document Add to Reading List Source URL: sps.cs.uni-saarland.de - Date: 2015-09-16 11:11:10
64	PDF Document Add to Reading List Source URL: www.hiz-saarland.de - Date: 2016-09-05 04:36:10
65	PDF Document Add to Reading List Source URL: www.hiz-saarland.de - Date: 2017-01-09 11:20:26
66	Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Michael Backes1,2 , C˘at˘alin Hri¸tcu1 , and Matteo Maffei1 1 Saarland University, Saarbrücken, Germany Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2014-03-05 17:17:53
67	Gray-box Learning of Serial Compositions of Mealy Machines Andreas Abel and Jan Reineke Department of Computer Science Saarland University Saarbr¨ Add to Reading List Source URL: embedded.cs.uni-saarland.de Language: English - Date: 2016-10-24 12:00:51
68	Beratungsstelle für Betriebs- und Personalräte Seminare 2018 Add to Reading List Source URL: www.best-saarland.de Language: German - Date: 2017-10-25 05:12:36
69	Preprocessing CVS Data for Fine-Grained Analysis Thomas Zimmermann Saarland University, Saarbr¨ucken, Germany Peter Weißgerber Cath. Univ. of Eichst¨att-Ingolstadt, Germany Add to Reading List Source URL: www.st.cs.uni-saarland.de Language: English - Date: 2018-04-05 07:41:19
70	Achieving Security Despite Compromise Using Zero-knowledge Michael Backes1,2 , Martin P. Grochulla1 , C˘at˘alin Hrit¸cu1 , and Matteo Maffei1 1 Saarland University, Saarbr¨ucken, Germany 2 Add to Reading List Source URL: www.sps.cs.uni-saarland.de Language: English - Date: 2013-10-09 19:06:00

UPDATE