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
21984
search results - page 312 / 4397
»
C
Sort
relevance
views
votes
recent
update
View
thumb
title
140
Voted
LICS
1992
IEEE
99
views
Automated Reasoning
»
more
LICS 1992
»
Operational aspects of linear lambda calculus
15 years 10 months ago
Download
www.csl.sri.com
Patrick Lincoln, John C. Mitchell
claim paper
Read More »
125
click to vote
NOSSDAV
1992
Springer
94
views
Computer Networks
»
more
NOSSDAV 1992
»
Synchronization of Multi-Sourced Multimedia Data for Heterogeneous Target Systems
15 years 10 months ago
Download
homepages.cwi.nl
Dick C. A. Bulterman
claim paper
Read More »
132
click to vote
RIDE
1992
IEEE
94
views
Document Analysis
»
more
RIDE 1992
»
Interactions Between Query Optimization and Concurrency Control
15 years 10 months ago
Download
www.almaden.ibm.com
C. Mohan
claim paper
Read More »
234
click to vote
AM
1989
310
views
Mathematics
»
more
AM 1989
»
Design of a Specification Language by Abstract Syntax Engineering
15 years 10 months ago
Download
igitur-archive.library.uu.nl
Jos C. M. Baeten, Jan A. Bergstra
claim paper
Read More »
45
click to vote
APL
1989
ACM
52
views
Software Engineering
»
more
APL 1989
»
What is an Argument?
15 years 10 months ago
Download
voyager.dvc.edu
H. C. Bertuccelli
claim paper
Read More »
« Prev
« First
page 312 / 4397
Last »
Next »