Language / Country:

Sites similar to Dcfs07.Ics.Upjs.Sk

dcfs07.ics.upjs.sk - DCFS 2007 | Homepage
DCFS 2007 | Homepage
Description: 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras, Slovakia; 20–22 July 2007.
Popular Searches: dcfs07 ics upjs
Dcfs07.Ics.Upjs.Sk
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics:  computer
34th International Colloquium on Automata, Languages and Programming. Wrocław, Poland. 9–13 July 2007.
icalp07.ii.uni.wroc.pl - 

Sites like Icalp07.Ii.Uni.Wroc.Pl

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
48th Annual IEEE Symposium on Foundations of Computer Science. Providence, Rhode Island. 20–23 October 2007.
focs2007.org - 

Sites like Focs2007.Org

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
24th IEEE Conference on Computer Vision and Pattern Recognition. Colorado Springs, USA. June 20-25, 2011.
cvpr2011.org - 

Sites like Cvpr2011.Org

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
MFCS 2007 - 32nd International Symposium on Mathematical Foundations of Computer Science, August 27-31, 2007, Cesky Krumlov, Czech Republic, Europe.
mfcs.mff.cuni.cz - 

Sites like Mfcs.Mff.Cuni.Cz

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
Atlanta, Georgia
cs.gsu.edu - 

Sites like Cs.Gsu.Edu

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
CALCO 2011: Fourth International Conference on Algebra and Coalgebra in Computer Science
calco2011.ecs.soton.ac.uk - 

Sites like Calco2011.Ecs.Soton.Ac.Uk

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order ...
cs.ucsd.edu - 

Sites like Cs.Ucsd.Edu

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
Research group focused on research in the field of pattern matching, text algorithms, information retrieval, finite automata etc. Publications, members, events ...
stringology.org - 

Sites like Stringology.Org

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
Similar topics:  computer   math   programming   artificial   software   education   people   literature   security   collecting