Benedikt - PDFSEARCH.IO - Document Search Engine

Benedikt
Results: 457

#	Item
221	Reconciling Weighted MSO and Probabilistic CTL Benedikt Bollig and Paul Gastin LSV, ENS Cachan, INRIA, CNRS, FRANCE Chennai, 1 February 2010 Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2010-02-02 00:57:14
222	Benedikt Schonlau Abteilungsleiter – Aktive Sicherheit & Lichtfunktionen Head of Department – Active Safety & light functions IAV GmbH Add to Reading List Source URL: kongress.automotiveit.eu Language: German - Date: 2015-02-17 12:06:16
223	Konjunktur, Aussichten, Wirtschaftspolitik, Alternativen – Deutschland und Europa Andrew Watt, Abteilungsleiter des IMK Benedikt Kautsky Kreis, Bad Leonfelden Add to Reading List Source URL: www.boeckler.de Language: German - Date: 2015-01-07 16:00:04
224	Perspective Peter Heckmann Marco Kesteloo Benedikt Schmaus Robbert Huisman Add to Reading List Source URL: derhandel.de Language: English - Date: 2012-09-28 09:51:54 Marketing Retailing Online shopping Retail Amazon.com ASOS.com Price comparison service Mobile commerce Multichannel retailer Electronic commerce Business Technology
225	En gare, les trains, la vie, la ville. Benedikt Weibel Add to Reading List Source URL: forumdes100.typepad.com Language: French - Date: 2008-06-08 02:03:29
226	BHSF BHSF Architekten Benedikt Boucsein, Axel Humpert, Tim Seidel Hardstrasse 69, CH–8004 Zürich Tel: +, Fax: + Add to Reading List Source URL: www.architektur.tu-berlin.de Language: German - Date: 2015-04-02 03:21:39
227	No Size Fits All – Running the Star Schema Benchmark with SPARQL and RDF Aggregate Views Benedikt K¨ampgen and Andreas Harth Institute AIFB, Karlsruhe Institute of Technology, Karlsruhe, Germany benedikt.kaempgen@kit. Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Information Query languages Computer languages Data warehousing ROLAP SPARQL Aggregate Simple Knowledge Organization System RDF query language Online analytical processing Computing Data management
228	The Ocsigen-Project The State of the Art, and the Prospects Benedikt Becker Vincent Balat Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-18 14:54:07 Web application frameworks Ocsigen Client–server model Server Client X Window System IBM Lotus Notes Software Computing System software
229	Parameterized Communicating Automata! Complementation and Model Checking Benedikt Bollig, Paul Gastin, and Akshay Kumar Laboratoire Spécification et Vérification! ENS Cachan & CNRS, France Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-12-19 10:07:04
230	Ocsigen/Eliom: The state of the art, and the prospects Benedikt Becker Vincent Balat IRILL A framework for a modern development of web applications should contain a large Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:14 Ocsigen Client–server model Client Session XRX Application server Web application frameworks Software Computing

UPDATE