Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(52)
Ali, Moonis. editor.
(7)
Ao, Sio-Iong. editor.
(4)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(3)
Moreno-Díaz, Roberto. editor.
(3)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(19)
Industrial engineering.
(15)
Computer networks .
(14)
Computer science.
(14)
Computer Communication Networks.
(13)
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ç
52 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Transactions on Engineering Technologies için kapak resmi
Transactions on Engineering Technologies
Yazar 
Ao, Sio-Iong. editor. Yang, Gi-Chul. editor. Gelman, Len. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-1088-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Tangible Interactive Systems Grasping the Real World with Computers için kapak resmi
Tangible Interactive Systems Grasping the Real World with Computers
Yazar 
Boy, Guy André. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30270-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Frontier Computing Theory, Technologies and Applications için kapak resmi
Frontier Computing Theory, Technologies and Applications
Yazar 
Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-0539-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Decision Procedures An Algorithmic Point of View için kapak resmi
Decision Procedures An Algorithmic Point of View
Yazar 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Pragmatic Evaluation of Software Architectures için kapak resmi
Pragmatic Evaluation of Software Architectures
Yazar 
Knodel, Jens. author. Naab, Matthias. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-34177-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes için kapak resmi
Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes
Yazar 
Filippini, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333878.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34648-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Moderne C++ Programmierung Klassen, Templates, Design Patterns için kapak resmi
Moderne C++ Programmierung Klassen, Templates, Design Patterns
Yazar 
Schneeweiß, Ralf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21429-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Enterprise Interoperability V Shaping Enterprise Interoperability in the Future Internet için kapak resmi
Enterprise Interoperability V Shaping Enterprise Interoperability in the Future Internet
Yazar 
Poler, Raúl. editor. Doumeingts, Guy. editor. Katzy, Bernhard. editor. Chalmeta, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2819-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Architecture-Based Design of Multi-Agent Systems için kapak resmi
Architecture-Based Design of Multi-Agent Systems
Yazar 
Weyns, Danny. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01064-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Enterprise Interoperability III New Challenges and Industrial Approaches için kapak resmi
Enterprise Interoperability III New Challenges and Industrial Approaches
Yazar 
Mertins, Kai. editor. Ruggaber, Rainer. editor. Popplewell, Keith. editor. Xu, Xiaofei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-221-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Enterprise Interoperability New Challenges and Approaches için kapak resmi
Enterprise Interoperability New Challenges and Approaches
Yazar 
Doumeingts, Guy. editor. Müller, Jörg. editor. Morel, Gérard. editor. Vallespir, Bruno. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-714-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç