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
10392
search results - page 227 / 2079
»
Introduction to Computer Science
Sort
relevance
views
votes
recent
update
View
thumb
title
147
click to vote
SOFSEM
2009
Springer
116
views
Theoretical Computer Science
»
more
SOFSEM 2009
»
A Machine Checked Soundness Proof for an Intermediate Verification Language
16 years 3 months ago
Download
www.ksi.mff.cuni.cz
Frédéric Vogels, Bart Jacobs 0002, F...
claim paper
Read More »
126
click to vote
STACS
2010
Springer
139
views
Theoretical Computer Science
»
more
STACS 2010
»
Sponsored Search, Market Equilibria, and the Hungarian Method
16 years 1 months ago
Download
www.illc.uva.nl
Paul Dütting, Monika Henzinger, Ingmar Weber
claim paper
Read More »
136
click to vote
STACS
2010
Springer
147
views
Theoretical Computer Science
»
more
STACS 2010
»
The Tropical Double Description Method
16 years 1 months ago
Download
www.lix.polytechnique.fr
Xavier Allamigeon, Stephane Gaubert, Eric Goubault
claim paper
Read More »
176
click to vote
SOFSEM
2010
Springer
169
views
Theoretical Computer Science
»
more
SOFSEM 2010
»
Model-Driven Software Product Line Testing: An Integrated Approach
16 years 1 months ago
Download
www.sofsem.cz
Andy Schürr, Sebastian Oster, Florian Markert
claim paper
Read More »
124
click to vote
STACS
2009
Springer
111
views
Theoretical Computer Science
»
more
STACS 2009
»
Testing Linear-Invariant Non-Linear Properties
16 years 1 months ago
Download
www.wisdom.weizmann.ac.il
Arnab Bhattacharyya, Victor Chen, Madhu Sudan, Nin...
claim paper
Read More »
« Prev
« First
page 227 / 2079
Last »
Next »
