Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1993)
Wiley InterScience (Online service)
(66)
Taylor and Francis.
(32)
Duffy, Vincent G. editor.
(15)
Apduhan, Bernady O. editor.
(12)
Dil
Yayın Yılı
-
Konu
Electronic books.
(602)
Computer science.
(386)
Computer simulation.
(312)
Artificial intelligence.
(292)
Engineering.
(263)
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ç
5119 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03418-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
Spatial Ecology and Conservation Modeling Applications with R için kapak resmi
Spatial Ecology and Conservation Modeling Applications with R
Yazar 
Fletcher, Robert. author. Fortin, Marie-Josée. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01989-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Enterprise Modeling Facilitating the Process and the People için kapak resmi
Enterprise Modeling Facilitating the Process and the People
Yazar 
Stirna, Janis. author. (orcid)0000-0002-3669-832X Persson, Anne. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94857-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Modeling Discrete-Event Systems with GPenSIM An Introduction için kapak resmi
Modeling Discrete-Event Systems with GPenSIM An Introduction
Yazar 
Davidrajuh, Reggie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73102-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Non-Local Partial Differential Equations for Engineering and Biology Mathematical Modeling and Analysis için kapak resmi
Non-Local Partial Differential Equations for Engineering and Biology Mathematical Modeling and Analysis
Yazar 
Kavallaris, Nikos I. author. Suzuki, Takashi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67944-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Modeling Transport Phenomena in Porous Media with Applications için kapak resmi
Modeling Transport Phenomena in Porous Media with Applications
Yazar 
Das, Malay K. author. Mukherjee, Partha P. author. Muralidhar, K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69866-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Modeling, Analysis and Control of Hydraulic Actuator for Forging için kapak resmi
Modeling, Analysis and Control of Hydraulic Actuator for Forging
Yazar 
Lu, Xinjiang. author. Huang, Minghui. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-5583-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Soft Computing Applications for Group Decision-making and Consensus Modeling için kapak resmi
Soft Computing Applications for Group Decision-making and Consensus Modeling
Yazar 
Collan, Mikael. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60207-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings için kapak resmi
The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings
Yazar 
Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610 Karagiannis, Dimitris. editor. Kirikova, Marite. editor. (orcid)0000-0002-1678-9523 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02302-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings için kapak resmi
Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings
Yazar 
Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93372-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Building Information Modeling Technology Foundations and Industry Practice için kapak resmi
Building Information Modeling Technology Foundations and Industry Practice
Yazar 
Borrmann, André. editor. König, Markus. editor. Koch, Christian. editor. Beetz, Jakob. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92862-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç