Katalog
Typed Lambda Calculi and Applications
Masahito Hasegawa
Springer Berlin Heidelberg, 2013
511.3 - Mathematical logic, symbolic logic; combinatory logic; formal languages
Buku - Elektronik (E-Book) - Non-Sirkulasi
Mathematical Logic
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
TypeScript Revealed
Dan Maharry
Apress, 2013
004 - Data Processing, Computer Science/Pemrosesan Data, Ilmu Komputer, Teknik Informatika, Hardware Komputer
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Science
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven..
Gabriel Urzaiz, Sergio F. Ochoa, Jos
Springer International Publishing, 2013
004.65 - Communications Network Architecture
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Communication Networks
Artificial Intelligence, Human Computer Interaction
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Ubiquitous Information Technologies and Applications
Youn-Hee Han, Doo-Soon Park, Weijia Jia, Sang-Soo Yeo
Springer Netherlands, 2013
621.382 - Communication Engineering, signal processing, network protocol, signal processing, communication network analysis
Buku - Elektronik (E-Book) - Non-Sirkulasi
Communications Engineering
Networks, Programming Language
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Ubiquitous Social Media Analysis
Martin Atzmueller, Alvin Chin, Denis Helic, Andreas Hotho
Springer Berlin Heidelberg, 2013
005.74 - Data Files and Database, management database
Buku - Elektronik (E-Book) - Non-Sirkulasi
Information Retrieval
Data Mining, Artificial Intelligence
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Ultra Low Power Transceiver for Wireless Body Area..
Jens Masuch, Manuel Delgado-Restituto
Springer International Publishing, 2013
537.5 -
Buku - Elektronik (E-Book) - Non-Sirkulasi
Electronics
Electronic Circuits And Devices
Ultrasonic Fluid Quantity Measurement in Dynamic Vehicular Applications
Jenny Terzic, Edin Terzic, Romesh Nagarajah, Muhammad Alamgir
Springer International Publishing, 2013
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelligence
Uncertain Fuzzy Preference Relations and Their Applications
Zaiwu Gong, Yi Lin, Tianxiang Yao
Springer Berlin Heidelberg, 2013
004 - Data Processing, Computer Science/Pemrosesan Data, Ilmu Komputer, Teknik Informatika, Hardware Komputer
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Science
Management
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Uncertainty Analysis in Econometrics with Applications
Van-Nam Huynh, Vladik Kreinovich, Songsak Sriboonchitta, Komsan Suriya
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
Uncertainty Reasoning for the Semantic Web II
Fernando Bobillo, Paulo C. G. Costa, Claudia d
Springer Berlin Heidelberg, 2013
006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi
Artificial Intelligence
Data Mining, Information Retrieval
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
