Algebra and coalgebra in computer science : (Record no. 637337)

MARC details
000 -LEADER
fixed length control field 07502cam a2201117 a 4500
001 - CONTROL NUMBER
control field ocn262680987
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703144743.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 cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 081017s2005 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency OCLCQ
-- YNG
-- UWW
-- NUI
-- OCLCE
-- OCLCQ
-- N$T
-- MNU
-- OCLCO
-- OCLCQ
-- OCLCF
-- BEDGE
-- TXI
-- OCLCO
-- OCLCA
-- QCL
-- BAKER
-- OKU
-- LVB
-- E7B
-- ITD
-- NLGGC
-- IDEBK
-- OCLCQ
-- OCLCO
-- OCL
-- OCLCO
-- DEBSZ
-- OCLCQ
-- EBLCP
-- OCLCQ
-- ESU
-- OCLCQ
-- OCLCO
-- U3W
-- BUF
-- TFW
-- ICG
-- W2U
-- OCLCQ
-- OCLCA
-- OCLCQ
-- ERF
-- OCLCQ
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- OCLCL
-- OCLCA
019 ## -
-- 61677179
-- 222314287
-- 288210948
-- 300583907
-- 607194291
-- 613487930
-- 707922722
-- 739126804
-- 762186379
-- 767171991
-- 785777088
-- 827361064
-- 993769850
-- 1006420355
-- 1009317789
-- 1012878859
-- 1014430478
-- 1020027208
-- 1027322705
-- 1036771292
-- 1038486871
-- 1039702114
-- 1087346737
-- 1112533770
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540318767
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540318763
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540286209
Qualifying information (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540286202
Qualifying information (pbk.)
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/11548133
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000044634579
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 301169306
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000075340310
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000056795870
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)262680987
Canceled/invalid control number (OCoLC)61677179
-- (OCoLC)222314287
-- (OCoLC)288210948
-- (OCoLC)300583907
-- (OCoLC)607194291
-- (OCoLC)613487930
-- (OCoLC)707922722
-- (OCoLC)739126804
-- (OCoLC)762186379
-- (OCoLC)767171991
-- (OCoLC)785777088
-- (OCoLC)827361064
-- (OCoLC)993769850
-- (OCoLC)1006420355
-- (OCoLC)1009317789
-- (OCoLC)1012878859
-- (OCoLC)1014430478
-- (OCoLC)1020027208
-- (OCoLC)1027322705
-- (OCoLC)1036771292
-- (OCoLC)1038486871
-- (OCoLC)1039702114
-- (OCoLC)1087346737
-- (OCoLC)1112533770
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-540-28620-2
Source of stock number/acquisition Springer
Note http://www.springerlink.com
042 ## - AUTHENTICATION CODE
Authentication code dlr
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.M35
Item number C33 2005
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 052000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 037000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 013000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 032000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 018000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 014000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 067000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UY.
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA.
Source bicssc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.01/512
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.71
Number source bcl
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element CALCO (Conference)
Number of part/section/meeting (1st :
Date of meeting 2005 :
Location of meeting Swansea, Wales)
9 (RLIN) 27018
245 10 - TITLE STATEMENT
Title Algebra and coalgebra in computer science :
Remainder of title first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings /
Statement of responsibility, etc. Jose Luiz Fiadeiro [and others] (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title CALCO 2005
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2005.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xi, 455 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 3629
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
506 ## - RESTRICTIONS ON ACCESS NOTE
Materials specified Use copy
Standardized terminology for access restriction Restrictions unspecified
Source of term star
Institution to which field applies MiAaHDL
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction.
Place of reproduction [Place of publication not identified] :
Agency responsible for reproduction HathiTrust Digital Library,
Date of reproduction 2010.
Institution to which field applies MiAaHDL
538 ## - SYSTEM DETAILS NOTE
System details note Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Uniform Resource Identifier <a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a>
Institution to which field applies MiAaHDL
583 1# - ACTION NOTE
Action digitized
Time/date of action 2010
Jurisdiction HathiTrust Digital Library
Status committed to preserve
Source of term pda
Institution to which field applies MiAaHDL
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories -- Labels from Reductions: Towards a General Theory -- Adequacy for Algebraic Effects with State -- Contributed Papers -- Bisimilarity Is Not Finitely Based over BPA with Interrupt -- Algebra ? Coalgebra = Presheaves -- Strong Splitting Bisimulation Equivalence -- Complete Axioms for Stateless Connectors -- On the Semantics of Coinductive Types in Martin-Löf Type Theory -- Look: Simple Stochastic Relations Are Just, Well, Simple -- Modelling Fusion Calculus using HD-Automata -- An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL -- Using Proofs by Coinduction to Find "Traditional" Proofs -- From T-Coalgebras to Filter Structures and Transition Systems -- Context-Free Languages via Coalgebraic Trace Semantics -- Towards a Coalgebraic Semantics of the Ambient Calculus -- The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic -- Ultrafilter Extensions for Coalgebras -- Equational Logic of Recursive Program Schemes -- The Category Theoretic Solution of Recursive Program Schemes -- A Categorical Approach to Simulations -- Behavioral Extensions of Institutions -- Discrete Lawvere Theories -- Final Semantics for Event-Pattern Reactive Programs -- Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing -- Final Sequences and Final Coalgebras for Measurable Spaces -- Bireachability and Final Multialgebras -- Parametrized Exceptions -- Property Preserving Redesign of Specifications.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
General subdivision Mathematics
Form subdivision Congresses.
9 (RLIN) 15039
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra
Form subdivision Congresses.
9 (RLIN) 8408
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique
General subdivision Mathématiques
Form subdivision Congrès.
9 (RLIN) 20905
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algèbre
Form subdivision Congrès.
9 (RLIN) 27019
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Reference.
Source of heading or term bisacsh
9 (RLIN) 17988
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 Computer Literacy.
Source of heading or term bisacsh
9 (RLIN) 17990
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Information Technology.
Source of heading or term bisacsh
9 (RLIN) 14211
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 Computer Science.
Source of heading or term bisacsh
9 (RLIN) 17992
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Hardware
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra.
Source of heading or term fast
Authority record control number (OCoLC)fst00804885
9 (RLIN) 3817
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
General subdivision Mathematics.
Source of heading or term fast
Authority record control number (OCoLC)fst00872460
9 (RLIN) 2386
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algebra
Source of heading or term gnd
9 (RLIN) 3817
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formale Methode
Source of heading or term gnd
9 (RLIN) 18841
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Koalgebra
Source of heading or term gnd
9 (RLIN) 27022
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Theoretische Informatik
Source of heading or term gnd
9 (RLIN) 1040
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algèbre.
Source of heading or term rasuqam
9 (RLIN) 26752
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathématique discrète.
Source of heading or term rasuqam
9 (RLIN) 27023
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Coalgèbre.
Source of heading or term rasuqam
9 (RLIN) 27024
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 Conference papers and proceedings.
Source of term fast
Authority record control number (OCoLC)fst01423772
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
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Kongress.
Source of term swd
9 (RLIN) 2843
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Swansea (2005)
Source of term swd
9 (RLIN) 27025
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Fiadeiro, José Luiz,
Dates associated with a name 1961-
-- https://id.oclc.org/worldcat/entity/E39PCjHp4qf76j3CDQVWgQF8Q3
9 (RLIN) 23207
758 ## -
-- has work:
-- Algebra and coalgebra in computer science (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGFbRy3PgQGrmVwrYm84pX
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading CALCO (2005 : Swansea, Wales).
Title Algebra and coalgebra in computer science.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2005
International Standard Book Number 3540286209
-- 9783540286202
Record control number (DLC) 2005931121
-- (OCoLC)61386658
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 3629.
International Standard Serial Number 0302-9743
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/11548133">https://link.springer.com/10.1007/11548133</a>
938 ## -
-- Baker & Taylor
-- BKTY
-- 84.00
-- 84.00
-- 3540286209
-- 0006556816
-- active
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3067623
938 ## -
-- ebrary
-- EBRY
-- ebr10528501
938 ## -
-- EBSCOhost
-- EBSC
-- 183306
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- cis23803126
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 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha