Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(23)
Abdulla, Parosh Aziz. editor.
(1)
Bensalem, Saddek. editor.
(1)
Blazy, Sandrine. editor.
(1)
Bonacina, Maria Paola. editor.
(1)
Dil
Yayın Yılı
-
2013
(23)
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ç
23 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
13. 
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings için kapak resmi
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Yazar 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335046.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings için kapak resmi
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Yazar 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335072.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers için kapak resmi
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Yazar 
Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335202.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45278-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings için kapak resmi
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334355.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37064-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Yazar 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334724.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings için kapak resmi
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Yazar 
Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334725.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39074-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings için kapak resmi
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Yazar 
Konstantinidis, Stavros. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334771.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39274-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Yazar 
Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334778.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39310-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings için kapak resmi
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Yazar 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334814.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings için kapak resmi
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Yazar 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334825.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics için kapak resmi
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Yazar 
Mogavero, Fabio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336496.1)
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-95-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: