Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(101)
Bonacina, Maria Paola. editor.
(2)
Legay, Axel. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Son, Tran Cao. editor.
(2)
Dil
Yayın Yılı
-
2013
(101)
Konu
Computer science.
(101)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(55)
Logics and Meanings of Programs.
(55)
Artificial Intelligence (incl. Robotics).
(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ç
101 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
73. 
New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers için kapak resmi
New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers
Yazar 
Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334868.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39931-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings için kapak resmi
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Yazar 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334875.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39992-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings için kapak resmi
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Yazar 
Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334877.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39998-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Yazar 
Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334925.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40313-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers için kapak resmi
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Yazar 
Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334946.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40447-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
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:
79. 
Belief Revision in Non-Classical Logics için kapak resmi
Belief Revision in Non-Classical Logics
Yazar 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330925.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
Using Event-B for Critical Device Software Systems için kapak resmi
Using Event-B for Critical Device Software Systems
Yazar 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331181.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331210.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
A Course on Mathematical Logic için kapak resmi
A Course on Mathematical Logic
Yazar 
Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331853.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Modelling Computing Systems Mathematics for Computer Science için kapak resmi
Modelling Computing Systems Mathematics for Computer Science
Yazar 
Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332574.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-322-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Concise Computer Mathematics Tutorials on Theory and Problems için kapak resmi
Concise Computer Mathematics Tutorials on Theory and Problems
Yazar 
Bagdasar, Ovidiu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332887.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01751-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç