Results
|
781.
|
|
|
782.
|
|
|
783.
|
|
|
784.
|
Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie. by Series: Lecture Notes in Computer Science ; 4789
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.F67 B88 2007.
|
|
785.
|
Machine Learning: ECML 2007 [electronic resource] : 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007. Proceedings / edited by Joost N. Kok, Jacek Koronacki, Raomon Lopez de Mantaras, Stan Matwin, Dunja Mladenič, Andrzej Skowron. by Series: Lecture Notes in Computer Science ; 4701
Edition: 1a ed.
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: Q325.5 K65 2007.
|
|
786.
|
Integration and Innovation Orient to E-Society Volume 2 [electronic resource] : Seventh IFIP International Conference on e-Business, e-Services, and e-Society (13E2007), October 10–12, Wuhan, China / edited by Weijun Wang, Yanhui Li, Zhao Duan, Li Yan, Hongxiu Li, Xiaoxi Yang. by Series: IFIP International Federation for Information Processing ; 252
Material type: Computer file; Format:
electronic
Publication details: Boston, MA : Springer-Verlag US, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: HM851 W36 2007.
|
|
787.
|
|
|
788.
|
|
|
789.
|
|
|
790.
|
|
|
791.
|
|
|
792.
|
|
|
793.
|
|
|
794.
|
|
|
795.
|
|
|
796.
|
|
|
797.
|
Unconventional Computation [electronic resource] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings / edited by Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, H. Todd Wareham. by Series: Lecture Notes in Computer Science ; 4618
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.S63 A35 2007.
|
|
798.
|
|
|
799.
|
|
|
800.
|
|