Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(36)
Csuhaj-Varjú, Ersébet. editor.
(2)
Dietzfelbinger, Martin. editor.
(2)
Ganter, Bernhard. editor.
(2)
Makinson, David. author.
(2)
Dil
Yayın Yılı
-
Konu
Formal Languages and Automata Theory.
(36)
Computer science-Mathematics.
(26)
Artificial intelligence.
(21)
Discrete Mathematics in Computer Science.
(20)
Discrete mathematics.
(20)
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ç
36 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I için kapak resmi
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
by 
Csuhaj-Varjú, Ersébet. editor.
https://doi.org/10.1007/978-3-662-44522-8
Format: 
Alıntı: 
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest
2. 
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II için kapak resmi
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
by 
Csuhaj-Varjú, Ersébet. editor.
https://doi.org/10.1007/978-3-662-44465-8
Format: 
Alıntı: 
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest
3. 
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings için kapak resmi
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
by 
Diaz, Josep. editor.
https://doi.org/10.1007/978-3-662-44602-7
Format: 
Alıntı: 
Discrete Mathematics in Computer Science.
4. 
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings için kapak resmi
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
by 
Hirsch, Edward. editor.
https://doi.org/10.1007/978-3-319-06686-8
Format: 
Alıntı: 
Discrete Mathematics in Computer Science.
5. 
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings için kapak resmi
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
by 
Demri, Stéphane. editor.
https://doi.org/10.1007/978-3-319-08587-6
Format: 
Alıntı: 
Computer science-Mathematics.
6. 
Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings için kapak resmi
Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
by 
Schulte, Christian. editor.
https://doi.org/10.1007/978-3-642-40627-0
Format: 
Alıntı: 
Discrete Mathematics in Computer Science.
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
by 
Hömberg, Dietmar. editor.
https://doi.org/10.1007/978-3-642-36062-6
Format: 
Alıntı: 
Computer science-Mathematics.
8. 
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
by 
Chatterjee, Krishnendu. editor.
https://doi.org/10.1007/978-3-642-40313-2
Format: 
Alıntı: 
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013
9. 
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
by 
Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-642-40537-2
Format: 
Alıntı: 
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference
10. 
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings için kapak resmi
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
by 
Gramlich, Bernhard. editor.
https://doi.org/10.1007/978-3-642-31365-3
Format: 
Alıntı: 
Computer science-Mathematics.
11. 
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
by 
Rovan, Branislav. editor.
https://doi.org/10.1007/978-3-642-32589-2
Format: 
Alıntı: 
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012
12. 
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings için kapak resmi
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
by 
Domenach, Florent. editor.
https://doi.org/10.1007/978-3-642-29892-9
Format: 
Alıntı: 
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012