ITU - PDFSEARCH.IO - Document Search Engine

ITU
Results: 7341

#	Item
711	Internationellt arbete – ITU-T SG2 Nummerforum – Post- och telestyrelsen ITU-T SG2 Add to Reading List Source URL: www.pts.se Language: Swedish - Date: 2015-05-21 01:31:04
712	Aucun titre de diapositive Add to Reading List Source URL: cimss.ssec.wisc.edu Language: English - Date: 2009-06-17 15:30:26 Frequency allocation S band Electronic engineering E band ITU-R Radio spectrum Wireless Technology
713	On The Limits Of Cache Oblivious Matrix Transposition Add to Reading List Source URL: www.itu.dk Language: English - Date: 2015-01-07 05:01:28 Analysis of algorithms Cache-oblivious algorithm Information CPU cache Locality of reference Memory hierarchy Computer memory Cache Computing
714	Introduction to database design First lecture: RG 3.6, 3.7, [4], most of 5 Second lecture: Rest of RG 5 Rasmus Pagh Some figures are taken from the ppt slides from the book Add to Reading List Source URL: itu.dk Language: English - Date: 2012-09-28 03:29:01 Data Relational model Database management systems Relational database Relational algebra Relation Candidate key Database normalization SQL Data management Data modeling Database theory
715	Erratta for “Axiomatizing Binding Bigraphs” In Table I, the following categorical axiom concerned with symmetries was mistakenly omitted: γI⊗J,K = (γI,K ⊗ idJ ) (idI ⊗ γJ,K ) . Also, in Lemma 2, replace Pπ( Add to Reading List Source URL: www.itu.dk - Date: 2007-03-26 11:30:14
716	Collection of database exams Rasmus Pagh August 27, 2012 This collection of database exams is meant to provide students of the course Introduction to Database Design extensive practice towards achieving Add to Reading List Source URL: itu.dk Language: English - Date: 2012-08-27 05:46:54 Data modeling SQL Database management systems Relational database management systems Databases Join Data Definition Language Foreign key XML Data management Computing Data
717	PDF Document Add to Reading List Source URL: www.itu.dk - Date: 2011-09-30 03:17:26
718	PDF Document Add to Reading List Source URL: www.itu.int Language: Arabic - Date: 2015-05-12 04:49:12
719	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
720	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory

UPDATE