Katalog
Automata, Languages, and Programming
Fedor V. Fomin, R?si?
Springer Berlin Heidelberg, 2013
004.015 1 - Computer Mathematics, mathematical principles
Buku - Elektronik (E-Book) - Non-Sirkulasi
Programing Computers Systems
Computer Communciation Networks
Automated Deduction
Maria Paola Bonacina
Springer Berlin Heidelberg, 2013
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelligence
Software Engineering, Algorithm Analysis
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Automated Deduction in Geometry
Tetsuo Ida, Jacques Fleuriot
Springer Berlin Heidelberg, 2013
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelligence
Computer Graphics
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Automated Reasoning and Mathematics
Maria Paola Bonacina, Mark E. Stickel
Springer Berlin Heidelberg, 2013
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelligence
Mathematical Logic
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Automated Reasoning with Analytic Tableaux and Related Methods
Didier Galmiche, Dominique Larchey-Wendling
Springer Berlin Heidelberg, 2013
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelligence
Software Engineering
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Automated Scheduling and Planning
A. Sima Uyar, Ender Ozcan, Neil Urquhart
Springer Berlin Heidelberg, 2013
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelligence
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Automated Security Management
Ehab Al-Shaer, Xinming Ou, Geoffrey Xie
Springer International Publishing, 2013
005.8 - Data Security
Buku - Elektronik (E-Book) - Non-Sirkulasi
Data Security
Data Encryption, Computer Communication Networks
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Automated Technology for Verification and Analysis
Dang Hung, Mizuhito Ogawa
Springer International Publishing, 2013
005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Programming Techniques, Computer Communication Networks
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Automatic Malware Analysis
Heng Yin, Dawn Song
Springer New York, 2013
005.8 - Data Security
Buku - Elektronik (E-Book) - Non-Sirkulasi
Data Security
Data Encryption, Data Structures
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Automatic Speech Signal Analysis for Clinical Diagnosis and..
Ladan Baghai-Ravary, Steve W. Beet
Springer New York, 2013
621.382 2 - Signal processing, Information theory
Buku - Elektronik (E-Book) - Non-Sirkulasi
Signal
Image Processing, Speech Processing
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
