Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
8 results for "domain:link.springer.com"
1
Feedback Control Can Make Data Structure Layout Randomization More Cost-Effective under Zero-day Attacks
pdf
security
link.springer.com
via
fro
1 month ago
|
cached
|
no comments
0
5
Intertwingled: The Work and Influence of Ted Nelson (2015)
pdf
book
historical
person
web
link.springer.com
via
pushcx
1 month ago
|
cached
|
no comments
0
4
Fundamental Approaches to Software Engineering
book
programming
link.springer.com
via
lainon
4 months ago
|
cached
|
no comments
0
11
A Fully Automatic Theorem Prover with Human-Style Output (2017)
pdf
formalmethods
math
link.springer.com
via
nickpsecurity
5 months ago
|
cached
|
5 comments
5
7
What agile teams actually discuss in retrospectives
practices
link.springer.com
via
hwayne
6 months ago
|
cached
|
no comments
0
2
Genetic Programming + Proof Search = Automatic Improvement (2015)
pdf
ai
compsci
formalmethods
scala
link.springer.com
via
nickpsecurity
7 months ago
|
cached
|
no comments
0
3
The many dimensions of Kristen Nygaard (creator of SIMULA, societally engaged researcher)
☶
pdf
historical
person
link.springer.com
via
Sietsebb
11 months ago
|
cached
|
no comments
0
6
Can Artificial Intelligences Suffer from Mental Illness? A Philosophical Matter to Consider
☶
cogsci
philosophy
link.springer.com
via
friendlysock
2 years ago
|
cached
|
10 comments
10