skip to content
Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings Preview this item
ClosePreview this item
Checking...

Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings

Author: Volker Diekert; Mikhail V Volkov; Andrei Voronkov
Publisher: Berlin ; New York : Springer, ©2007.
Series: Lecture notes in computer science, 4649.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols,  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Computer Science Symposium in Russia (2nd : 2007 : Ekaterinburg, Russia).
Computer science -- theory and applications.
Berlin ; New York : Springer, ©2007
(DLC) 2007933004
(OCoLC)166334178
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Volker Diekert; Mikhail V Volkov; Andrei Voronkov
ISBN: 9783540745105 3540745106
OCLC Number: 184940636
Description: 1 online resource (xiii, 420 pages) : illustrations.
Contents: Proving Church's Thesis.- The Limits of Quantum Computers.- Marrying Words and Trees.- TPTP, TSTP, CASC, etc..- Abstract Modeling and Formal Verification of Microprocessors.- Sequences of Level 1, 2, 3,..., k,....- Timers and Proximities for Mobile Ambients.- Pushing Random Walk Beyond Golden Ratio.- Reversible Machine Code and Its Abstract Processor Architecture.- A Fast Algorithm for Path 2-Packing Problem.- Decidability of Parameterized Probabilistic Information Flow.- Inverting Onto Functions and Polynomial Hierarchy.- Proved-Patterns-Based Development for Structured Programs.- Planarity, Determinants, Permanents, and (Unique) Matchings.- Equivalence Problems for Circuits over Sets of Natural Numbers.- Bouillon: A Wiki-Wiki Social Web.- A PDL-Like Logic of Knowledge Acquisition.- Resource Placement in Networks Using Chromatic Sets of Power Graphs.- Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth.- Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems.- New Bounds for MAX-SAT by Clause Learning.- Towards Hierarchical Clustering (Extended Abstract).- Estimation of the Click Volume by Large Scale Regression Analysis.- Maximal Intersection Queries in Randomized Graph Models.- A Note on Specialization of Interpreters.- Efficient Computation in Groups Via Compression.- Constructing a Secret Binary Partition of a Digital Image Robust to a Loss of Synchronization.- On the Complexity of Matrix Rank and Rigidity.- On the Usage of Clustering for Content Based Image Retrieval.- Performance Modeling of Wormhole Hypermeshes Under Hotspot Traffic.- Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.- Symmetry of Information and Nonuniform Lower Bounds.- Perceptrons of Large Weight.- A Padding Technique on Cellular Automata to Transfer Inclusions of Complexity Classes.- Kolmogorov Complexity, Lovasz Local Lemma and Critical Exponents.- Generic Complexity of Presburger Arithmetic.- Everywhere ?-Repetitive Sequences and Sturmian Words.- Timed Traces and Strand Spaces.- On Empirical Meaning of Randomness with Respect to a Real Parameter.- An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity.- Generic Complexity of Undecidable Problems.
Series Title: Lecture notes in computer science, 4649.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: Second International Symposium on Computer Science in Russia
International Symposium on Computer Science in Russia
CSR 2007
Responsibility: Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(5)

User lists with this item (3)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/184940636> # Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "184940636" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/982181788#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/982181788#Topic/computer_science> ; # Computer science
    schema:about <http://id.worldcat.org/fast/1262050> ; # Russia (Federation)
    schema:about <http://experiment.worldcat.org/entity/work/data/982181788#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/982181788#Topic/computer_science_russia_federation> ; # Computer science--Russia (Federation)
    schema:alternateName "Second International Symposium on Computer Science in Russia" ;
    schema:alternateName "International Symposium on Computer Science in Russia" ;
    schema:alternateName "CSR 2007" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/21671853> ; # Mikhail V. Volkov
    schema:contributor <http://viaf.org/viaf/8047455> ; # Andrei Voronkov
    schema:contributor <http://viaf.org/viaf/2553823> ; # Volker Diekert
    schema:copyrightYear "2007" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/982181788#Meeting/international_computer_science_symposium_in_russia_2nd_2007_ekaterinburg_russia> ; # International Computer Science Symposium in Russia (2nd : 2007 : Ekaterinburg, Russia)
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/982181788> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/982181788#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/982181788#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isSimilarTo <http://www.worldcat.org/oclc/166334178> ;
    schema:name "Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings"@en ;
    schema:productID "184940636" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/184940636#PublicationEvent/berlin_new_york_springer_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/982181788#Agent/springer> ; # Springer
    schema:url <http://www.myilibrary.com?id=135370> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3063186> ;
    schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3063186> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-74510-5> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-74509-9> ;
    schema:url <http://link.springer.com/10.1007/978-3-540-74510-5> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-74509-9> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9783540745105> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-540-74510-5> ;
    schema:url <http://site.ebrary.com/id/10251882> ;
    schema:url <http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4649> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4649> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-74509-9> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-540-74510-5> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-540-74510-5> ;
    schema:url <http://swbplus.bsz-bw.de/bsz282637206cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540745105> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-540-74510-5> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/184940636> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/982181788#Meeting/international_computer_science_symposium_in_russia_2nd_2007_ekaterinburg_russia> # International Computer Science Symposium in Russia (2nd : 2007 : Ekaterinburg, Russia)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/982181788#Place/ekaterinburg_russia> ; # Ekaterinburg, Russia)
    schema:name "International Computer Science Symposium in Russia (2nd : 2007 : Ekaterinburg, Russia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/982181788#Place/ekaterinburg_russia> # Ekaterinburg, Russia)
    a schema:Place ;
    schema:name "Ekaterinburg, Russia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/982181788#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/184940636> ; # Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/982181788#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/184940636> ; # Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://id.worldcat.org/fast/1262050> # Russia (Federation)
    a schema:Place ;
    schema:name "Russia (Federation)" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/978-3-540-74510-5>
    rdfs:comment "Springer English/International eBooks 2007 - Full Set" ;
    .

<http://viaf.org/viaf/21671853> # Mikhail V. Volkov
    a schema:Person ;
    schema:familyName "Volkov" ;
    schema:givenName "Mikhail V." ;
    schema:name "Mikhail V. Volkov" ;
    .

<http://viaf.org/viaf/2553823> # Volker Diekert
    a schema:Person ;
    schema:birthDate "1955" ;
    schema:familyName "Diekert" ;
    schema:givenName "Volker" ;
    schema:name "Volker Diekert" ;
    .

<http://viaf.org/viaf/8047455> # Andrei Voronkov
    a schema:Person ;
    schema:birthDate "1959" ;
    schema:familyName "Voronkov" ;
    schema:givenName "Andrei" ;
    schema:name "Andrei Voronkov" ;
    .

<http://worldcat.org/isbn/9783540745105>
    a schema:ProductModel ;
    schema:isbn "3540745106" ;
    schema:isbn "9783540745105" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/184940636> ; # Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/166334178>
    a schema:CreativeWork ;
    rdfs:label "Computer science -- theory and applications." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/184940636> ; # Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/184940636>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/184940636> ; # Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
    schema:dateModified "2018-10-11" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3063186>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.