Computer science -- theory and applications : (Record no. 644125)

MARC details
000 -LEADER
fixed length control field 06700cam a2200925 i 4500
001 - CONTROL NUMBER
control field ocn912855145
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703163957.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu|||unuuu
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 150702s2015 sz a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency GW5XE
Modifying agency OCLCO
-- YDXCP
-- UPM
-- AZU
-- OCLCF
-- OCLCO
-- OCLCQ
-- OCLCO
-- VT2
-- IAO
-- SOI
-- ILO
-- IAS
-- JBG
-- IAD
-- ICN
-- UAB
-- ESU
-- OCLCQ
-- IOG
-- NJR
-- BUF
-- U3W
-- OCLCQ
-- CEF
-- DEHBZ
-- CRU
-- OCLCQ
-- TFW
-- AU@
-- EBLCP
-- WYU
-- UKMGB
-- OCLCQ
-- DCT
-- ERF
-- OCLCQ
-- OCLCO
-- UKAHL
-- COM
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
-- OCLCQ
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBB8L7490
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 019128590
Source Uk
019 ## -
-- 961857873
-- 964837249
-- 972003322
-- 1005758222
-- 1011848649
-- 1022014639
-- 1027506123
-- 1048135020
-- 1066564438
-- 1081202907
-- 1086565193
-- 1111024553
-- 1112509071
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319202976
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3319202979
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3319202960
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319202969
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783319202969
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-20297-6
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000057665346
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 395069181
029 1# - (OCLC)
OCLC library identifier UKMGB
System control number 019128590
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:999906062005765
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)912855145
Canceled/invalid control number (OCoLC)961857873
-- (OCoLC)964837249
-- (OCoLC)972003322
-- (OCoLC)1005758222
-- (OCoLC)1011848649
-- (OCoLC)1022014639
-- (OCoLC)1027506123
-- (OCoLC)1048135020
-- (OCoLC)1066564438
-- (OCoLC)1081202907
-- (OCoLC)1086565193
-- (OCoLC)1111024553
-- (OCoLC)1112509071
037 ## - SOURCE OF ACQUISITION
Stock number com.springer.onix.9783319202976
Source of stock number/acquisition Springer Nature
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA75.5
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMB
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051300
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Edition number 23
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Computer Science Symposium in Russia
Number of part/section/meeting (10th :
Date of meeting 2015 :
Location of meeting Listvi︠a︡nka, Russia)
9 (RLIN) 967697
245 10 - TITLE STATEMENT
Title Computer science -- theory and applications :
Remainder of title 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
Statement of responsibility, etc. Lev D. Beklemishev, Daniil V. Musatov (eds.).
246 3# - VARYING FORM OF TITLE
Title proper/short title CSR 2015
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2015.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xx, 443 pages) :
Other physical details illustrations
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 9139
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 1, Theoretical computer science and general issues
500 ## - GENERAL NOTE
General note International conference proceedings.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Online resource; title from PDF title page (SpringerLink, viewed June 29, 2015).
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015. The 25 full papers presented in this volume were carefully reviewed and selected from 61 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 in theoretical computer science and its applications.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Propositional Proofs in Frege and Extended Frege Systems -- Circuit Complexity Meets Ontology-Based Data Access -- NEXP-Completeness and Universal Hardness Results for Justification Logic -- A Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes -- Generalized LR Parsing for Grammars with Contexts -- On Compiling Structured CNFs to OBDDs -- Satisfiability of ECTL* with Tree Constraints -- On Growth and Fluctuation of k-Abelian Complexity -- A Polynomial-Time Algorithm for Outerplanar Diameter Improvement -- Editing to a Planar Graph of Given Degrees -- On the Satisfiability of Quantum Circuits of Small Treewidth -- Equations over Free Inverse Monoids with Idempotent Variables -- A Logical Characterization of Timed Pushdown Languages -- An In-place Priority Queue with O(1) Time for Push and lg n + O(1) Comparisons for Pop -- Resolution Complexity of Perfect Matching Principles for Sparse Graphs -- Operations on Self-verifying Finite Automata -- Automath Type Inclusion in Barendregt's Cube -- Circuit Lower Bounds for Average-Case MA -- Making Randomness Public in Unbounded-Round Information Complexity -- First-Order Logic Definability of Free Languages -- Representation of (Left) Ideal Regular Languages by Synchronizing Automata -- Some Properties of Antistochastic Strings -- Approximation and Exact Algorithms for Special Cases of Connected f-Factors -- Rewriting Higher-Order Stack Trees -- Interacting with Modal Logics in the Coq Proof Assistant -- Delay Games with WMSOþU Winning Conditions -- Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
Form subdivision Congresses.
9 (RLIN) 14749
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique
Form subdivision Congrès.
9 (RLIN) 14750
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Discrete mathematics.
Source of heading or term bicssc
9 (RLIN) 53556
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element User interface design & usability.
Source of heading or term bicssc
9 (RLIN) 53308
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical theory of computation.
Source of heading or term bicssc
9 (RLIN) 14275
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
General subdivision software development.
Source of heading or term bicssc
9 (RLIN) 53440
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms & data structures.
Source of heading or term bicssc
9 (RLIN) 53448
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Data Processing.
Source of heading or term bisacsh
9 (RLIN) 17991
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Machine Theory.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Programming
-- Algorithms.
Source of heading or term bisacsh
9 (RLIN) 53450
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Programming
-- General.
Source of heading or term bisacsh
9 (RLIN) 53444
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematics
General subdivision Logic.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
Source of heading or term fast
9 (RLIN) 941
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term proceedings (reports)
Source of term aat
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Beklemishev, Lev Dmitrievich,
Dates associated with a name 1967-
Relator term editor.
-- https://id.oclc.org/worldcat/entity/E39PCjvcKvkGHdXQCckYWFmHP3
9 (RLIN) 41912
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Musatov, Daniil V.,
Relator term editor.
9 (RLIN) 54382
758 ## -
-- has work:
-- Computer science -- theory and applications (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGVkd9Fm6mwHKV4HrC6xWC
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783319202969
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 9139.
International Standard Serial Number 0302-9743
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 1,
Name of part/section of a work Theoretical computer science and general issues.
9 (RLIN) 20736
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-319-20297-6">https://link.springer.com/10.1007/978-3-319-20297-6</a>
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH31528088
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL6303569
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL5588242
938 ## -
-- YBP Library Services
-- YANK
-- 12508770
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 29/07/2022   29/07/2022 29/07/2022 eBook

Powered by Koha