Relational and algebraic methods in computer science : (Record no. 382646)

000 -LEADER
fixed length control field 06354cam a2200853Ka 4500
001 - CONTROL NUMBER
control field ocn811249955
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626113230.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 120927s2012 gw ob 101 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2012946209
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency YDXCP
-- COO
-- ZMC
-- OCLCQ
-- WAU
-- I9W
-- E7B
-- OCLCF
-- BEDGE
-- OCLCO
-- OCL
-- OCLCO
-- OCLCQ
-- EBLCP
-- ESU
-- OCLCQ
-- IOG
-- NJR
-- CEF
-- U3W
-- YOU
-- AU@
-- WYU
-- TKN
-- OCLCQ
-- LEAUB
-- OCLCQ
-- W2U
-- OCLCQ
019 ## -
-- 1059016010
-- 1087305440
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642333149
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642333141
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783642333132
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642333133
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642333132
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-33314-9
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000050101592
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051450031
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060390095
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000687570
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 384330320
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14675098
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)811249955
Canceled/invalid control number (OCoLC)1059016010
-- (OCoLC)1087305440
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.M35
Item number R36 2012
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 004.01/51
Edition number 23
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element RAMiCS (Conference)
Number of part/section/meeting (13th :
Date of meeting 2012 :
Location of meeting Cambridge, England)
9 (RLIN) 46590
245 10 - TITLE STATEMENT
Title Relational and algebraic methods in computer science :
Remainder of title 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Statement of responsibility, etc. Wolfram Kahl, Timothy G. Griffin (eds.).
246 3# - VARYING FORM OF TITLE
Title proper/short title RAMiCS 2012
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2012.
300 ## - PHYSICAL DESCRIPTION
Extent 1 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 7560
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 1, Theoretical computer science and general issues
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
505 00 - FORMATTED CONTENTS NOTE
Title Transitive Separation Logic /
Statement of responsibility Han-Hing Dang and Bernhard Möller --
Title Unifying Lazy and Strict Computations /
Statement of responsibility Walter Guttmann --
Title Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming /
Statement of responsibility Peter Höfner, Bernhard Möller and Andreas Zelend --
Title Towards an Algebra for Real-Time Programs /
Statement of responsibility Brijesh Dongol, Ian J. Hayes, Larissa Meinicke and Kim Solin --
Title Automated Reasoning in Higher-Order Regular Algebra /
Statement of responsibility Alasdair Armstrong and Georg Struth --
Title Towards Certifiable Implementation of Graph Transformation via Relation Categories /
Statement of responsibility Wolfram Kahl --
Title Deciding Regular Expressions (In- )Equivalence in Coq /
Statement of responsibility Nelma Moreira, David Pereira and Simão Melo de Sousa --
Title Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures /
Statement of responsibility Rudolf Berghammer and Sebastian Fischer --
Title Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings /
Statement of responsibility Nikita Danilenko --
Title Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants /
Statement of responsibility Nuno Macedo, Hugo Pacheco and Alcino Cunha --
Title Left-Handed Completeness /
Statement of responsibility Dexter Kozen and Alexandra Silva --
Title On Completeness of Omega-Regular Algebras /
Statement of responsibility Michael R. Laurence and Georg Struth --
Title Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings /
Statement of responsibility Peter Jipsen --
Title Relational Representation Theorem for Powerset Quantales /
Statement of responsibility Koki Nishizawa and Hitoshi Furusawa --
Title Point Axioms in Dedekind Categories /
Statement of responsibility Hitoshi Furusawa and Yasuo Kawahara --
Title Two Observations in Dioid Based Model Refinement /
Statement of responsibility Roland Glück --
Title Relation Algebras, Matrices, and Multi-valued Decision Diagrams /
Statement of responsibility Francis Atampore and Michael Winter --
Title Incremental Pseudo Rectangular Organization of Information Relative to a Domain /
Statement of responsibility Sahar Ismail and Ali Jaoua --
Title Relational Concepts in Social Choice /
Statement of responsibility Gunther Schmidt --
Title An Algebra of Layered Complex Preferences /
Statement of responsibility Bernhard Möller and Patrick Roocks --
Title Continuous Relations and Richardson's Theorem /
Statement of responsibility Hitoshi Furusawa, Toshikazu Ishida and Yasuo Kawahara --
Title Relations on Hypergraphs /
Statement of responsibility John G. Stell --
Title Extension Properties of Boolean Contact Algebras /
Statement of responsibility Ivo Düntsch and Sanjiang Li.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.
546 ## - LANGUAGE NOTE
Language note English.
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 #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 Computer science
General subdivision Mathematics.
Source of heading or term fast
Authority record control number (OCoLC)fst00872460
9 (RLIN) 2386
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer science.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Software engineering.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Logic design.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computational complexity.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Artificial intelligence.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematical Logic and Formal Languages.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Symbolic and Algebraic Manipulation.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Logics and Meanings of Programs.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Discrete Mathematics in Computer Science.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 396
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
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kahl, W.
Fuller form of name (Wolfram)
9 (RLIN) 46591
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Griffin, Timothy G.
9 (RLIN) 46592
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783642333132
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 7560.
9 (RLIN) 46593
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.libraryproxy.ist.ac.at/book/10.1007/978-3-642-33314-9">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-642-33314-9</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3069884
938 ## -
-- ebrary
-- EBRY
-- ebr10651222
938 ## -
-- YBP Library Services
-- YANK
-- 9786106
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