-
1531
-
1532
Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinor...
Published 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
1533
-
1534
-
1535
-
1536
-
1537
-
1538
Integrated circuit and system design power and timing modeling, optimization, and simulation, 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, procee...
Published 2011Available for the University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
1539
S-BPM ONE - Learning by Doing - Doing by Learning Third International Conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011. Proceedings
Published in Springer eBooks. (2011)Available for University of the Philippine Diliman via Springerlink. Click here to access
Electronic Resource -
1540
Scalable Network Monitoring in High Speed Networks
Published in Springer eBooks. (2011)Available for University of the Philippine Diliman via Springerlink. Click here to access
Electronic Resource


