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
17129
search results - page 227 / 3426
»
Applied Computing
Sort
relevance
views
votes
recent
update
View
thumb
title
130
click to vote
CIE
2005
Springer
94
views
Applied Computing
»
more
CIE 2005
»
Continuous Semantics for Strong Normalization
16 years 1 days ago
Download
www.cs.swan.ac.uk
Ulrich Berger
claim paper
Read More »
107
click to vote
CIE
2005
Springer
73
views
Applied Computing
»
more
CIE 2005
»
Presentations of Structures in Admissible Sets
16 years 1 days ago
Download
www.cs.swan.ac.uk
Alexey Stukachev
claim paper
Read More »
182
click to vote
EUC
2005
Springer
97
views
Applied Computing
»
more
EUC 2005
»
Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software
16 years 1 days ago
Download
paper.ijcsns.org
Satoshi Yamane
claim paper
Read More »
119
click to vote
ICCS
2005
Springer
66
views
Applied Computing
»
more
ICCS 2005
»
Rapid Development of Application-Specific Network Performance Tests
16 years 20 hour ago
Download
wwwc3.lanl.gov
Scott Pakin
claim paper
Read More »
115
click to vote
ICCS
2005
Springer
93
views
Applied Computing
»
more
ICCS 2005
»
What Is a Concept?
16 years 19 hour ago
Download
ldt.stanford.edu
Joseph A. Goguen
claim paper
Read More »
« Prev
« First
page 227 / 3426
Last »
Next »