Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(29)
Aspnes, James. editor.
(2)
Abdelzaher, Tarek. editor.
(1)
Arora, Anish. editor.
(1)
Bubak, Marian. editor.
(1)
Dil
Yayın Yılı
-
Konu
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ç
29 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Models of Operating System Kernels için kapak resmi
Formal Models of Operating System Kernels
Yazar 
Craig, Iain D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Transactions on Petri Nets and Other Models of Concurrency XIII için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XIII
Yazar 
Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-58381-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers için kapak resmi
Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Yazar 
Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01325-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings için kapak resmi
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Yazar 
van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93031-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Information Security and Privacy 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings için kapak resmi
Information Security and Privacy 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings
Yazar 
Parampalli, Udaya. editor. Hawkes, Philip. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22497-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings için kapak resmi
Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings
Yazar 
Vahrenhold, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02011-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings için kapak resmi
Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
Yazar 
Nikoletseas, Sotiris E. editor. Chlebus, Bogdan S. editor. Johnson, David B. editor. Krishnamachari, Bhaskar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69170-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings için kapak resmi
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Yazar 
Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings için kapak resmi
Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings
Yazar 
Aspnes, James. editor. Scheideler, Christian. editor. Arora, Anish. editor. Madden, Samuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73090-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings için kapak resmi
Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Yazar 
Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings için kapak resmi
Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings
Yazar 
Halevi, Shai. editor. Rabin, Tal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11681878
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings için kapak resmi
Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings
Yazar 
Vaudenay, Serge. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11761679
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: