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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
31686
search results - page 124 / 6338
»
Resource typing in Guru
Sort
relevance
views
votes
recent
update
View
thumb
title
22
click to vote
ENTCS
2008
97
views
more
ENTCS 2008
»
Structured Types and Separation Logic
13 years 9 months ago
Download
www.ertos.nicta.com.au
Harvey Tuch
claim paper
Read More »
16
click to vote
INFORMATICALT
2008
101
views
more
INFORMATICALT 2008
»
Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction
13 years 9 months ago
Download
www.mii.lt
Bruria Haberman
claim paper
Read More »
21
click to vote
JCS
2006
66
views
more
JCS 2006
»
Improved typings for probabilistic noninterference in a multi-threaded language
13 years 9 months ago
Download
users.cis.fiu.edu
Geoffrey Smith
claim paper
Read More »
14
click to vote
MSCS
2008
73
views
more
MSCS 2008
»
Bounded polymorphism in session types
13 years 9 months ago
Download
www.dcs.gla.ac.uk
Simon J. Gay
claim paper
Read More »
13
click to vote
ETS
2007
IEEE
101
views
Hardware
»
more
ETS 2007
»
Educational Technology and Practice: Types and Timescales of Change
13 years 9 months ago
Download
www.ifets.info
David Riley
claim paper
Read More »
« Prev
« First
page 124 / 6338
Last »
Next »