Types for Proofs and Programs |
- isbn : 978-3-540-39185-2
- pisbn : 978-3-540-14031-3
- doi : 10.1007/3-540-39185-1
|
Fulltext
|
Fundamental Approaches to Software Engineering |
- isbn : 978-3-540-36578-5
- pisbn : 978-3-540-00899-6
- doi : 10.1007/3-540-36578-8
|
Fulltext
|
Computing and Combinatorics |
- isbn : 978-3-540-45071-9
- pisbn : 978-3-540-40534-4
- doi : 10.1007/3-540-45071-8
|
Fulltext
|
Implementation and Application of Automata |
- isbn : 978-3-540-45089-4
- pisbn : 978-3-540-40561-0
- doi : 10.1007/3-540-45089-0
|
Fulltext
|
Programming Languages and Systems |
- isbn : 978-3-540-36575-4
- pisbn : 978-3-540-00886-6
- doi : 10.1007/3-540-36575-3
|
Fulltext
|
Typed Lambda Calculi and Applications |
- isbn : 978-3-540-44904-1
- pisbn : 978-3-540-40332-6
- doi : 10.1007/3-540-44904-3
|
Fulltext
|
Topics in Cryptology -- CT-RSA 2003 |
- isbn : 978-3-540-36563-1
- pisbn : 978-3-540-00847-7
- doi : 10.1007/3-540-36563-X
|
Fulltext
|
Intelligent Information Agents |
- isbn : 978-3-540-36561-7
- pisbn : 978-3-540-00759-3
- doi : 10.1007/3-540-36561-3
|
Fulltext
|
Genetic Programming |
- isbn : 978-3-540-36599-0
- pisbn : 978-3-540-00971-9
- doi : 10.1007/3-540-36599-0
|
Fulltext
|
Artificial Neural Nets. Problem Solving Methods |
- isbn : 978-3-540-44869-3
- pisbn : 978-3-540-40211-4
- doi : 10.1007/3-540-44869-1
|
Fulltext
|