Languages - PDFSEARCH.IO - Document Search Engine

Languages
Results: 66134

#	Item
881	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
882	Web Technologies: The W3C Technology Stack Unit 8: Bridging XHTML and RDF: RDFa Prof. Dr. Martin Hepp http://www.unibw.de/ebusiness/ Add to Reading List Source URL: www.ebusiness-unibw.org Language: English - Date: 2016-07-26 08:52:51 Computing World Wide Web Consortium Web standards Semantic Web HTML Metadata publishing Resource Description Framework Markup languages RDFa XHTML XHTML+RDFa RDF/XML
883	An open letter - Our language communities benefit from our EU membership We, as representatives of the indigenous lesser-used languages in Britain and Ireland under the jurisdiction of the UK Government, release this sta Add to Reading List Source URL: cornish-language.org Language: English - Date: 2016-06-20 03:48:10 Europe Culture Languages of the United Kingdom Linguistics Linguistic rights Fusional languages Language policy Brittonic languages Brexit Cornish language Welsh language Kowethas an Yeth Kernewek
884	Sparser, Better, Faster GPU Parsing David Hall Taylor Berg-Kirkpatrick John Canny Dan Klein Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2014-04-16 23:03:50 Formal languages Syntax Software engineering Parsing algorithms Natural language parsing Cognitive science Computer programming Compiler construction Parsing Stochastic context-free grammar Formal grammar Parse tree
885	E/CONF.94/CRPJune 2002 English only Eighth United Nations Conference on the Standardization of Geographical Names Add to Reading List Source URL: unstats.un.org Language: English - Date: 2015-05-01 17:29:37 Geography of Europe Europe Grand Duchy of Finland Languages of Finland Helsinki Finland Sirkka Finnish name Liisa Swedish language Toponyms of Finland
886	DomRobot XML-RPC API Documentation - This documentation describes the communication between client and API interface. Add to Reading List Source URL: www.inwx.at Language: English Computing Markup languages Web services Object-oriented programming languages Remote procedure call Internet protocols XML-RPC YAML Ruby Java
887	Hochschule für Technik, Wirtschaft und Kultur Leipzig Leipzig University of Applied Sciences Formatting print layouts with CSS 3 Faculty of Add to Reading List Source URL: jpmtr.org Language: English - Date: 2015-10-06 04:26:58 Computing Markup languages Web design Cascading Style Sheets XSL Formatting Objects XSL Prince Leipzig
888	Polishing Structural Bulk Updates in a Native XML Database Master thesis presented by Lukas Kircher Add to Reading List Source URL: files.basex.org Language: English - Date: 2013-10-25 10:44:40 Computing Data Query languages Functional languages XPath XQuery Data management BaseX XML tree XML database Tree traversal B-tree
889	PDF Document Add to Reading List Source URL: www.logainm.ie Language: English - Date: 2012-09-12 07:36:31 Comhar Irish dialects Irish literature Irish language Goidelic languages Connacht Irish County Louth Historic Names
890	Amoeba Join: Overcoming Structural Fluctuations in XML Data Taro L. Saito Shinichi Morishita Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2007-05-03 17:07:37 Computing Data management Data Query languages B-tree Theoretical computer science Markup languages Functional languages Lowest common ancestor XPath XML tree Amoeba

UPDATE