16.21.2361

Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock, Huibiao Zhu
Springer Berlin Heidelberg, 2013

005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi

Software Engineering
Simulation And Modeling

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

16.21.453

Theories, Methods and Numerical Technology of Sheet Metal..

Ping Hu, Ning Ma, Li-zhong Liu, Yi-guo Zhu
Springer London, 2013

629.2 - Motor land vehicles, cycles
Buku - Elektronik (E-Book) - Non-Sirkulasi

Automotive Engineering
Operating Procedures

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

16.21.1231

Theory and Applications of Models of Computation

T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan
Springer Berlin Heidelberg, 2013

005.73 - Data structures
Buku - Elektronik (E-Book) - Non-Sirkulasi

Data Structures
Algorithm Analysis

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

16.21.073

Theory and Applications of Satisfiability Testing

Matti J
Springer Berlin Heidelberg, 2013

003.3 - Computer science- system- computer modeling and simulation
Buku - Elektronik (E-Book) - Non-Sirkulasi

Computer Science
Artificial Intelligence

Tersedia 1 koleksi dari total 1 koleksi

16.21.289

Theory and Practice of Computation

Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez
Springer Japan, 2013

006.3 - Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) - Non-Sirkulasi

Artificial Intelligence
Human Computer Interaction, Data Mining

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

16.21.2342

Theory and Practice of Model Transformations

Keith Duddy, Gerti Kappel
Springer Berlin Heidelberg, 2013

005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi

Software Engineering
Programming Languages

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

16.21.097

Theory and Practice of Natural Computing

Adrian-Horia Dediu, Carlos Mart
Springer Berlin Heidelberg, 2013

004 - Data Processing, Computer Science/Pemrosesan Data, Ilmu Komputer, Teknik Informatika, Hardware Komputer
Buku - Elektronik (E-Book) - Non-Sirkulasi

Computing
Artificial Intelligence, Software Engineering

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

16.21.1076

Theory of Cryptography

Amit Sahai
Springer Berlin Heidelberg, 2013

005.82 - DATA ENCRYPTION
Buku - Elektronik (E-Book) - Non-Sirkulasi

Data Encryption
Data Security, Algorithm Analysis

Tersedia 1 koleksi dari total 1 koleksi

16.21.605

Theory of Digital Automata

Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov
Springer Netherlands, 2013

621.319 2 - Networks (Circuitry and lines)
Buku - Elektronik (E-Book) - Non-Sirkulasi

Circuits
Logic Design

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download

16.21.1001

Theory of Elasticity and Thermal Stresses

M. Reza Eslami, Richard B. Hetnarski, J
Springer Netherlands, 2013

531 - Classical Mechanics, Solid Mechanics
Buku - Elektronik (E-Book) - Non-Sirkulasi

Continuum Mechanics

Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download