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ç
101 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings için kapak resmi
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Yazar 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332934.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02654-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings için kapak resmi
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Yazar 
Lodaya, Kamal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334105.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers için kapak resmi
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
Yazar 
Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334111.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36062-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
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:
10. 
The Language of Mathematics A Linguistic and Philosophical Investigation için kapak resmi
The Language of Mathematics A Linguistic and Philosophical Investigation
Yazar 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334341.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37012-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets