ITU - PDFSEARCH.IO - Document Search Engine

ITU
Results: 7341

#	Item
341	Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-08-10 11:35:47 Theoretical computer science Mathematical logic Logic in computer science Type theory Proof assistants Mathematics Automated theorem proving Isabelle Logical framework Twelf Formal methods Automated reasoning
342	W O R L D S U M M I T O N T H E I N F O R M AT I O N S O C I E T Y WSIS-SDG MATRIX LINKING WSIS ACTION LINES WITH SUSTAINABLE Add to Reading List Source URL: www.itu.int Language: English - Date: 2015-06-17 06:04:01
343	Outcome of the 2012 World Radiocommunication Conference: Oceanographic HF Radars Oﬃcially Recognized by ITU Add to Reading List Source URL: www.codar.com Language: English - Date: 2013-12-31 07:21:02
344	On the anonymization of Cocks IBE BalkanCryptSec 2014 Gheorghe Adrian Schipor Departament of Computer Science Alexandru Ioan Cuza University, Ias, i Add to Reading List Source URL: www.gstl.itu.edu.tr Language: English - Date: 2014-10-23 14:32:24
345	SI99-03 Surging Ideas TVS Diode Application Note PROTECTION PRODUCTS Lightning Immunity Requirements of Add to Reading List Source URL: www.semtech.com Language: English - Date: 2013-04-03 13:11:09 Computing ITU-T Connection-Oriented Network Service International Telecommunication Union Internet Technology
346	Microsoft PowerPoint - ITU-T and CC - Flavio Cucchietti) Add to Reading List Source URL: 2013.ict4s.org Language: English - Date: 2013-07-09 06:20:41
347	GSR discussion paper Big Data - Opportunity or Threat? Work in progress, for discussion purposes Comments are welcome! Please send your comments on this paper at: by 20 June 2014. Add to Reading List Source URL: www.itu.int Language: English - Date: 2014-05-28 10:18:12
348	THE IMPORTANCE OF VOLUNTARY TECHNICAL STANDARDS FOR THE INTERNET AND ITS USERS 29 August 2012 Later this year, the International Telecommunication Union (ITU) will convene a meeting of the worldʼs governments to decide Add to Reading List Source URL: www.cdt.org Language: English - Date: 2012-08-29 08:21:06
349	PDF Document Add to Reading List Source URL: www.itu.int Language: Arabic - Date: 2015-10-07 04:32:18
350	SOC kHz UTC DD MM ITU IDENT MODE BD SH DETAILS Add to Reading List Source URL: www.iarums-r1.org Language: English - Date: 2012-04-03 07:11:11 Types of radio emissions Coordinated Universal Time Engineering

UPDATE