Katalog
Formal Methods for Dynamical Systems
Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky
Springer Berlin Heidelberg, 2013
005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Formal Methods for Industrial Critical Systems
Charles Pecheur, Michael Dierkes
Springer Berlin Heidelberg, 2013
005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Formal Methods for Mining Structured Objects
Gemma C Garriga
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
Formal Methods: Foundations and Applications
Juliano Iyoda, Leonardo Moura
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
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Formal Modeling and Analysis of Timed Systems
V
Springer Berlin Heidelberg, 2013
005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Computer Science
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Formal Techniques for Distributed Systems
Dirk Beyer, Michele Boreale
Springer Berlin Heidelberg, 2013
005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
FORMULASI STRATEGU BISNIS PT. STARWOOD FURNITURE INDONESIA DALAM..
YAUMIL PUTRI ERLAMBANG
Universitas Telkom, 2016
C -
Karya Ilmiah - Skripsi (S1) - Reference - Non-Sirkulasi
Strategic Management
Tersedia 1 koleksi dari total 1 koleksi
tersedia 19 file download
Foundations and Methods of Stochastic Simulation
Barry L. Nelson
Springer US, 2013
658.403 4 - Operations research, Probability theory, Queuing theory
Buku - Elektronik (E-Book) - Non-Sirkulasi
Operation Research
Simulation And Modeling
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Foundations and Practice of Security
Joaquin Garcia-Alfaro, Fr
Springer Berlin Heidelberg, 2013
005.1 - Computer programming
Buku - Elektronik (E-Book) - Non-Sirkulasi
Software Engineering
Data Processing, Mis
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
Foundations of Augmented Cognition
Dylan D. Schmorrow, Cali M. Fidopiastis
Springer Berlin Heidelberg, 2013
004.019 - Data Processing-Psychological Principles; human-computer interaction; human factors in data processing and computer science; usability
Buku - Elektronik (E-Book) - Non-Sirkulasi
Human Computer Interaction
Information Storage, Information Retrieval
Tersedia 1 koleksi dari total 1 koleksi
tersedia 1 file download
