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 150 / 2061
»
Computer science with the sciences: an emphasis in computati...
Sort
relevance
views
votes
recent
update
View
thumb
title
130
click to vote
STACS
1998
Springer
93
views
Theoretical Computer Science
»
more
STACS 1998
»
Partially Persistent Search Trees with Transcript Operations
15 years 10 months ago
Download
www.dmtcs.org
Kim S. Larsen
claim paper
Read More »
137
click to vote
STACS
1998
Springer
87
views
Theoretical Computer Science
»
more
STACS 1998
»
Optimal Proof Systems for Propositional Logic and Complete Sets
15 years 10 months ago
Download
www.uni-ulm.de
Jochen Meßner, Jacobo Torán
claim paper
Read More »
169
click to vote
STACS
1998
Springer
105
views
Theoretical Computer Science
»
more
STACS 1998
»
Local Normal Forms for First-Order Logic with Applications to Games and Automata
15 years 10 months ago
Download
www.dmtcs.org
Thomas Schwentick, Klaus Barthelmann
claim paper
Read More »
106
click to vote
ACM
1993
98
views
Theoretical Computer Science
»
more
ACM 1993
»
An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing
15 years 10 months ago
Download
www.ecs.fullerton.edu
Mansur H. Samadzadeh, Winai Wichaipanitch
claim paper
Read More »
194
click to vote
ECA
1994
192
views
Theoretical Computer Science
»
more
ECA 1994
»
Abstraction, ethics and software: why don't the rules work?
15 years 10 months ago
Download
www.cse.unsw.edu.au
Shelly Warwick
claim paper
Read More »
« Prev
« First
page 150 / 2061
Last »
Next »
