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
5510
search results - page 19 / 1102
»
Mathematics
Sort
relevance
views
votes
recent
update
View
thumb
title
117
click to vote
MPC
1989
Springer
62
views
Mathematics
»
more
MPC 1989
»
Constructing a Calculus of Programs
15 years 10 months ago
Download
www.cs.uu.nl
Lambert G. L. T. Meertens
claim paper
Read More »
118
click to vote
ASMTA
2010
Springer
135
views
Mathematics
»
more
ASMTA 2010
»
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm
15 years 10 months ago
Download
www.neptuny.com
Paolo Cremonesi, Kanika Dhyani, Andrea Sansottera
claim paper
Read More »
126
click to vote
CASC
2007
Springer
88
views
Mathematics
»
more
CASC 2007
»
Symmetries and Dynamics of Discrete Systems
15 years 10 months ago
Download
theorphys.ssu.samara.ru
Vladimir V. Kornyak
claim paper
Read More »
137
click to vote
CASC
2007
Springer
100
views
Mathematics
»
more
CASC 2007
»
Weak Integer Quantifier Elimination Beyond the Linear Case
15 years 10 months ago
Download
www.fim.uni-passau.de
Aless Lasaruk, Thomas Sturm
claim paper
Read More »
122
click to vote
MPC
2010
Springer
165
views
Mathematics
»
more
MPC 2010
»
Generic Point-free Lenses
15 years 10 months ago
Download
mpc-amast2010.fsg.ulaval.ca
Hugo Pacheco, Alcino Cunha
claim paper
Read More »
« Prev
« First
page 19 / 1102
Last »
Next »
