Dāna - PDFSEARCH.IO - Document Search Engine

Dāna
Results: 4138

#	Item
1	Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:59
2	Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Martin Vechev, Laurent Vanbever net2text.ethz.ch Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-04-26 04:27:22 Computing Computer networking Internet architecture Networking hardware Router Server appliance Forwarding Information and communications technology Data transmission
3	Net 2 Text Hey network, what are you up to? * Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-04-18 04:24:08 Computer networking Inter-process communication Traffic flow Egress Path
4	Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Theoretical computer science Mathematical software Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Solver Benchmark Nl
5	Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev ETH Zürich net2text.ethz.ch Abstract Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-02-25 19:48:09 Internet architecture Network theory Mathematics Edsger W. Dijkstra Shortest path problem Routing Reachability Computing Discrete mathematics Network architecture
6	The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Theoretical computer science Mathematics Logic Synthesis Satisfiability modulo theories Symbol Expression
7	PDF Document Add to Reading List Source URL: www.dana.org - Date: 2018-05-14 10:26:31
8	PDF Document Add to Reading List Source URL: www.dana.org - Date: 2016-11-10 12:03:42
9	PDF Document Add to Reading List Source URL: www.unity-dana.ru - Date: 2018-01-10 03:54:56
10	Pracovní podmínky zdravotníků nelékařů ve FN HK prof. MUDr. Roman Prymula, CSc., Ph.D. Mgr. Dana Vaňková Mgr. Hana Drábková Add to Reading List Source URL: www.cnna.cz Language: Czech - Date: 2013-10-26 07:09:35

UPDATE