Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(16)
Curry, Guy L. author.
(2)
Feldman, Richard M. author.
(2)
AL-Sunni, Fouad M. author.
(1)
André, Étienne. editor. (orcid)0000-0001-8473-9555
(1)
Dil
Yayın Yılı
-
Konu
Software engineering.
(4)
Artificial intelligence.
(3)
Computer Modelling.
(3)
Computer science.
(3)
Engineering economy.
(3)
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ç
21 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000DEFAULT_TR
Yazdır
1. 
Mechatronic Systems Analysis, Design and Implementation için kapak resmi
Mechatronic Systems Analysis, Design and Implementation
Yazar 
Boukas, El-Kébir. author. AL-Sunni, Fouad M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22324-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Manufacturing Systems Modeling and Analysis için kapak resmi
Manufacturing Systems Modeling and Analysis
Yazar 
Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16618-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Manufacturing Systems Modeling and Analysis için kapak resmi
Manufacturing Systems Modeling and Analysis
Yazar 
Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88763-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Systems Analysis Approach for Complex Global Challenges için kapak resmi
Systems Analysis Approach for Complex Global Challenges
Yazar 
Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71486-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Yazar 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Yazar 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Yazar 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Analysis and Simulation of Electrical and Computer Systems için kapak resmi
Analysis and Simulation of Electrical and Computer Systems
Yazar 
Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11248-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Handbook of Parallel and distributed simulation systems : Analysis and applications için kapak resmi
Handbook of Parallel and distributed simulation systems : Analysis and applications
Yazar 
Takahashi N. W.
Yer Numarası 
QA76.9.C65 F84 2014 V.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
11. 
Information Quality and Management Accounting A Simulation Analysis of Biases in Costing Systems için kapak resmi
Information Quality and Management Accounting A Simulation Analysis of Biases in Costing Systems
Yazar 
Leitner, Stephan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33209-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexity için kapak resmi
Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexity
Yazar 
Sergienko, Ivan V. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4211-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems için kapak resmi
The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems
Yazar 
Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87702-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings için kapak resmi
Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings
Yazar 
Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11669487
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Real-time simulation technologies : principles, methodologies, and applications için kapak resmi
Real-time simulation technologies : principles, methodologies, and applications
Yazar 
Popovici, Katalin. Mosterman, Pieter J.
Yer Numarası 
QA76.9 .C65 R385 2013
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Computational Methods for Biological Models için kapak resmi
Computational Methods for Biological Models
Yazar 
Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5001-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Introduction to Mechatronics An Integrated Approach için kapak resmi
Introduction to Mechatronics An Integrated Approach
Yazar 
Samanta, Biswanath. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29320-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers için kapak resmi
Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers
Yazar 
Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11457-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Discrete and continuous simulation : theory and practice için kapak resmi
Discrete and continuous simulation : theory and practice
Yazar 
Bandyopadhyay, Susmita, author. Bhattacharya, Ranjan, author.
Yer Numarası 
QA76.9 .C65 B36 2014
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Scientific data management : challenges, technology, and deployment için kapak resmi
Scientific data management : challenges, technology, and deployment
Yazar 
Shoshani, Arie. Rotem, Doron.
Yer Numarası 
Q183.9 .S33 2009
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Handbook of dynamic system modeling için kapak resmi
Handbook of dynamic system modeling
Yazar 
Fishwick, Paul A.
Yer Numarası 
QA76.9 .C65 H345 2007
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: