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ç
20 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings için kapak resmi
Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
by 
Beckmann, Arnold. editor.
https://doi.org/10.1007/978-3-319-08019-2
Format: 
Alıntı: 
Meer, Klaus. editor.
2. 
Advances in Artificial Intelligence 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings için kapak resmi
Advances in Artificial Intelligence 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings
by 
Sokolova, Marina. editor.
https://doi.org/10.1007/978-3-319-06483-3
Format: 
Alıntı: 
van Beek, Peter. editor.
3. 
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers için kapak resmi
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
by 
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
https://doi.org/10.1007/978-3-642-35887-6
Format: 
Alıntı: 
de Boer, Frank S. editor.
4. 
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers için kapak resmi
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
by 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-642-38230-7
Format: 
Alıntı: 
6-7, 2012, Revised Selected Papers / ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
5. 
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures için kapak resmi
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
by 
Giachino, Elena. editor.
https://doi.org/10.1007/978-3-642-40615-7
Format: 
Alıntı: 
de Boer, Frank S. editor.
6. 
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings için kapak resmi
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
by 
Beyer, Dirk. editor.
https://doi.org/10.1007/978-3-642-38592-6
Format: 
Alıntı: 
, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings / Beyer, Dirk. editor.
7. 
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 için kapak resmi
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
by 
Aichernig, Bernhard K. editor.
https://doi.org/10.1007/978-3-642-25271-6
Format: 
Alıntı: 
de Boer, Frank S. editor.
8. 
Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings için kapak resmi
Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
by 
Baeten, Jos C.M. editor.
https://doi.org/10.1007/978-3-642-33475-7
Format: 
Alıntı: 
de Boer, Frank S. editor.
9. 
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers için kapak resmi
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
by 
de Boer, Frank S. editor.
https://doi.org/10.1007/978-3-642-17071-3
Format: 
Alıntı: 
Netherlands, November 4-6, 2009. Revised Selected Papers / de Boer, Frank S. editor.
10. 
Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings için kapak resmi
Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings
by 
Brennan, Rob. editor.
https://doi.org/10.1007/978-3-642-16836-9
Format: 
Alıntı: 
van der Meer, Sven. editor.
11. 
Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems için kapak resmi
Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems
by 
Bartlang, Udo. author.
https://doi.org/10.1007/978-3-8348-9645-2
Format: 
Alıntı: 
Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems Bartlang, Udo
12. 
Parsing the Turing Test Philosophical and Methodological Issues in the Quest for the Thinking Computer için kapak resmi
Parsing the Turing Test Philosophical and Methodological Issues in the Quest for the Thinking Computer
by 
Epstein, Robert. editor.
https://doi.org/10.1007/978-1-4020-6710-5
Format: 
Alıntı: 
Beber, Grace. editor.