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
11345
search results - page 472 / 2269
»
Foundations of Computer Science
Sort
relevance
views
votes
recent
update
View
thumb
title
153
click to vote
ERSHOV
2003
Springer
98
views
Theoretical Computer Science
»
more
ERSHOV 2003
»
Polynomial Approximations for Model Checking
16 years 25 days ago
Download
www.iis.nsk.su
Nikolay V. Shilov, Natalya Olegovna Garanina
claim paper
Read More »
145
click to vote
ERSHOV
2003
Springer
107
views
Theoretical Computer Science
»
more
ERSHOV 2003
»
The Supercompiler SCP4: General Structure
16 years 25 days ago
Download
skif.pereslavl.ru
Andrei P. Nemytykh
claim paper
Read More »
147
click to vote
ERSHOV
2003
Springer
95
views
Theoretical Computer Science
»
more
ERSHOV 2003
»
Storing Properties in Grouped Tagged Tuples
16 years 25 days ago
Download
www-ti.informatik.uni-tuebingen.de
Roland Weiss, Volker Simonis
claim paper
Read More »
155
click to vote
ICALP
2003
Springer
101
views
Programming Languages
»
more
ICALP 2003
»
Approximation Schemes for Degree-Restricted MST and Red-Blue Separation Problem
16 years 25 days ago
Download
publications.ias.edu
Sanjeev Arora, Kevin L. Chang
claim paper
Read More »
138
click to vote
ICALP
2003
Springer
65
views
Programming Languages
»
more
ICALP 2003
»
A Study of Integrated Document and Connection Caching
16 years 25 days ago
Download
www2.informatik.hu-berlin.de
Susanne Albers, Rob van Stee
claim paper
Read More »
« Prev
« First
page 472 / 2269
Last »
Next »
