Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Title:
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Author:
Bulatov, Andrei A. editor.
ISBN:
9783642385360
Physical Description:
XII, 445 p. 55 illus. online resource.
Series:
Lecture Notes in Computer Science, 7913
Subject Term:
Computer science.

Computer software.

Logic design.

Computational complexity.

Algorithm Analysis and Problem Complexity.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Discrete Mathematics in Computer Science.

Mathematical Logic and Formal Languages.
Added Author:
Shur, Arseny M.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-38536-0
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 334617-1001 ONLINE(334617.1)
Searching...

On Order