Computer science - theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /

Computer science - theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /

This book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. The 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition the book contains 8 invited lec...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Shur, Arseny M., Bulatov, Andrei A.
Định dạng:	eBook
Ngôn ngữ:	English
Được phát hành:	Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Loạt:	Lecture Notes in Computer Science 7913
Những chủ đề:	Computer science. Computer software. Logic design. Computational complexity.
Truy cập trực tuyến:	Click here to view the full text content
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Computer science -- theory and applications 5th international computer science symposium in russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
Được phát hành: (2010)

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
Được phát hành: (2012)

Computer science - theory and applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /
Được phát hành: (2014)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Được phát hành: (2013)

Computer science - theory and applications 4th international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
Được phát hành: (2009)

FSTTCS 2005: foundations of software technology and theoretical computer science / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

Theory and applications of models of computation 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Được phát hành: (2010)

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Được phát hành: (2013)

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
Được phát hành: (2007)

Computer science -- theory and applications : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /
Được phát hành: (2006)

Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /
Được phát hành: (2013)

Mathematical foundations of computer science 2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Được phát hành: (2013)

Mathematical foundations of computer science 2010 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Được phát hành: (2010)

Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
Được phát hành: (2013)

Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

Modelling computing systems : mathematics for computer science /
Bằng: Moller, Faron
Được phát hành: (2013)

Mathematical foundations of computer science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings /
Được phát hành: (2013)

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Được phát hành: (2012)

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Được phát hành: (2014)

Fundamentals of computation theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Được phát hành: (2013)

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Được phát hành: (2005)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Được phát hành: (2010)

Fundamentals of computation theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
Bằng: Csuhaj-Varju, Erzsebet
Được phát hành: (2007)

SOFSEM 2013: theory and practice of computer science : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 26-31, 2013. Proceedings /
Được phát hành: (2013)

STACS 2006 : 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006, Proceedings /
Được phát hành: (2006)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Được phát hành: (2013)

Algorithms and computation : 24th international symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, proceedings /
Được phát hành: (2013)

Principles and practice of constraint programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /
Được phát hành: (2013)

Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Được phát hành: (2013)

Abstract state machines, alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
Được phát hành: (2010)

Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Được phát hành: (2012)

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
Được phát hành: (2007)

How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /
Được phát hành: (2012)

Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
Được phát hành: (2013)

Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Được phát hành: (2013)

SOFSEM 2011: theory and practice of computer science 37th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 22-28, 2011. Proceedings /
Được phát hành: (2011)

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 /
Được phát hành: (2013)

SOFSEM 2012: theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, spindlerův Mlyn, Czech Republic, January 21-27, 2012. Proceedings /
Được phát hành: (2012)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Được phát hành: (2012)