Limit Search Results
Author
SpringerLink (Online service)
(538)
Wiley InterScience (Online service)
(9)
Garau, Chiara. editor. (orcid)
(8)
Gervasi, Osvaldo. editor. (orcid)
(8)
Murgante, Beniamino. editor. (orcid)
(8)
Language
Publication Date
-
Subject
Engineering.
(57)
SİSTEM ANALİZİ.
(42)
Computer science.
(35)
Software engineering.
(35)
System analysis.
(31)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1010 Results Found Subscribe to search results
000000000000DEFAULT
Print
265. 
Cover image for 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
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
Author 
Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12002-2
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
Author 
Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14509-4
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Author 
Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15297-9
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Karar Destek Sistemlerinde İstatistiksel Çözümleme Yöntemleri = Statistical Analysis Techniques in Decision Support Systems
Karar Destek Sistemlerinde İstatistiksel Çözümleme Yöntemleri = Statistical Analysis Techniques in Decision Support Systems
Author 
Katı, Yosun.
Preferred Shelf Number 
TEZ 9794 .K38 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
269. 
Cover image for Responsible Leadership Systems An Empirical Analysis of Integrating Corporate Responsibility into Leadership Systems
Responsible Leadership Systems An Empirical Analysis of Integrating Corporate Responsibility into Leadership Systems
Author 
Hansen, Erik G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8349-8675-7
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Direct methods for stability analysis of electric power systems
Direct methods for stability analysis of electric power systems
Author 
Chiang, H. (Hsiao-Dong)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5732791
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Electrotechnical systems calculation and analysis with Mathematica and PSpice
Electrotechnical systems calculation and analysis with Mathematica and PSpice
Author 
Korotyeyev, Igor. Zhu?kov, V. I?A. (Valeri? I?Akovlevich) Kasperek, Radoslaw.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Analysis and synthesis of fuzzy control systems a model-based approach
Analysis and synthesis of fuzzy control systems a model-based approach
Author 
Feng, Gang.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Quasilinear Control Performance Analysis and Design of Feedback Systems with Nonlinear Sensors and Actuators
Quasilinear Control Performance Analysis and Design of Feedback Systems with Nonlinear Sensors and Actuators
Author 
Ching, ShiNung. Eun, Yongsoon. Gokcek, Cevat. Kabamba, Pierre T.. Meerkov, Semyon M..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Restructured electric power systems analysis of electricity markets with equilibrium models
Restructured electric power systems analysis of electricity markets with equilibrium models
Author 
Zhang, Xiao-Ping.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5599325
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Political atlas of the modern world an experiment in multidimensional statistical analysis of the political systems of modern states
Political atlas of the modern world an experiment in multidimensional statistical analysis of the political systems of modern states
Author 
Melʹvilʹ, A. I͡U. (Andreĭ I͡Urʹevich) Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Katekolominlerin Tayini İçin Mikro ToplamAnaliz Sistemlerinin (u-Tas) Geliştirilmesi = Development of Micro Total Analysis Systems (u-Tas) for the Determination of Catecholamines
Katekolominlerin Tayini İçin Mikro ToplamAnaliz Sistemlerinin (u-Tas) Geliştirilmesi = Development of Micro Total Analysis Systems (u-Tas) for the Determination of Catecholamines
Author 
Çakal, Cafer.
Preferred Shelf Number 
TEZ 9750 .C35 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action