Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
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ç
15 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic için kapak resmi
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
by 
Duží, Marie. author.
https://doi.org/10.1007/978-90-481-8812-3
Format: 
Alıntı: 
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent
2. 
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings için kapak resmi
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
by 
Grädel, Erich. editor.
https://doi.org/10.1007/978-3-642-04027-6
Format: 
Alıntı: 
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL
3. 
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings için kapak resmi
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
by 
Ouaknine, Joel. editor.
https://doi.org/10.1007/978-3-319-11439-2
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
4. 
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
by 
O'Regan, Gerard. author.
https://doi.org/10.1007/978-1-4471-4534-9
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
5. 
Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings için kapak resmi
Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings
by 
Yen, Hsu-Chun. editor.
https://doi.org/10.1007/978-3-642-31653-1
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
6. 
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings için kapak resmi
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings
by 
Frid, Anna. editor.
https://doi.org/10.1007/978-3-642-03351-3
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
7. 
Handbook on Ontologies için kapak resmi
Handbook on Ontologies
by 
Staab, Steffen. editor. (orcid)0000-0002-0780-4154
https://doi.org/10.1007/978-3-540-92673-3
Format: 
Alıntı: 
Mathematical Logic and Foundations.
8. 
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings için kapak resmi
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
by 
Harrison, Michael Douglas. editor.
https://doi.org/10.1007/978-3-540-87698-4
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
9. 
Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings için kapak resmi
Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
by 
Saglietti, Francesca. editor.
https://doi.org/10.1007/978-3-540-75101-4
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
10. 
Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings için kapak resmi
Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
by 
Bondavalli, Andrea. editor.
https://doi.org/10.1007/978-3-540-75294-3
Format: 
Alıntı: 
Logic design.
11. 
Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings için kapak resmi
Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
by 
Górski, Janusz. editor.
https://doi.org/10.1007/11875567
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
12. 
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings için kapak resmi
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
by 
Maziero, Carlos Alberto. editor.
https://doi.org/10.1007/11572329
Format: 
Alıntı: 
Logic design.