|
|
Fulltext
|
| Theory and Applications of Satisfiability Testing – SAT 2008 |
- pisbn : 978-3-540-79718-0
- isbn : 978-3-540-79719-7
|
Fulltext
|
| NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet |
- isbn : 978-3-540-79549-0
- pisbn : 978-3-540-79548-3
|
Fulltext
|
|
|
Fulltext
|
| OpenMP in a New Era of Parallelism |
- pisbn : 978-3-540-79560-5
- isbn : 978-3-540-79561-2
|
Fulltext
|
| Service-Oriented Computing: Agents, Semantics, and Engineering |
- isbn : 978-3-540-79968-9
- pisbn : 978-3-540-79967-2
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Formal Methods for Industrial Critical Systems |
- pisbn : 978-3-540-79706-7
- isbn : 978-3-540-79707-4
|
Fulltext
|