Relational and Algebraic Methods in Computer Science : (Record no. 384105)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 2020-06-26 2020-06-26 2020-06-26 eBook

Powered by Koha