Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(331)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Romanovsky, Alexander. editor.
(7)
Yang, Laurence T. editor.
(7)
Dil
Yayın Yılı
-
Konu
Computer science.
(306)
Operating systems (Computers).
(298)
Computer Communication Networks.
(164)
Information systems.
(90)
Logic design.
(63)
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ç
333 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings için kapak resmi
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Yazar 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06200-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54807-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Yazar 
Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43779-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Autonomic Computing Principles, Design and Implementation için kapak resmi
Autonomic Computing Principles, Design and Implementation
Yazar 
Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331115.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Information Systems Development Reflections, Challenges and New Directions için kapak resmi
Information Systems Development Reflections, Challenges and New Directions
Yazar 
Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Yer Numarası 
ONLINE(331631.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations için kapak resmi
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Yazar 
Raynal, Michel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333514.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Introduction to Cryptography with Maple için kapak resmi
Introduction to Cryptography with Maple
Yazar 
Gómez Pardo, José Luis. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333533.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32166-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Surface- and Groundwater Quality Changes in Periods of Water Scarcity için kapak resmi
Surface- and Groundwater Quality Changes in Periods of Water Scarcity
Yazar 
Gregor, Miloš. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333547.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32244-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Aliasing in Object-Oriented Programming. Types, Analysis and Verification için kapak resmi
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Yazar 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334327.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers için kapak resmi
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Yazar 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Yer Numarası 
ONLINE(334328.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers için kapak resmi
Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers
Yazar 
Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334344.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37021-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Yazar 
Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334353.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç