000755799 000__ 03416cam\a2200505Ii\4500
000755799 001__ 755799
000755799 005__ 20230306141813.0
000755799 006__ m\\\\\o\\d\\\\\\\\
000755799 007__ cr\cn\nnnunnun
000755799 008__ 160609s2016\\\\sz\a\\\\ob\\\\101\0\eng\d
000755799 020__ $$a9783319341712$$q(electronic book)
000755799 020__ $$a3319341715$$q(electronic book)
000755799 020__ $$z9783319341705
000755799 035__ $$aSP(OCoLC)ocn951465806
000755799 035__ $$aSP(OCoLC)951465806
000755799 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dAZU
000755799 049__ $$aISEA
000755799 050_4 $$aQA75.5$$b.I58 2016eb
000755799 08204 $$a004$$223
000755799 1112_ $$aInternational Computer Science Symposium in Russia$$n(11th :$$d2016 :$$cSaint Petersburg, Russia)
000755799 24510 $$aComputer science -- Theory and applications$$h[electronic resource] :$$b11th International Computer Science Symposium in Russia, CSR 2016, Saint Petersburg, Russia, June 9-13, 2016. Proceedings /$$cAlexander S. Kulikov, Gerhard J. Woeginger (eds.).
000755799 24630 $$aCSR 2016
000755799 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000755799 300__ $$a1 online resource (xxi, 425 pages) :$$billustrations.
000755799 336__ $$atext$$btxt$$2rdacontent
000755799 337__ $$acomputer$$bc$$2rdamedia
000755799 338__ $$aonline resource$$bcr$$2rdacarrier
000755799 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v9691
000755799 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000755799 500__ $$aInternational conference proceedings.
000755799 504__ $$aIncludes bibliographical references and author index.
000755799 5050_ $$aAlgorithms and data structures -- Combinatorial optimization -- Constraint solving -- Computational complexity -- Cryptography -- Combinatorics in computer science -- Formal languages and automata -- Computational models and concepts -- Algorithms for concurrent and distributed systems, networks -- Proof theory and applications of logic to computer science -- Model checking -- Automated reasoning -- Deductive methods.
000755799 506__ $$aAccess limited to authorized users.
000755799 520__ $$aThis book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; computational models and concepts; algorithms for concurrent and distributed systems, networks; proof theory and applications of logic to computer science; model checking; automated reasoning; and deductive methods.
000755799 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 9, 2016).
000755799 650_0 $$aComputer science$$vCongresses.
000755799 650_0 $$aComputer algorithms$$vCongresses.
000755799 7001_ $$aKulikov, Alexander S.,$$eeditor.
000755799 7001_ $$aWoeginger, Gerhard,$$eeditor.
000755799 830_0 $$aLecture notes in computer science ;$$v9691.
000755799 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000755799 852__ $$bebk
000755799 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-34171-2$$zOnline Access$$91397441.1
000755799 909CO $$ooai:library.usi.edu:755799$$pGLOBAL_SET
000755799 980__ $$aEBOOK
000755799 980__ $$aBIB
000755799 982__ $$aEbook
000755799 983__ $$aOnline
000755799 994__ $$a92$$bISE