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
37. 
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts için kapak resmi
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Yazar 
O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331002.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
A General Framework for Reasoning On Inconsistency için kapak resmi
A General Framework for Reasoning On Inconsistency
Yazar 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332107.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings için kapak resmi
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
Yazar 
Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332970.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03200-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Yazar 
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334069.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35861-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Yazar 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334073.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers için kapak resmi
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Yazar 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Yer Numarası 
ONLINE(334092.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35975-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers için kapak resmi
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Yazar 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334096.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers için kapak resmi
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Yazar 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334120.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Transactions on Rough Sets XVI için kapak resmi
Transactions on Rough Sets XVI
Yazar 
Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Yer Numarası 
ONLINE(334220.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36505-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Automated Reasoning and Mathematics Essays in Memory of William W. McCune için kapak resmi
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Yazar 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334264.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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 
Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334358.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Yazar 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334465.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç