Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(20)
IEEE Xplore (Online Service), distributor.
(2)
Abraham, Ajith. editor.
(1)
Abraham, Erika. editor.
(1)
Ahmad, Saghir. editor.
(1)
Dil
Konu
Electronic books.
(6)
Systems biology.
(4)
Automation.
(3)
Robotics.
(3)
Automotive engineering.
(2)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
47 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Object-oriented analysis and design for information systems : modeling with UML, OCL, and IFML için kapak resmi
Object-oriented analysis and design for information systems : modeling with UML, OCL, and IFML
Yazar 
Wazlawick, Raul Sidnei, author.
Yer Numarası 
ONLINE(356034.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124186736
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Transient analysis of power systems : solution techniques, tools, and applications için kapak resmi
Transient analysis of power systems : solution techniques, tools, and applications
Yazar 
Martinez-Velasco, Juan A., author. IEEE Xplore (Online Service), distributor. Wiley, publisher.
Yer Numarası 
ONLINE(365000.1)
Elektronik Erişim 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6987689
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Advanced Symbolic Analysis for VLSI Systems Methods and Applications için kapak resmi
Advanced Symbolic Analysis for VLSI Systems Methods and Applications
Yazar 
Shi, Guoyong. author. Tan, Sheldon X.-D. author. Tlelo Cuautle, Esteban. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4939-1103-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Analysis and synthesis of fault-tolerant control systems için kapak resmi
Analysis and synthesis of fault-tolerant control systems
Yazar 
Mahmoud, Magdi S. Xia, Yuanqing.
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley Online Library
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems için kapak resmi
Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems
Yazar 
Zelinka, Ivan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. (orcid)0000-0003-0901-5105 Chen, Guanrong. editor. Snasel, Vaclav. editor. Abraham, Ajith. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07401-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Continuum Analysis of Biological Systems Conserved Quantities, Fluxes and Forces için kapak resmi
Continuum Analysis of Biological Systems Conserved Quantities, Fluxes and Forces
Yazar 
Suraishkumar, G.K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54468-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Advanced Transport Systems Analysis, Modeling, and Evaluation of Performances için kapak resmi
Advanced Transport Systems Analysis, Modeling, and Evaluation of Performances
Yazar 
Janić, Milan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6287-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Yazar 
Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10512-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Control Design and Analysis for Underactuated Robotic Systems için kapak resmi
Control Design and Analysis for Underactuated Robotic Systems
Yazar 
Xin, Xin. author. Liu, Yannian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6251-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
A Systems Theoretic Approach to Systems and Synthetic Biology II: Analysis and Design of Cellular Systems için kapak resmi
A Systems Theoretic Approach to Systems and Synthetic Biology II: Analysis and Design of Cellular Systems
Yazar 
Kulkarni, Vishwesh V. editor. Stan, Guy-Bart. editor. Raman, Karthik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-94-017-9047-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Systems Analysis of Chromatin-Related Protein Complexes in Cancer için kapak resmi
Systems Analysis of Chromatin-Related Protein Complexes in Cancer
Yazar 
Emili, Andrew. editor. Greenblatt, Jack. editor. Wodak, Shoshana. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4614-7931-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: