Katalog
Tools and Algorithms for the Construction and Analysis..
Nir Piterman, Scott A. Smolka
Springer Berlin Heidelberg, 2013
518.1 - Algorithms
Buku - Elektronik (E-Book) - Non-Sirkulasi
Algorithm Design-structured Programming
Software Engineering, Programming Languages, Algorithms Programming,
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Tools for High Performance Computing 2012
Alexey Cheptsov, Steffen Brinkmann, Jos
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
Computer Applications
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Topics in Cryptology
Ed Dawson
Springer Berlin Heidelberg, 2013
005.82 - DATA ENCRYPTION
Buku - Elektronik (E-Book) - Non-Sirkulasi
Data Encryption
Data Security, Operation Systems
Topics in Dynamics of Bridges, Volume 3
Alvaro Cunha
Springer New York, 2013
000 - General Works
Buku - Elektronik (E-Book) - Non-Sirkulasi
Civil Engineering
Structural Mechanics
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Topics in Dynamics of Civil Structures, Volume 4
Fikret Necati Catbas, Shamim Pakzad, Vitomir Racic, Aleksandar Pavic, Paul Reynolds
Springer New York, 2013
624.1 - Structural Engineering and Underground Construction
Buku - Elektronik (E-Book) - Non-Sirkulasi
Structural Mechanics
Civil Engineering, Engineering Design
Topics in Medical Image Processing and Computational Vision
Jo
Springer Netherlands, 2013
621.382 2 - Signal processing, Information theory
Buku - Elektronik (E-Book) - Non-Sirkulasi
Signal
Image Processing, Biomedical Engineering
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Topics in Model Validation and Uncertainty Quantification, Volume..
Todd Simmermacher, Scott Cogan, Babak Moaveni, Costas Papadimitriou
Springer New York, 2013
620.004 5 - Quality control-engineering
Buku - Elektronik (E-Book) - Non-Sirkulasi
Quality Control
Structural Mechanics
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Topics in Nonlinear Dynamics, Volume 1
Gaetan Kerschen, Douglas Adams, Alex Carrella
Springer New York, 2013
629.13 - Aeronautics
Buku - Elektronik (E-Book) - Non-Sirkulasi
Aerospace Engineering
Mathematical Modeling
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Topological Derivatives in Shape Optimization
Antonio Andr
Springer Berlin Heidelberg, 2013
511.3 - Mathematical logic, symbolic logic; combinatory logic; formal languages
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computational Intelligence
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
TouchDevelop: Programming on the Go
R. Nigel Horspool, Nikolai Tillmann
Apress, 2013
004 - Data Processing, Computer Science/Pemrosesan Data, Ilmu Komputer, Teknik Informatika, Hardware Komputer
Buku - Elektronik (E-Book) - Non-Sirkulasi
Computer Science
Programming Languages
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
