Results
|
701.
|
|
|
702.
|
|
|
703.
|
|
|
704.
|
|
|
705.
|
Lagrangian and Hamiltonian Methods for Nonlinear Control 2006 [electronic resource] : Proceedings from the 3rd IFAC Workshop, Nagoya, Japan, July 2006 / edited by F. Allgüwer, P. Fleming, P. Kokotovic, A.B. Kurzhanski, H. Kwakernaak, A. Rantzer, J.N. Tsitsiklis, Francesco Bullo, Kenji Fujimoto. by Series: Lecture Notes in Control and Information Sciences ; 366
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA402.35 A45 2007.
|
|
706.
|
|
|
707.
|
Knowledge Discovery and Emergent Complexity in Bioinformatics [electronic resource] : First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006. Revised Selected Papers / edited by Karl Tuyls, Ronald Westra, Yvan Saeys, Ann Nowé. by Series: Lecture Notes in Computer Science ; 4366
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D343 T89 2007.
|
|
708.
|
|
|
709.
|
|
|
710.
|
|
|
711.
|
|
|
712.
|
|
|
713.
|
|
|
714.
|
|
|
715.
|
|
|
716.
|
|
|
717.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski. by Series: Lecture Notes in Computer Science ; 4349
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
718.
|
Security Protocols [electronic resource] : 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Series: Lecture Notes in Computer Science ; 4631
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 C75 2007.
|
|
719.
|
|
|
720.
|
|