Algorithmic Decision Theory |
- isbn : 978-3-642-04428-1
- pisbn : 978-3-642-04427-4
- doi : 10.1007/978-3-642-04428-1
|
Fulltext
|
Advances in Ubiquitous User Modelling |
- isbn : 978-3-642-05039-8
- pisbn : 978-3-642-05038-1
- doi : 10.1007/978-3-642-05039-8
|
Fulltext
|
Automated Technology for Verification and Analysis |
- isbn : 978-3-642-04761-9
- pisbn : 978-3-642-04760-2
- doi : 10.1007/978-3-642-04761-9
|
Fulltext
|
Web Reasoning and Rule Systems |
- isbn : 978-3-642-05082-4
- pisbn : 978-3-642-05081-7
- doi : 10.1007/978-3-642-05082-4
|
Fulltext
|
Advances in Information and Computer Security |
- isbn : 978-3-642-04846-3
- pisbn : 978-3-642-04845-6
- doi : 10.1007/978-3-642-04846-3
|
Fulltext
|
Teaching Formal Methods |
- isbn : 978-3-642-04912-5
- pisbn : 978-3-642-04911-8
- doi : 10.1007/978-3-642-04912-5
|
Fulltext
|
Performance Evaluation and Benchmarking |
- isbn : 978-3-642-10424-4
- pisbn : 978-3-642-10423-7
- doi : 10.1007/978-3-642-10424-4
|
Fulltext
|
Transactions on Aspect-Oriented Software Development VI |
- isbn : 978-3-642-03764-1
- pisbn : 978-3-642-03763-4
- doi : 10.1007/978-3-642-03764-1
|
Fulltext
|
Wired-Wireless Multimedia Networks and Services Management |
- pisbn : 978-3-642-04993-4
- isbn : 978-3-642-04994-1
- doi : 10.1007/978-3-642-04994-1
|
Fulltext
|
Anaphora Processing and Applications |
- isbn : 978-3-642-04975-0
- pisbn : 978-3-642-04974-3
- doi : 10.1007/978-3-642-04975-0
|
Fulltext
|