Home Books

Books : Page 78423

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2010
  • Author: Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
Integration on locally compact spaces
  • DJVU
  • English
  • Year: 1974
  • Author: N. Dinculeanu
Knowledge Representation and Relation Nets
  • PDF
  • English
  • Year: 1999
  • Author: Aletta E. Geldenhuys, Hendrik O. van Rooyen, Franz Stetter (auth.)
Artificial Intelligence and Soft Computing: 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I
  • PDF
  • English
  • Year: 2010
  • Author: Michał Baczyński (auth.), Leszek Rutkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (eds.)
Polymers in Confined Environments
  • PDF
  • English
  • Year: 1999
  • Author: K. Binder (auth.), S. Granick, K. Binder, P.-G. de Gennes, E. P. Giannelis, G. S. Grest, H. Hervet, R. Krishnamoorti, L. Léger, E. Manias, E. Raphaël, S.-Q. Wang (eds.)
Simulated Evolution and Learning: 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Saber M. Elsayed, Ruhul A. Sarker, Daryl L. Essam (auth.), Lam Thu Bui, Yew Soon Ong, Nguyen Xuan Hoai, Hisao Ishibuchi, Ponnuthurai Nagaratnam Suganthan (eds.)
Security Informatics
  • PDF
  • English
  • Year: 2010
  • Author: Yi-Da Chen, Ahmed Abbasi, Hsinchun Chen (auth.), Christopher C. Yang, Michael Chau, Jau-Hwang Wang, Hsinchun Chen (eds.)
High Performance Computing: Second International Symposium, ISHPC'99 Kyoto, Japan, May 26–28, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Gordon Bell (auth.), Constantine Polychronopoulos, Kazuki Joe Akira Fukuda, Shinji Tomita (eds.)
Konfigurationsmanagement
  • PDF
  • German
  • Year: 2003
  • Author: Gerhard Versteegen, Guido Weischedel (auth.), Gerhard Versteegen, Guido Weischedel (eds.)