Loại tài liệu:    Chỉ tìm trong: 
61-70 trong số 127 kết quả
Stability and stabilization of nonlinear systems
Tác giả: Iasson Karafyllis, Z-P Jiang, E Sontag
Xuất bản: London ; New York: Springer-Verlag , 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003
 
Cyber-Physical Systems of Systems [electronic resource] : Foundations ? A Conceptual Model and Some Derivations: The AMA...
Tác giả: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Performance evaluation of shuttle-based storage and retrieval systems using discrete-time queueing network models
Tác giả: Martin Epp
Xuất bản: Karlsruhe: KIT Scientific Publishing , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
Tác giả: Armin Biere, David Parker
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic
Tác giả: Flemming Nielson, Flemming Nielson, David Sands, David Sands
Xuất bản: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Demokratie und Transzendenz
Tác giả:
Xuất bản: Bielefeld, Germany: transcript Verlag , 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  321.8
 
Behavioral Intervals in Embedded Software [electronic resource] : Timing and Power Analysis of Embedded Real-Time Softwa...
Tác giả: Fabian Wolf
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670.285
 
Stochastics of Environmental and Financial Economics [electronic resource] : Centre of Advanced Study, Oslo, Norway, 201...
Tác giả: Fred Espen Benth, Giulia Di Nunno
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  519
 

Truy cập nhanh danh mục