ITU - PDFSEARCH.IO - Document Search Engine

ITU
Results: 7341

#	Item
331	10th Conference on Category Theory and Computer Science (CTCS’04) August 12th-14th, 2004 and FIRST Graduate Student Summer School, August 9th-11th, 2004 Workshop on Categorical Methods in Concurrency, Interaction and M Add to Reading List Source URL: www.itu.dk Language: English - Date: 2004-02-13 09:31:28
332	A Secure and Efficient Protocol for Electronic Treasury Auctions Add to Reading List Source URL: www.gstl.itu.edu.tr Language: English - Date: 2014-10-20 12:28:25
333	ICT Facts & Figures The world in 2015 Add to Reading List Source URL: www.itu.int Language: English - Date: 2015-06-16 09:27:21 Technology Mobile telecommunications Broadband Videotelephony Internet access Rights 3G Mobile broadband Digital divide Information and communications technology Mobile phone Internet in Africa
334	The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2004-11-03 09:40:39 Logic in computer science Lambda calculus Models of computation Combinatory logic First-order logic Substitution Symbol Natural deduction
335	Logical- and Meta-Logical Frameworks Lecture 1 Carsten Sch¨ urmann August 3, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:35 Logic in computer science Type theory Proof theory Classical logic Semantics Logical framework Propositional calculus Intuitionistic logic Negation Logic Mathematical logic Judgment
336	Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-03-22 10:21:52 Logic Declarative programming Software engineering Symbol Standard ML Substitution Model theory
337	Constitutional Connection itu te Add to Reading List Source URL: store.billofrightsinstitute.org Language: English - Date: 2011-03-18 14:20:01
338	Minutes from the Danish SDC board meeting, 26 June 2015, in Minutes Beijing, China Present: Brian Bech Nielsen (AU, Chairman), Jørgen Staunstrup (ITU), Kjeld Erik Brødsgaard (CBS), Thomas Bjørnholm (KU), P Add to Reading List Source URL: www.sinodanishcenter.com Language: English - Date: 2015-10-01 08:57:05
339	Introduction to ABE Our Construction Application Conclusions Key-policy Attribute-based Encryption for Boolean Add to Reading List Source URL: www.gstl.itu.edu.tr Language: English - Date: 2014-10-20 08:27:00
340	The Constitution, the First Amendment, itu te AND RELIGIOUS LIBERTY Add to Reading List Source URL: store.billofrightsinstitute.org Language: English - Date: 2011-03-18 15:18:49

UPDATE