| 000 -LEADER |
|---|
| fixed length control field |
05519cam a2200793Mi 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn885336662 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200626115533.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 nn|008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
140408s2014 gw a ob 001 0 eng |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
Nz |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
UX0 |
| Modifying agency |
OCLCO |
| -- |
COO |
| -- |
YDXCP |
| -- |
GW5XE |
| -- |
A7U |
| -- |
OCLCF |
| -- |
OHI |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCL |
| -- |
OCLCO |
| -- |
DIBIB |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
JG0 |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
IOG |
| -- |
OCL |
| -- |
BUF |
| -- |
REB |
| -- |
VLB |
| -- |
CEF |
| -- |
DEHBZ |
| -- |
VLB |
| -- |
OCLCQ |
| -- |
TFW |
| -- |
U3W |
| -- |
AU@ |
| -- |
WYU |
| -- |
TKN |
| -- |
LEAUB |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
880369450 |
| -- |
971349393 |
| -- |
1011996976 |
| -- |
1026438901 |
| -- |
1044310966 |
| -- |
1056437101 |
| -- |
1066497598 |
| -- |
1066536535 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319062514 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319062518 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319062501 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319062506 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319062518 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-06251-8 |
| Source of number or code |
doi |
| 029 0# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15536206 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000057662504 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:000685625 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
375864512 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15585081 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)885336662 |
| Canceled/invalid control number |
(OCoLC)880369450 |
| -- |
(OCoLC)971349393 |
| -- |
(OCoLC)1011996976 |
| -- |
(OCoLC)1026438901 |
| -- |
(OCoLC)1044310966 |
| -- |
(OCoLC)1056437101 |
| -- |
(OCoLC)1066497598 |
| -- |
(OCoLC)1066536535 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA8.9-QA10.3 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| Item number |
.R45 2014eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
MAT018000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051010 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.131 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Relational and Algebraic Methods in Computer Science : |
| Remainder of title |
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings / |
| Statement of responsibility, etc. |
edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer International Publishing : |
| -- |
Imprint : |
| -- |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2014. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (XII, 463 pages 28 illustrations) : |
| Other physical details |
online resource |
| 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, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
8428 |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Serienbezeichnung |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Developments in Concurrent Kleene Algebra (Invited Talk) -- Endowing Concurrent Kleene Algebra with Communication Actions -- Concurrent Kleene Algebra with Tests -- Algebras for Program Correctness in Isabelle/HOL -- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages -- A Modified Completeness Theorem of KAT and Decidability of Term Reducibility -- Kleene Algebra with Converse -- Preparing Relational Algebra for 'Just Good Enough' Hardware (Invited Talk) -- Extended Conscriptions Algebraically -- Abstract Dynamic Frames -- Automated Verification of Relational While-Programs -- On Faults and Faulty Programs -- Parameterised Bisimulations: Some Applications -- A Point-Free Relation-Algebraic Approach to General Topology -- A Mechanised Abstract Formalisation of Concept Lattices -- A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories -- Higher-Order Arrow Categories -- Type-2 Fuzzy Controllers in Arrow Categories.-Relation Algebra and RelView Applied to Approval Voting -- Relational Lattices -- Towards Finding Maximal Subrelations with Desired Properties -- Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis -- Refinements of the RCC25 Composition Table -- Fuzzifying Modal Algebra -- Tableau Development for a Bi- intuitionistic Tense Logic -- Nominal Sets over Algebraic Atoms -- Fixed-Point Theory in the Varieties Dn. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods, and developments related to modal logics and lattices. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 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 |
Logic design. |
| 9 (RLIN) |
4749 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computational complexity. |
| 9 (RLIN) |
391 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing. |
| 9 (RLIN) |
14650 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00804890 |
| 9 (RLIN) |
14650 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00817247 |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computational complexity. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00871991 |
| 9 (RLIN) |
391 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00872451 |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic design. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst01002045 |
| 9 (RLIN) |
4749 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst01124185 |
| 9 (RLIN) |
14736 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Ebook. |
| 9 (RLIN) |
20044 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Höfner, Peter, |
| Relator term |
editor. |
| 9 (RLIN) |
52094 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Jipsen, Peter, |
| Dates associated with a name |
1964- |
| Relator term |
editor. |
| 9 (RLIN) |
52095 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kahl, W. |
| Fuller form of name |
(Wolfram), |
| Relator term |
editor. |
| 9 (RLIN) |
46591 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Müller, M. E. |
| Fuller form of name |
(Martin E.), |
| Dates associated with a name |
1970- |
| Relator term |
editor. |
| 9 (RLIN) |
52096 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783319062501 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
8428. |
| International Standard Serial Number |
0302-9743 |
| 9 (RLIN) |
52097 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-319-06251-8">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-319-06251-8</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3093377 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
11804831 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |