Cezary - PDFSEARCH.IO - Document Search Engine

Cezary
Results: 63

#	Item
21	Elektryczne Systemy Grzewcze Mateusz Hoppe fot. Cezary Miłoś Add to Reading List Source URL: www.biuletyntechniczny.com.pl Language: Polish - Date: 2014-12-09 17:03:41
22	Challenges for Patients on Long Term Systemic Therapy Prof. Cezary Szczylik, MD PhD Department of Oncology Military Institute of Medicine Add to Reading List Source URL: www.euikcs.com Language: English - Date: 2014-05-13 15:25:25 Medicine Organofluorides Kidney cancer Bevacizumab Sunitinib Renal cell carcinoma Vascular endothelial growth factor Temsirolimus Sorafenib Chemistry Organic chemistry Orphan drugs
23	dLibra Digital Library Framework Paweł Gruszczy´nski Cezary Mazurek Stanisław Osi´nski Andrzej Sw˛edrzy´nski Add to Reading List Source URL: stanislaw.osinski.name Language: English - Date: 2013-12-30 07:59:59 Archival science Digital library Library science Java Database Connectivity Library Computing Java platform Java specification requests
24	dLibra — CONTENT MAINTENANCE FOR DIGITAL LIBRARIES Paweł Gruszczyn´ ski Cezary Mazurek Stanisław Osi´nski Andrzej Sw˛edrzyn´ ski Sebastian Szuber Add to Reading List Source URL: stanislaw.osinski.name Language: English - Date: 2013-12-30 07:59:59 Data management Technology Open formats Archival science Computer file formats Portable Document Format File system Digital library Metadata Computing Technical communication Information
25	Bronisław Komorowski, Prezydent Rzeczypospolitej Polskiej Ewa Kopacz, Prezes Rady Ministrów Teresa Piotrowska, Minister Spraw Wewnętrznych Cezary Grabarczyk, Minister Sprawiedliwości Małgorzata Fuszara, Pełnomocnik Add to Reading List Source URL: otwarta.org Language: Polish - Date: 2015-03-16 15:12:22
26	Datathon Zbigniew Smoreda, Cezary Ziemlicki SENSE/Orange Labs Sc hool / Da ta thon Add to Reading List Source URL: netmob.org Language: English - Date: 2015-04-10 12:02:13 Timestamp ISO Measurement Software Computing Comma-separated values Time and date
27	arXiv:1407.4885v2 [cs.CY] 30 JulD4D-Senegal: The Second Mobile Phone Data for Development Challenge Yves-Alexandre de Montjoye1, Zbigniew Smoreda2, Romain Trinquart2, Cezary Ziemlicki2, Vincent D. Blondel3 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-30 23:36:42 Dakar Sonatel
28	BUILDING A LARGE-SCALE INFORMATION SYSTEM FOR THE EDUCATION SECTOR: A PROJECT EXPERIENCE Pawel Gruszczynski, Bernard Lange, Michal Maciejewski, Cezary Mazurek, Krystian Nowak, Stanislaw Osinski, Maciej Stroinski, Andrzej Add to Reading List Source URL: stanislaw.osinski.name Language: English - Date: 2013-12-30 07:59:59 Freedesktop.org X Window System Fat client Client–server model Sun Microsystems Web application Windows Client Java Computing Software Software architecture
29	Noname manuscript No. (will be inserted by the editor) A Learning-Based Relevance Filter for Isabelle/HOL Jasmin Christian Blanchette · David Greenaway · Cezary Kaliszyk · Daniel Kühlwein · Josef Urban Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-31 05:32:44 Isabelle Function Proof assistant Golden ratio Mathematics Mathematical logic Symbol
30	Hammering towards QED Jasmin C. Blanchette Technische Universit¨at M¨ unchen Cezary Kaliszyk University of Innsbruck, Austria Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Formal methods Automated theorem proving Mathematical logic Model theory Mathematical proof QED manifesto Theorem Proof assistant Automated reasoning Mathematics Logic Theoretical computer science