NCL - PDFSEARCH.IO - Document Search Engine

NCL
Results: 1910

#	Item
251	PDF Document Add to Reading List Source URL: research.ncl.ac.uk Language: German - Date: 2013-01-13 19:44:35
252	2014RR03HauonBaronowskiPolybiusrevised Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2015-04-03 04:33:56 Polybius 1st millennium BC The Histories Ancient Greek literature Roman historiography Macedonian Wars Ancient Rome
253	2013.A06. Syme, Tacite et Proust Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2013-09-11 08:46:18
254	TECHNICAL REPORT TRJuneCONCR ETE SYNTAX OF PL / 1 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-03-06 06:36:07 Software engineering Computer programming Computing Formal languages Compiler construction Procedural programming languages IBM software PL/I BackusNaur form Syntax Programming language Formal grammar
255	Microsoft Word - 2016RD01UrsoonLachenaudandCoudry Add to Reading List Source URL: research.ncl.ac.uk Language: Italian - Date: 2016-01-05 18:24:13
256	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨ Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-12 04:45:38 Models of computation Concurrency Diagrams Petri net Software engineering Symbol Model checking Theoretical computer science Metaphor
257	Microsoft Word - 2015RRxxMerkelonSuerbaum Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2015-11-29 04:47:27 Prosopography of Ancient Rome Ancient Rome 1st millennium Julio-Claudian dynasty Cornelii Tacitus Tacitean studies Seii Annals Histories Roman historiography Tiberius
258	2015RR08WhittononGeisthardt Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2015-03-23 07:31:21 Prosopography of Ancient Rome Ancient Rome 1st millennium Julio-Claudian dynasty Flavian dynasty Claudii Jesus and history Cornelii Tacitus Tacitean studies Pliny the Younger Germania
259	Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:57:32 Software engineering Computing Formal methods Refinement FDR Model checking Prolog Algorithm Predicate transformer semantics Type system Abstract machine XSB

UPDATE