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
18429
search results - page 396 / 3686
»
Typing dynamic typing
Sort
relevance
views
votes
recent
update
View
thumb
title
148
click to vote
TOSEM
2010
95
views
more
TOSEM 2010
»
Types and modularity for implicit invocation with implicit announcement
15 years 5 months ago
Download
www.infosun.fim.uni-passau.de
Friedrich Steimann, Thomas Pawlitzki, Sven Apel, C...
claim paper
Read More »
157
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
15 years 5 months ago
Download
nhcuer.lib.nhcue.edu.tw
Chi-Ming Chen, Tong-Huei Chang
claim paper
Read More »
148
click to vote
BIOSYSTEMS
2010
88
views
more
BIOSYSTEMS 2010
»
Hodgkin-Huxley type modelling and parameter estimation of GnRH neurons
15 years 5 months ago
Download
daedalus.scl.sztaki.hu
Dávid Csercsik, Imre Farkas, Gábor S...
claim paper
Read More »
103
click to vote
CORR
2010
Springer
76
views
Education
»
more
CORR 2010
»
A framework for designing concurrent and recoverable abstract data types based on commutativity
15 years 5 months ago
Download
hal.archives-ouvertes.fr
Carmelo Malta, José Martinez
claim paper
Read More »
158
click to vote
CASC
2010
Springer
149
views
Mathematics
»
more
CASC 2010
»
Generic, Type-Safe and Object Oriented Computer Algebra Software
15 years 4 months ago
Download
krum.rz.uni-mannheim.de
Heinz Kredel, Raphael Jolly
claim paper
Read More »
« Prev
« First
page 396 / 3686
Last »
Next »
