Symposium on Theoretical Aspects of Computer Science - PDFSEARCH.IO - Document Search Engine

Symposium on Theoretical Aspects of Computer Science
Results: 42

#	Item
1	Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org LOWER BOUNDS FOR ADAPTIVE LINEARITY TESTS SHACHAR LOVETT Faculty of Mathematics and Computer Science Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2008-02-05 07:56:01
2	Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org ON THE COMPLEXITY OF ELEMENTARY MODAL LOGICS EDITH HEMASPAANDRA AND HENNING SCHNOOR Department of Computer Science, Roc Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2008-02-05 06:40:10
3	34th International Symposium on Theoretical Aspects of Computer Science Program and Information Conference Information Add to Reading List Source URL: stacs2017.thi.uni-hannover.de Language: English - Date: 2018-05-04 04:12:23
4	30th Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, Lyon (France), March 5-8, 2014. Explicit linear kernels via dynamic programming? ?? Add to Reading List Source URL: users.uoa.gr - Date: 2014-06-11 17:30:28
5	Submitted to the Symposium on Theoretical Aspects of Computer Science www.stacs-conf.org ON SUM COLORING AND SUM MULTI-COLORING FOR RESTRICTED FAMILIES OF GRAPHS ALLAN BORODIN 1 AND IOANA IVAN 1 AND YULI YE 1 AND BRYCE Z Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2010-10-20 21:24:32
6	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
7	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
8	Symposium on Theoretical Aspects of Computer Science year (city), pp. numbers www.stacs-conf.org SPONSORED SEARCH, MARKET EQUILIBRIA, AND THE HUNGARIAN METHOD 1 Add to Reading List Source URL: paulduetting.com Language: English - Date: 2013-02-20 09:01:53 Vickrey–Clarke–Groves auction Auctioneering Game theory Mechanism design
9	Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair) Add to Reading List Source URL: stacs2009.informatik.uni-freiburg.de Language: English - Date: 2008-05-21 04:30:44 Computer science Academic publishing University of Freiburg Susanne Albers Proceedings IEEE Symposium on Logic in Computer Science Electronic submission CONFER Theoretical computer science Symposium on Theoretical Aspects of Computer Science Academia
10	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-08 10:04:52 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology