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
16725
search results - page 254 / 3345
»
Engineering Software Correctness
Sort
relevance
views
votes
recent
update
View
thumb
title
105
click to vote
AC
1991
Springer
100
views
Software Engineering
»
more
AC 1991
»
Public Key Cryptography
15 years 10 months ago
Download
www.infosecwriters.com
Marijke De Soete
claim paper
Read More »
117
click to vote
AC
1991
Springer
126
views
Software Engineering
»
more
AC 1991
»
Security Aspects of Mobile Communications
15 years 10 months ago
Download
www7.informatik.uni-erlangen.de
Klaus Vedder
claim paper
Read More »
137
click to vote
AMAST
1991
Springer
87
views
Software Engineering
»
more
AMAST 1991
»
Extracting Recursive Programs in Type Theory
15 years 10 months ago
Download
www.cs.jhu.edu
Scott F. Smith
claim paper
Read More »
153
click to vote
APL
1991
ACM
90
views
Software Engineering
»
more
APL 1991
»
Mastering J
15 years 10 months ago
Download
www.electricscotland.com
Donald B. McIntyre
claim paper
Read More »
144
click to vote
ISPW
1991
IEEE
89
views
Software Engineering
»
more
ISPW 1991
»
A rule-based process server component for constructing rule-based
15 years 10 months ago
Download
www.psl.cs.columbia.edu
Gail E. Kaiser
claim paper
Read More »
« Prev
« First
page 254 / 3345
Last »
Next »
