Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(358)
Silhavy, Petr. editor.
(14)
Silhavy, Radek. editor.
(14)
Bifet, Albert. editor. (orcid)0000-0002-8339-7773
(10)
Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X
(10)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(130)
Computer science.
(123)
Computer networks .
(89)
Computer Communication Networks.
(80)
Application software.
(77)
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ç
360 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
349. 
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings için kapak resmi
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Yazar 
Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41135-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
350. 
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs için kapak resmi
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Yazar 
Herdt, Vladimir. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-12680-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
351. 
Transactions on Petri Nets and Other Models of Concurrency XI için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XI
Yazar 
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Desel, Jörg. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53401-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
352. 
Transactions on Foundations for Mastering Change I için kapak resmi
Transactions on Foundations for Mastering Change I
Yazar 
Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46508-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
353. 
Description and Selection of Communication Services for Service Oriented Network Architectures için kapak resmi
Description and Selection of Communication Services for Service Oriented Network Architectures
Yazar 
Khondoker, Rahamatullah. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-12742-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
354. 
Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II için kapak resmi
Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II
Yazar 
Mandler, Benny. editor. Marquez-Barja, Johann. editor. Mitre Campista, Miguel Elias. editor. Cagáňová, Dagmar. editor. (orcid)0000-0002-6834-6126 Chaouchi, Hakima. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47075-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
355. 
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:
356. 
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:
357. 
Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III için kapak resmi
Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III
Yazar 
Marcus, Aaron. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40406-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
358. 
Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering için kapak resmi
Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering
Yazar 
Heinrich, Robert. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-06518-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
359. 
Social software engineering : development and collaboration with social networking için kapak resmi
Social software engineering : development and collaboration with social networking
Yazar 
Keyes, Jessica, 1950, author.
Yer Numarası 
QA76.758 .K479 2012
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
360. 
Theory and Practice of Uncertain Programming için kapak resmi
Theory and Practice of Uncertain Programming
Yazar 
Liu, Baoding. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89484-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç