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
24132
search results - page 195 / 4827
»
and 2009
Sort
relevance
views
votes
recent
update
View
thumb
title
140
click to vote
CALCO
2009
Springer
145
views
Mathematics
»
more
CALCO 2009
»
Views on Behaviour Protocols and Their Semantic Foundation
16 years 1 months ago
Download
calco09.dimi.uniud.it
Sebastian S. Bauer, Rolf Hennicker
claim paper
Read More »
113
click to vote
CALCO
2009
Springer
122
views
Mathematics
»
more
CALCO 2009
»
Conway Games, Coalgebraically
16 years 1 months ago
Download
calco09.dimi.uniud.it
Furio Honsell, Marina Lenisa
claim paper
Read More »
156
click to vote
CALCO
2009
Springer
128
views
Mathematics
»
more
CALCO 2009
»
Circular Coinduction: A Proof Theoretical Foundation
16 years 1 months ago
Download
calco09.dimi.uniud.it
Grigore Rosu, Dorel Lucanu
claim paper
Read More »
158
click to vote
CASC
2009
Springer
124
views
Mathematics
»
more
CASC 2009
»
On m-Interlacing Solutions of Linear Difference Equations
16 years 1 months ago
Download
mmcp2009.jinr.ru
Sergei A. Abramov, Moulay A. Barkatou, D. E. Khmel...
claim paper
Read More »
156
click to vote
CBSE
2009
Springer
117
views
Software Engineering
»
more
CBSE 2009
»
Unit Testing of Software Components with Inter-component Dependencies
16 years 1 months ago
Download
web.cs.wpi.edu
George T. Heineman
claim paper
Read More »
« Prev
« First
page 195 / 4827
Last »
Next »
