NS Basic - PDFSEARCH.IO - Document Search Engine

NS Basic
Results: 57

#	Item
1	BRICS Basic Research in Computer Science BRICS NS-00-1 B. G¨artner: Randomization and Abstraction — Useful Tools for Optimization Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2016-06-20 11:55:09 Operations research Foreign relations of Brazil Foreign relations of India Computational geometry Linear programming LP-type problem Emo Welzl Mathematical optimization Bounding sphere BRIC Randomization
2	BRICS Basic Research in Computer Science BRICS NS-00-1 B. G¨artner: Randomization and Abstraction — Useful Tools for Optimization Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2003-04-07 11:48:59
3	UCSF Neuroscience Graduate Program Neuroscience Course Descriptions NS 201A: Basic Concepts in Cellular and Molecular Neuroscience. An interdisciplinary introduction to fundamental aspects of nervous system function. Th Add to Reading List Source URL: keck.ucsf.edu Language: English - Date: 2012-04-16 15:40:09
4	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
5	BRICS BRICS NS-94-2 Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-04 07:20:36 Differential equation Problem solving Automated theorem proving Heuristics Rippling
6	BRICS BRICS NS-94-5 Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-08 09:05:47
7	BRICS Basic Research in Computer Science BRICS NS-03-2 L. Aceto: Some of My Favourite Results in Classic Process Algebra Add to Reading List Source URL: www.brics.dk - Date: 2003-09-10 04:21:14
8	BRICS Basic Research in Computer Science BRICS NS-00-5 C. Brabrand: Version 1.3 — Tutorial Version 1.3 Add to Reading List Source URL: www.brics.dk - Date: 2000-11-17 08:58:39
9	BRICS Basic Research in Computer Science BRICS NS-99-1 O. Danvy (ed.): PEPM ’99 Proceedings Add to Reading List Source URL: www.brics.dk - Date: 2004-03-04 09:22:16
10	BRICS Basic Research in Computer Science BRICS NS-99-3 Mosses & Watt (eds.): AS ’99 Proceedings Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-16 06:02:49