Schickard - PDFSEARCH.IO - Document Search Engine

Schickard
Results: 39

#	Item
1	Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:30:27 Computational complexity theory Theoretical computer science Logic in computer science Complexity classes Mathematical optimization Boolean algebra NP-complete problems Boolean satisfiability problem 2-satisfiability Horn-satisfiability P versus NP problem Exponential time hypothesis
2	U NIVERSITY OF T ÜBINGEN Wilhelm Schickard Institute for Informatics The Chair of Cognitive Systems Bachelor Thesis Add to Reading List Source URL: www.ra.cs.uni-tuebingen.de Language: English - Date: 2015-09-23 09:38:01
3	Developing a Stage Lighting System from Scratch Michael Sperber Wilhelm-Schickard-Institut fur ¨ Informatik Universitat ¨ Tubingen Add to Reading List Source URL: www.deinprogramm.de - Date: 2002-02-11 08:45:22
4	Realistic Compilation By Partial Evaluation Michael Sperber Peter Thiemann Wilhelm-Schickard-Institut f¨ur Informatik Add to Reading List Source URL: www.deinprogramm.de - Date: 2002-02-04 09:31:52
5	Wilhelm Schickards Tübinger Rechenmaschine vonWilhelm-Schickard-Schule Tübingen 2002 Die Maschine besteht aus drei voneinander unabhängigen Teilen: Einem Multiplikationswerk (dem oberen Teil der Maschine), welc Add to Reading List Source URL: www.wss.tue.bw.schule.de - Date: 2004-01-12 04:48:04
6	WILHELM-SCHICKARD-SCHULE TÜBINGEN Add to Reading List Source URL: www.wss.tue.bw.schule.de - Date: 2015-12-06 09:24:12
7	Wilhelm Schickard-Institut für Informatik 15. Theorietag der GI FachgruppeAutomaten und Forn1ale Sprachen Henning Fernau (Ed.) Add to Reading List Source URL: fg-afs.gi.de - Date: 2016-03-31 08:38:04
8	How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Subroutines Data types Type theory Object-oriented programming languages Functional languages Partial evaluation Scala Recursion Memoization
9	WSS - WIR STÄRKEN SCHÜLER WILHELM-SCHICKARD-SCHULE KAUFMÄNNISCHE SCHULEN Kaufmännische Berufsschule Add to Reading List Source URL: www.wss.tue.bw.schule.de - Date: 2014-12-17 11:55:48
10	WILHELM-SCHICKARD-SCHULE TÜBINGEN Add to Reading List Source URL: www.wss.tue.bw.schule.de Language: German - Date: 2015-12-06 09:24:30