Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(104)
Maciaszek, Leszek A. editor.
(3)
Aalst, Wil M. P. editor.
(2)
Boer, Frank S. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Dil
English
(104)
Yayın Yılı
-
2013
(104)
Konu
Logic design.
(104)
Computer science.
(103)
Software engineering.
(77)
Mathematical Logic and Formal Languages.
(55)
Programming Languages, Compilers, Interpreters.
(48)
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ç
104 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings için kapak resmi
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
Yazar 
Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335030.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40935-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings için kapak resmi
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Yazar 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335032.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings için kapak resmi
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
Yazar 
Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335040.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41010-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
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:
53. 
User-Level Workflow Design A Bioinformatics Perspective için kapak resmi
User-Level Workflow Design A Bioinformatics Perspective
Yazar 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335213.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45389-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Yazar 
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335227.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Yazar 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings için kapak resmi
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Yazar 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334968.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Yazar 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334969.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers için kapak resmi
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Yazar 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335125.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers için kapak resmi
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Yazar 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334014.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers için kapak resmi
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Yazar 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334034.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç