Loading…
Computer science - theory and applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings /
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. The 33 revised papers presented together with 5 invited papers and one opening lecture were carefully reviewed and selected from 103 subm...
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2008.
Berlin ; New York : [2008] |
| Series: | Lecture notes in computer science ;
5010. LNCS sublibrary. Theoretical computer science and general issues. |
| Physical Description: |
1 online resource (xiii, 409 pages) : illustrations. |
| Subjects: | |
| Online Access: | SpringerLink - Click here for access |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ocn272306827 | ||
| 003 | OCoLC | ||
| 005 | 20240223121953.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 081117s2008 gw a ob 101 0 eng d | ||
| 019 | |a 232337535 |a 488391778 |a 964891050 |a 1005745350 |a 1011927459 |a 1044214956 |a 1056313324 |a 1066536149 |a 1073058350 |a 1081194065 |a 1086898993 |a 1105600434 |a 1110401207 |a 1112598660 |a 1162687066 |a 1170980166 |a 1172513056 |a 1204078331 |a 1259072533 |a 1262688745 |a 1374608953 | ||
| 020 | |a 9783540797098 | ||
| 020 | |a 3540797092 | ||
| 020 | |a 9783540797081 | ||
| 020 | |a 3540797084 | ||
| 020 | |a 9788354079705 |q (8) | ||
| 020 | |a 8354079708 | ||
| 024 | 7 | |a 10.1007/978-3-540-79709-8 |2 doi | |
| 035 | |a (OCoLC)272306827 |z (OCoLC)232337535 |z (OCoLC)488391778 |z (OCoLC)964891050 |z (OCoLC)1005745350 |z (OCoLC)1011927459 |z (OCoLC)1044214956 |z (OCoLC)1056313324 |z (OCoLC)1066536149 |z (OCoLC)1073058350 |z (OCoLC)1081194065 |z (OCoLC)1086898993 |z (OCoLC)1105600434 |z (OCoLC)1110401207 |z (OCoLC)1112598660 |z (OCoLC)1162687066 |z (OCoLC)1170980166 |z (OCoLC)1172513056 |z (OCoLC)1204078331 |z (OCoLC)1259072533 |z (OCoLC)1262688745 |z (OCoLC)1374608953 | ||
| 037 | |a 978-3-540-79708-1 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d OCLCQ |d CEF |d COD |d IXA |d COO |d OCLCA |d OCLCQ |d OCLCO |d A7U |d OCLCQ |d OCLCF |d BEDGE |d OCLCQ |d OCLCO |d YDXCP |d IDEBK |d NUI |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d VT2 |d SHS |d OCLCQ |d UAB |d ESU |d OCLCQ |d NJR |d OCLCA |d OCLCQ |d TFW |d U3W |d AU@ |d WYU |d LHU |d EBLCP |d ICG |d YOU |d OCLCQ |d LEAUB |d OCLCQ |d W2U |d AUD |d HS0 |d ERF |d OCLCQ |d LUN |d DCT |d OCLCQ |d OCLCO |d QGK |d COM |d OCLCO |d OCLCQ |d INT |d OCLCL | ||
| 043 | |a e-ru--- | ||
| 049 | |a COM6 | ||
| 050 | 4 | |a QA75.5 |b .I54435 2008eb | |
| 072 | 7 | |a UY |2 bicssc | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 072 | 7 | |a COM031000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004.0947 |2 22 |
| 084 | |a 54.00 |2 bcl | ||
| 111 | 2 | |a International Computer Science Symposium in Russia |0 https://id.loc.gov/authorities/names/nb2006012773 |n (3rd : |d 2008 : |c Moscow, Russia) | |
| 245 | 1 | 0 | |a Computer science - theory and applications : |b Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / |c Edward A. Hirsch [and others] (eds.). |
| 246 | 3 | 0 | |a International Computer Science Symposium in Russia. |
| 246 | 3 | 0 | |a CSR 2008. |
| 246 | 3 | |a Third International Computer Science Symposium in Russia. | |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2008. | ||
| 264 | 1 | |a Berlin ; |a New York : |b Springer, |c [2008] | |
| 264 | 4 | |c ©2008. | |
| 300 | |a 1 online resource (xiii, 409 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file. | ||
| 347 | |b PDF. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 5010. | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| 504 | |a Includes bibliographical references and author index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. The 33 revised papers presented together with 5 invited papers and one opening lecture were carefully reviewed and selected from 103 submissions. All major areas in computer science are addressed. The theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory and applications of logic to computer science. The application part comprises programming and languages; computer architecture and hardware design; symbolic computing and numerical applications; application software; artificial intelligence and robotics. | ||
| 505 | 0 | |a Opening Lecture -- Randomness -- A Computational Complexity Perspective -- Invited Papers -- Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds -- On Formal Equivalence Verification of Hardware -- Twelve Problems in Proof Complexity -- Manifestation and Exploitation of Invariants in Bioinformatics -- Simple Stochastic Games, Mean Payoff Games, Parity Games -- Theory Track -- Topological Semantics of Justification Logic -- A Logspace Algorithm for Partial 2-Tree Canonization -- A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest Common Substrings Via Suffix Arrays -- Logic and Rational Languages of Words Indexed by Linear Orderings -- Complexity of the Bollobás-Riordan Polynomial -- A Complete Characterization of Nash-Solvability of Bimatrix Games in Terms of the Exclusion of Certain 2×2 Subgames -- Synchronization of Grammars -- Lower Bounds for Depth-2 and Depth-3 Boolean Circuits with Arbitrary Gates -- A Semantic Proof of Polytime Soundness of Light Affine Logic -- On Subword Complexity of Morphic Sequences -- Comparing Universal Covers in Polynomial Time -- S4LP and Local Realizability -- On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract) -- The Most General Conservation Law for a Cellular Automaton -- Lower Bounds on Frequency Estimation of Data Streams (Extended Abstract) -- From Invariants to Canonization in Parallel -- Self-referentiality of Justified Knowledge -- On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata -- Public Key Encryption and Encryption Emulation Attacks -- A Uniform Lower Bound on Weights of Perceptrons -- Lambek Grammars with One Division Are Decidable in Polynomial Time -- Cryptanalysis of Stickel's Key Exchange Scheme -- Combinatorial Complexity of Regular Languages -- On Sequences with Non-learnable Subsequences -- Algorithms for Multiterminal Cuts -- Two Sources Are Better Than One for Increasing the Kolmogorov Complexity of Infinite Sequences -- Applications and Technology Track -- Multilayer Neuro-fuzzy Network for Short Term Electric Load Forecasting -- Invariant Generation for P-Solvable Loops with Assignments -- Using Coloured Petri Nets to Model and Verify Telecommunications Systems -- Additive Preconditioning for Matrix Computations -- Network as a Computer: Ranking Paths to Find Flows -- A Unified Categorical Approach for Attributed Graph Rewriting. | |
| 546 | |a English. | ||
| 650 | 0 | |a Computer science |0 https://id.loc.gov/authorities/subjects/sh89003285 |z Russia (Federation) |0 https://id.loc.gov/authorities/names/n92056007-781 |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh99001533. | |
| 650 | 6 | |a Informatique |z Russie |v Congrès. | |
| 650 | 7 | |a Informatique. |2 eclas. | |
| 650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451. | |
| 651 | 7 | |a Russia (Federation) |2 fast |0 (OCoLC)fst01262050 |1 https://id.oclc.org/worldcat/entity/E39PBJhhmCp3jtcMQbx3WgpXVC. | |
| 655 | 2 | |a Congress. |0 https://id.nlm.nih.gov/mesh/D016423. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft |0 https://id.loc.gov/authorities/genreForms/gf2014026068. | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf. | |
| 700 | 1 | |a Hirsch, Edward A. |0 https://id.loc.gov/authorities/names/nb2006012781. | |
| 710 | 2 | |a SpringerLink (Online service) |0 https://id.loc.gov/authorities/names/no2005046756. | |
| 776 | 0 | 8 | |i Print version: |a International Computer Science Symposium in Russia (3rd : 2008 : Moscow, Russia). |t Computer science - theory and applications. |d Berlin ; New York : Springer, ©2008 |z 9783540797081 |z 3540797084 |w (DLC) 2008926412 |w (OCoLC)227032519. |
| 830 | 0 | |a Lecture notes in computer science ; |0 https://id.loc.gov/authorities/names/n42015162 |v 5010. |x 0302-9743. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. |0 https://id.loc.gov/authorities/names/no2007042902. | |
| 907 | |a .b5324414x |b multi |c - |d 170130 |e 240320 | ||
| 998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 2 | ||
| 948 | |a MARCIVE Overnight, in 2024.03 | ||
| 948 | |a MARCIVE Overnight, in 2023.01 | ||
| 948 | |a MARCIVE Over, 07/2021 | ||
| 948 | |a MARCIVE Comp, 2018.05 | ||
| 948 | |a MARCIVE Comp, 2017.10 | ||
| 948 | |a MARCIVE August, 2017 | ||
| 948 | |a MARCIVE Aug 5, 2017 | ||
| 994 | |a 92 |b COM | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
| 995 | |a Loaded with m2btab.elec in 2024.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2023.01 | ||
| 995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
| 995 | |a Loaded with m2btab.elec in 2021.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.09 | ||
| 995 | |a Loaded with m2btab.elec in 2017.01 | ||
| 995 | |a OCLC offline update by CMU | ||
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150207864 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-540-79709-8 |3 SpringerLink |z Click here for access | ||