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 205 / 6338
»
Resource typing in Guru
Sort
relevance
views
votes
recent
update
View
thumb
title
24
click to vote
SPE
1998
72
views
more
SPE 1998
»
Type-Safe Casting
13 years 9 months ago
Download
www.cs.utah.edu
Wilson C. Hsieh, Marc E. Fiuczynski, Przemyslaw Pa...
claim paper
Read More »
18
click to vote
MSCS
2007
85
views
more
MSCS 2007
»
Constructive analysis, types and exact real numbers
13 years 8 months ago
Download
www.cs.ru.nl
Herman Geuvers, Milad Niqui, Bas Spitters, Freek W...
claim paper
Read More »
13
click to vote
JCNS
2010
56
views
more
JCNS 2010
»
Spectrum of Lyapunov exponents of non-smooth dynamical systems of integrate-and-fire type
13 years 7 months ago
Download
www.cims.nyu.edu
Douglas Zhou, Yi Sun, Aaditya V. Rangan, David Cai
claim paper
Read More »
28
click to vote
TOSEM
2010
95
views
more
TOSEM 2010
»
Types and modularity for implicit invocation with implicit announcement
13 years 7 months ago
Download
www.infosun.fim.uni-passau.de
Friedrich Steimann, Thomas Pawlitzki, Sven Apel, C...
claim paper
Read More »
31
click to vote
APPML
2010
98
views
more
APPML 2010
»
Common fixed point theorems for a weaker Meir-Keeler type function in cone metric spaces
13 years 7 months ago
Download
nhcuer.lib.nhcue.edu.tw
Chi-Ming Chen, Tong-Huei Chang
claim paper
Read More »
« Prev
« First
page 205 / 6338
Last »
Next »