Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(12)
Alpatov, A. P. (Anatoli? Petrovich)
(1)
Atak, Haluk.
(1)
BAUMAN, ZYGMUNT, contributor.
(1)
BERTALANFFY, LUDWIG VON, contributor.
(1)
Dil
Konu
Mathematics.
(5)
Computer science.
(4)
Artificial intelligence.
(3)
Logic design.
(3)
Computer software.
(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ç
50 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Yazar 
Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12002-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Responsible Leadership Systems An Empirical Analysis of Integrating Corporate Responsibility into Leadership Systems için kapak resmi
Responsible Leadership Systems An Empirical Analysis of Integrating Corporate Responsibility into Leadership Systems
Yazar 
Hansen, Erik G. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8349-8675-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Neutronic Analysis Accelerator Driven Systems = Hızlandırıcı Sürümlü Sistemlerin Nötronik Analizi için kapak resmi
Neutronic Analysis Accelerator Driven Systems = Hızlandırıcı Sürümlü Sistemlerin Nötronik Analizi
Yazar 
Atak, Haluk. Nuclear Energy Engineering Thesis.
Yer Numarası 
TEZ 9712 .A83 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
Katekolominlerin Tayini İçin Mikro ToplamAnaliz Sistemlerinin (u-Tas) Geliştirilmesi = Development of Micro Total Analysis Systems (u-Tas) for the Determination of Catecholamines için kapak resmi
Katekolominlerin Tayini İçin Mikro ToplamAnaliz Sistemlerinin (u-Tas) Geliştirilmesi = Development of Micro Total Analysis Systems (u-Tas) for the Determination of Catecholamines
Yazar 
Çakal, Cafer.
Yer Numarası 
TEZ 9750 .C35 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
17. 
Stability Analysis of Fuzzy-Model-Based Control Systems Linear-Matrix-Inequality Approach için kapak resmi
Stability Analysis of Fuzzy-Model-Based Control Systems Linear-Matrix-Inequality Approach
Yazar 
Lam, Hak-Keung. author. Leung, Frank Hung-Fat. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17844-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Analysis and synthesis of fuzzy control systems a model-based approach için kapak resmi
Analysis and synthesis of fuzzy control systems a model-based approach
Yazar 
Feng, Gang.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Electrotechnical systems calculation and analysis with Mathematica and PSpice için kapak resmi
Electrotechnical systems calculation and analysis with Mathematica and PSpice
Yazar 
Korotyeyev, Igor. Zhu?kov, V. I?A. (Valeri? I?Akovlevich) Kasperek, Radoslaw.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Political atlas of the modern world an experiment in multidimensional statistical analysis of the political systems of modern states için kapak resmi
Political atlas of the modern world an experiment in multidimensional statistical analysis of the political systems of modern states
Yazar 
Melʹvilʹ, A. I͡U. (Andreĭ I͡Urʹevich) Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics için kapak resmi
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
Yazar 
Platzer, André. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14509-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Yazar 
Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15297-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Quasilinear Control Performance Analysis and Design of Feedback Systems with Nonlinear Sensors and Actuators için kapak resmi
Quasilinear Control Performance Analysis and Design of Feedback Systems with Nonlinear Sensors and Actuators
Yazar 
Ching, ShiNung. Eun, Yongsoon. Gokcek, Cevat. Kabamba, Pierre T.. Meerkov, Semyon M..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Karar Destek Sistemlerinde İstatistiksel Çözümleme Yöntemleri = Statistical Analysis Techniques in Decision Support Systems için kapak resmi
Karar Destek Sistemlerinde İstatistiksel Çözümleme Yöntemleri = Statistical Analysis Techniques in Decision Support Systems
Yazar 
Katı, Yosun.
Yer Numarası 
TEZ 9794 .K38 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç