BRICS - PDFSEARCH.IO - Document Search Engine

BRICS
Results: 891

#	Item
131	BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-27 17:26:58 Higher-order functions Functional programming Lambda calculus Type theory Map Haskell AS3 Type system Generic programming Computing Software engineering Declarative programming
132	BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 05:10:41
133	17 STR/EyePress/NEWSCOM/SIPABRICS bloc(k) rising? Add to Reading List Source URL: www.iss.europa.eu Language: English - Date: 2015-06-05 08:02:37 Foreign relations of India Political geography BRICS Foreign relations of South Africa BRIC G-20 major economies United Nations Security Council South Africa Global governance International relations Politics Foreign relations of Brazil
134	BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-23 11:27:09 Applied mathematics Models of computation Model checking Fixed-point combinator Abstraction Predicate Abstract interpretation Finite-state machine Function Theoretical computer science Mathematics Lambda calculus
135	BRICS Basic Research in Computer Science BRICS RSDavid & M¨oller: From Hierarichcal Timed Automata to U PPAAL Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-16 09:27:17
136	BRICS RSBiernacka & Danvy: A Concrete Framework for Environment Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-05-19 19:00:35
137	Semear - Brics Miolo final.indd Add to Reading List Source URL: www.rebrip.org.br Language: Portuguese - Date: 2015-06-15 10:03:21
138	BRICS RSBRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-10-07 08:32:59 Physics Quantum computer Quantum circuit Density matrix Quantum channel Commitment scheme BB84 Qubit Quantum key distribution Theoretical computer science Quantum information science Quantum mechanics
139	BRICS Basic Research in Computer Science BRICS RSJ. B. Nielsen: Non-Committing Encryption is Too Easy in the Random Oracle Model Non-Committing Encryption is Too Easy in Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-12-13 04:58:29
140	BRICS DS-04-3 J. Groth: Honest Verifier Zero-knowledge Arguments Applied BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-06 04:06:17 Group signature IP NP Commitment scheme Soundness BRIC Alice and Bob Cryptography Cryptographic protocols Zero-knowledge proof

UPDATE