Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10304
search results - page 131 / 2061
»
Computer science with the sciences: an emphasis in computati...
Sort
relevance
views
votes
recent
update
View
thumb
title
112
click to vote
TCS
2010
120
views
Theoretical Computer Science
»
more
TCS 2010
»
Parameterized algorithms for d-Hitting Set: The weighted case
15 years 4 months ago
Download
www.informatik.uni-trier.de
Henning Fernau
claim paper
Read More »
123
click to vote
TCS
2010
119
views
Theoretical Computer Science
»
more
TCS 2010
»
Query-based verification of qualitative trends and oscillations in biochemical systems
15 years 4 months ago
Download
homepages.inf.ed.ac.uk
Paolo Ballarini, Maria Luisa Guerriero
claim paper
Read More »
109
click to vote
TCS
2010
151
views
Theoretical Computer Science
»
more
TCS 2010
»
Dcpo-completion of posets
15 years 4 months ago
Download
www.informatics.sussex.ac.uk
Dongsheng Zhao, Taihe Fan
claim paper
Read More »
103
click to vote
TCS
2010
91
views
Theoretical Computer Science
»
more
TCS 2010
»
The multiple facets of the canonical direct unit implicational basis
15 years 4 months ago
Download
halshs.archives-ouvertes.fr
Karell Bertet, Bernard Monjardet
claim paper
Read More »
128
click to vote
TCS
2010
94
views
Theoretical Computer Science
»
more
TCS 2010
»
Verifying parallel programs with dynamic communication structures
15 years 4 months ago
Download
www.liafa.jussieu.fr
Tayssir Touili, Mohamed Faouzi Atig
claim paper
Read More »
« Prev
« First
page 131 / 2061
Last »
Next »
