Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(19)
Liu, Baoxiang. editor.
(2)
Ma, Maode. editor.
(2)
Yang, Yuhang. editor.
(2)
Bader, Michael. editor.
(1)
Dil
Yayın Yılı
-
2013
(19)
Konu
Computer simulation.
(19)
Computer science.
(17)
Electronic data processing.
(7)
Computer Appl. in Administrative Data Processing.
(6)
Information Systems Applications (incl. Internet).
(6)
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ç
19 sonuç bulundu Arama sonuçlarına abone ol
0000000DEFAULT_TR
Yazdır
13. 
Using Event-B for Critical Device Software Systems için kapak resmi
Using Event-B for Critical Device Software Systems
Yazar 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331181.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings için kapak resmi
Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Yazar 
Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.
Yer Numarası 
ONLINE(334624.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38568-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Advanced Computing için kapak resmi
Advanced Computing
Yazar 
Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334664.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38762-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings için kapak resmi
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Yazar 
Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334871.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings için kapak resmi
Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
Yazar 
Vöcking, Berthold. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335101.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41392-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Modelling of GPCRs A Practical Handbook için kapak resmi
Modelling of GPCRs A Practical Handbook
Yazar 
Strasser, Andrea. author. Wittmann, Hans-Joachim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335786.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4596-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions için kapak resmi
Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions
Yazar 
Bosse, Tibor. editor. Cook, Diane J. editor. Neerincx, Mark. editor. Sadri, Fariba. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336488.1)
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-6239-018-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: