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
31387
search results - page 290 / 6278
»
Abstracting abstract machines
Sort
relevance
views
votes
recent
update
View
thumb
title
92
click to vote
DAGSTUHL
2007
102
views
Software Engineering
»
more
DAGSTUHL 2007
»
07471 Abstracts Collection - Equilibrium Computation
15 years 8 months ago
Download
drops.dagstuhl.de
P. Jean-Jacques Herings, Marcin Jurdzinski, Peter ...
claim paper
Read More »
98
Voted
DAGSTUHL
2007
75
views
Software Engineering
»
more
DAGSTUHL 2007
»
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis
15 years 8 months ago
Download
drops.dagstuhl.de
Jean-Raymond Abrial, Uwe Glässer
claim paper
Read More »
114
click to vote
DAGSTUHL
2008
98
views
Software Engineering
»
more
DAGSTUHL 2008
»
08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures
15 years 8 months ago
Download
drops.dagstuhl.de
Wolfram Luther, Annie A. M. Cuyt, Walter Kräm...
claim paper
Read More »
125
click to vote
DAGSTUHL
2008
96
views
Software Engineering
»
more
DAGSTUHL 2008
»
08071 Abstracts Collection -- Scheduling
15 years 8 months ago
Download
drops.dagstuhl.de
Jane W.-S. Liu, Rolf H. Möhring, Kirk Pruhs
claim paper
Read More »
107
click to vote
DAGSTUHL
2008
83
views
Software Engineering
»
more
DAGSTUHL 2008
»
Perspectives of Neuro--Symbolic Integration -- Extended Abstract --
15 years 8 months ago
Download
drops.dagstuhl.de
Kai-Uwe Kühnberger, Helmar Gust, Peter Geibel
claim paper
Read More »
« Prev
« First
page 290 / 6278
Last »
Next »