MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06668cam a2200817 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1122742963 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707092725.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 |
191009s2019 sz a ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
EBLCP |
| -- |
UKMGB |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
DKU |
| -- |
OCLCQ |
| -- |
NLW |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
BRX |
| -- |
OCLCQ |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
DCT |
| -- |
FNN |
| -- |
OCLCO |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB9H2955 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
019571476 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
1203975179 |
| -- |
1203981393 |
| -- |
1204067261 |
| -- |
1309414268 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319919089 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319919083 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319919072 |
| Qualifying information |
(print) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-91908-9 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000066172230 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
UKMGB |
| System control number |
019571476 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1122742963 |
| Canceled/invalid control number |
(OCoLC)1203975179 |
| -- |
(OCoLC)1203981393 |
| -- |
(OCoLC)1204067261 |
| -- |
(OCoLC)1309414268 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
com.springer.onix.9783319919089 |
| Source of stock number/acquisition |
Springer Nature |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UY |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM014000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UY |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Computing and software science : |
| Remainder of title |
state of the art and perspectives / |
| Statement of responsibility, etc. |
Bernhard Steffen, Gerhard Woeginger (eds.). |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2019. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xix, 590 pages) : |
| Other physical details |
illustrations (some color) |
| 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 |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
10000 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 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 October 9, 2019). |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Intro; Geleitwort; References; Preface; Organization; Contents; Computation and Complexity; Computation and Complexity; References; Some Estimated Likelihoods for Computational Complexity; 1 Introduction; 1.1 Some Estimated Likelihoods for Some Major Open Problems; 2 Thoughts on Various Separations; 2.1 EXP with an NP Oracle Versus BPP; 2.2 NEXP vs P/poly; 2.3 LOGSPACE vs NP; 2.4 NP Does Not Have Fixed Polynomial-Size Circuits; 2.5 BPP is in Sub-Exponential Time; 2.6 P vs PSPACE; 2.7 P vs NP; 2.8 ETH: The Exponential Time Hypothesis; 2.9 NC1 versus TC0; 2.10 EXP vs NEXP |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
2.11 SETH: The Strong Exponential Time Hypothesis2.12 NEXP vs CoNEXP; 2.13 NSETH: Nondeterministic SETH; 2.14 L vs RL; References; Computing in Combinatorial Optimization; 1 In the Beginning was n Factorial; 2 Dantzig, Linear Programming, and Cutting Planes; 3 Edmonds, Matchings, and Polynomial Time; 4 Sixty-Three Years of Progress; 5 Wish List of Research Directions; 5.1 Improving the Simplex Method; 5.2 Language of Algorithms; 5.3 Understanding Heuristic Algorithms; 5.4 Analysis of Exact Algorithms for Hard Problems; 5.5 Complexity of Cutting-Plane Methods; References |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Computational Social Choice: The First Ten Years and Beyond1 Introduction; 2 Restricted Preference Domains; 3 Voting Equilibria and Iterative Voting; 4 Multiwinner Voting; 5 Probabilistic Social Choice; 6 Random Assignment; 7 Computer-Aided Theorem Proving; 8 Further Reading; References; Geometric Optimization Revisited; 1 Introduction; 2 Geometric Set Cover; 2.1 Greedy Algorithms; 2.2 Iterative Reweighing Scheme and -Nets; 2.3 Extensions; 3 Geometric Independent Set; 4 Maps Between Point Sets; 4.1 Transportation Maps; 4.2 Order Preserving Maps; 4.3 Extensions; 5 Discussion; References |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
10 Reasons to Get Interested in Graph Drawing1 Introduction; 2 Basic Research; 2.1 Computational Geometry; 2.2 Graph Theory: Canonical Orderings; 2.3 Complexity: A Real Analogue of NP in Graph Drawing; 2.4 Data Structures: SPQR-Tree; 3 Applications; 3.1 Information Visualization; 3.2 Software Engineering; 3.3 Model-Based Design; 3.4 Automated Cartography; 3.5 Social Sciences; 3.6 Molecular Biology; References; Sublinear-Time Algorithms for Approximating Graph Parameters; 1 Introduction; 1.1 Average Degree and Higher Moments of the Degree Distribution; 1.2 The Number of Connected Components |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1.3 Minimum Vertex Cover and Related Parameters1.4 Minimum Weight Spanning Tree; 1.5 Distance to Properties; 1.6 Organization; 2 Preliminaries; 3 Moments of the Degree Distribution; 3.1 Average Degree; 3.2 Higher Moments; 4 Minimum Vertex Cover and Maximum Matching; 4.1 Building on a Distributed Algorithm; 4.2 Building on a Random Ordering; 5 Minimum Weight Spanning Tree; References; Dynamic Erdős-Rényi Graphs; 1 Introduction; 2 Erdős-Rényi Graphs Under Regime Switching; 2.1 Generating Function; 2.2 Moments; 2.3 Diffusion Results Under Scaling; 2.4 Large Deviations Results Under Scaling |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title "Computing and Software Science: State of the Art and Perspectives". They are organized in two parts: The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity. The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements. -- |
| Assigning source |
Provided by publisher |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 9 (RLIN) |
941 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering. |
| 9 (RLIN) |
14736 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| 9 (RLIN) |
1340 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic Data Processing |
| 9 (RLIN) |
6665 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms |
| 9 (RLIN) |
864 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial Intelligence |
| 9 (RLIN) |
1340 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| 9 (RLIN) |
14930 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Génie logiciel. |
| 9 (RLIN) |
19335 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithmes. |
| 9 (RLIN) |
16327 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Intelligence artificielle. |
| 9 (RLIN) |
15884 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
algorithms. |
| Source of heading or term |
aat |
| 9 (RLIN) |
864 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
artificial intelligence. |
| Source of heading or term |
aat |
| 9 (RLIN) |
1340 |
| 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 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Steffen, Bernhard, |
| Relator term |
editor. |
| 9 (RLIN) |
15074 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Woeginger, Gerhard, |
| Relator term |
editor. |
| 9 (RLIN) |
24854 |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783319919072 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783319919096 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
10000. |
| 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-91908-9">https://link.springer.com/10.1007/978-3-319-91908-9</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL5925263 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |