Isar - PDFSEARCH.IO - Document Search Engine

Isar
Results: 262

#	Item
81	PR TRADE - Germany - AREVA finished decontamination of the reactor pressure vessel of Isar 1 nuclear power plant Add to Reading List Source URL: de.areva.com Language: English - Date: 2015-05-06 05:18:37 Technology Nuclear power plant Reactor vessel Pressurized water reactors E.ON Fukushima Prefecture Atmea European Pressurized Reactor Nuclear technology Energy Areva
82	プログラム（前付部分付き）.indd Add to Reading List Source URL: isar-4.jp Language: English - Date: 2015-04-13 05:46:50 Knowledge Education International Arctic Science Committee Association of Polar Early Career Scientists Academia
83	Gradual Typing: Isabelle/Isar Formalization Jeremy Siek and Walid Taha April 7, 2006 theory GradualTyping = Main + LaTeXsugar + OptionalSugar : datatype base-ty Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-17 16:43:12
84	Mayor Dieter Reiter, Mayor Josef Schmid, Deputy Mayor Population 1,475,569 inhabitants (June 2014) Add to Reading List Source URL: mayors-adapt.eu Language: English - Date: 2015-04-07 10:03:21 Au Climate change mitigation States of Germany Geography of Europe Geography of Germany Climate change policy Isar Munich
85	ISAR 2014 BROCHURE 4 Page Add to Reading List Source URL: www.globalsar.com.my Language: English - Date: 2014-05-13 22:05:30 Search and rescue Government Rescue Klang Valley Kuala Lumpur
86	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Automated theorem proving Proof theory Mathematical proofs Logical syntax First-order logic Proof assistant Theorem Isabelle Natural deduction Logic Mathematics Mathematical logic
87	Funded Projects ISAR – Integrated system and application analysis for massive parallel computer The maintenance of massively parallel computers providing performance in the petaflop range like the ones in the Gauss All Add to Reading List Source URL: www.par-tec.com Language: English - Date: 2012-06-13 12:41:07 D-Grid Forschungszentrum Jülich Computer cluster Computing Parallel computing Grid computing
88	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein more Isar Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer law Intellectual property law Mathematical logic Science Creative Commons Free music Attribution Copyright Mathematical induction Open content Copyleft Law
89	Last time ... Isar! ➜ syntax: proof, qed, assume, from, show, have, next ➜ modes: prove, state, chain COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Law Intellectual property law Science Functional languages Creative Commons Free music Lambda calculus Isabelle Copyright Open content Copyleft Computer law
90	3rd Circular, Call for Abstracts and Registration The Arctic Science Summit Week (ASSW) is the annual gathering of the international organizations engaged in supporting and facilitating Arctic research. The purpose of th Add to Reading List Source URL: isar-4.jp Language: English - Date: 2014-11-10 00:51:11 Poles International relations Arctic policy of the United States Climate change in the Arctic Physical geography Extreme points of Earth Arctic

UPDATE