| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Ka 4500 |
| 001 |
in00003500608 |
| 006 |
m o d |
| 007 |
cr bn||||||abp |
| 007 |
cr bn||||||ada |
| 008 |
100626s1997 au ac ob 001 0 eng d |
| 005 |
20260420201214.5 |
| 019 |
|
|
|a 300971625
|
| 020 |
|
|
|a 9783709165102
|q (electronic bk.)
|
| 020 |
|
|
|a 3709165105
|q (electronic bk.)
|
| 020 |
|
|
|z 3211829717
|
| 020 |
|
|
|z 9783211829714
|
| 035 |
|
|
|a (OCoLC)643755205
|z (OCoLC)300971625
|
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d OCLCQ
|d I9W
|d OCLCO
|d UV0
|d OCLCQ
|d OCLCF
|d GW5XE
|d OCLCQ
|d UtOrBLW
|
| 042 |
|
|
|a dlr
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA76.9.M35
|b R444 1997
|
| 082 |
0 |
4 |
|a 004
|2 23
|
| 084 |
|
|
|a DAT 510f
|2 stub
|
| 084 |
|
|
|a ST 120
|2 rvk
|
| 084 |
|
|
|a ST 130
|2 rvk
|
| 245 |
0 |
0 |
|a Relational methods in computer science /
|c C. Brink, W. Kahl, G. Schmidt, eds.
|
| 264 |
|
1 |
|a Wien ;
|a New York :
|b Springer,
|c [1997]
|
| 264 |
|
4 |
|c ©1997
|
| 300 |
|
|
|a 1 online resource (xiv, 272 pages) :
|b illustrations, portrait.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Advances in computing science,
|x 1433-0113
|
| 504 |
|
|
|a Includes bibliographical references (pages 247-262) and index.
|
| 538 |
|
|
|a 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.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 520 |
|
|
|a The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science." ... While this is a multi-authored volume, the authors have done an excellent job of making it read like a single-authored work ... The book can be viewed as a set of snapshots of a family of research and researchers at one point in time. If you are interested in relational problems, I can think of no better introduction ..." Computing Reviews.
|
| 588 |
0 |
|
|a Print version record.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics.
|
| 650 |
|
0 |
|a Relation algebras.
|
| 650 |
|
7 |
|a Computer science
|x Mathematics.
|2 fast
|0 (OCoLC)fst00872460
|
| 650 |
|
7 |
|a Relation algebras.
|2 fast
|0 (OCoLC)fst01093574
|
| 650 |
0 |
7 |
|a Aufsatzsammlung.
|2 swd
|
| 650 |
0 |
7 |
|a Datenverarbeitung.
|2 swd
|
| 650 |
0 |
7 |
|a Mathematische Logik.
|2 swd
|
| 650 |
0 |
7 |
|a Relation (Mathematik)
|2 swd
|
| 650 |
0 |
7 |
|a Relationenalgebra.
|2 swd
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 700 |
1 |
|
|a Brink, C.
|q (Chris)
|
| 700 |
1 |
|
|a Kahl, W.
|q (Wolfram)
|
| 700 |
1 |
|
|a Schmidt, Gunther,
|d 1939-
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 776 |
1 |
8 |
|i Print version:
|t Relational methods in computer science.
|d Wien ; New York : Springer, ©1997
|w (OCoLC)37392219
|
| 830 |
|
0 |
|a Advances in computing science.
|x 1433-0113
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-3-7091-6510-2
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s b714d46d-14c0-3936-8d17-68140e2ad51f
|i 4c4724fb-7838-326c-be2a-36358168cc8d
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA76.9.M35 R444 1997
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.9.M35 R444 1997
|t 0
|l Available Online
|