NCL - PDFSEARCH.IO - Document Search Engine

NCL
Results: 1910

#	Item
361	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D29 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-07 10:26:15 Software engineering Computing Engineering Formal methods Safety Software quality Control engineering Fault tolerance Rodin tool Life-critical system Dependability Control theory
362	09. Rowe, Uses and Disadvantages of Socrates _216-229_ Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2011-07-01 09:54:13 Socratic dialogues Dialogues of Plato Philosophy Ancient philosophy Epistemology Socrates Apology Meno Socratic method Theory of Forms Symposium Ancient Greek philosophy
363	2013.AAxx. Dudzinski, Bull of Phalaris Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2013-08-07 18:22:51 Cannibals Phalaris Polybius Timaeus Brazen bull Diodorus Siculus Carthage The Histories
364	08. Hodgkinson, Malalas, Licinius Macer _85-92_ Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2011-07-03 13:06:49 Roman mythology Romulus and Remus Acca Larentia Rhea Silvia Titus Tatius Licinia John Malalas Larentia Licinius Macer Romulus The Rape of the Sabine Women Amulius
365	2011.RR04. Pausch on Naef Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2012-04-03 03:28:28 Historiography Philosophy of history Historian Thucydides
366	Histos  () – JESUS THE HEALER IN THE GOSPELS, THE ACTS OF THE APOSTLES, AND EARLY CHRISTIANITY∗ Abstract. This paper argues that the Gospels and Acts of the Apostles contain sustained Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2011-08-04 17:23:50 Jesus and history Christology Canonical Gospels Gospel Historical Jesus Jesus Acts of the Apostles Life of Jesus in the New Testament New Testament Saint Peter Historicity of Jesus Historiography of early Christianity
367	RD03. Tuplin, Dillery Xenophon _181-187_ Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2011-07-01 09:45:10 Xenophon Hellenica Thucydides Agesilaus II Socrates Cyropaedia Anabasis Theopompus
368	2012.A02 Prandi, New Evidence for Cleitarchus Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2012-07-11 14:45:14 Alexander the Great Cleitarchus Dinon Persepolis Ptolemy Babylon Glycera Diodorus Siculus
369	2014RR09MorganonLeeLukeActsandTragicHistory Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2015-04-03 04:33:57 Acts of the Apostles Gospel of Luke Historiography New Testament Jesus Saint Peter Josephus Historian Duris of Samos
370	Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-11 09:56:52 Formal methods Theoretical computer science Project management Computer programming Refinement B-Method Feature model Model checking Object Process Methodology Software development process Algorithm Economic model

UPDATE