MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07540cam a2200937 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn262693491 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703145437.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 |
081017s2006 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 |
| -- |
HNK |
| -- |
OHX |
| -- |
COO |
| -- |
UAB |
| -- |
OCLCQ |
| -- |
YNG |
| -- |
E7B |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCO |
| -- |
IDEBK |
| -- |
NUI |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
U3W |
| -- |
BUF |
| -- |
OCLCQ |
| -- |
TFW |
| -- |
ICG |
| -- |
OCLCQ |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
WURST |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
LUN |
| -- |
WSU |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
75455817 |
| -- |
316697336 |
| -- |
613653802 |
| -- |
729901544 |
| -- |
739136736 |
| -- |
785781732 |
| -- |
1170814834 |
| -- |
1406309745 |
| -- |
1418775288 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540488163 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540488162 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540488154 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540488156 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000041107447 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058162630 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
HEBIS |
| System control number |
192080377 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
OHX |
| System control number |
har060136305 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060388309 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)262693491 |
| Canceled/invalid control number |
(OCoLC)75455817 |
| -- |
(OCoLC)316697336 |
| -- |
(OCoLC)613653802 |
| -- |
(OCoLC)729901544 |
| -- |
(OCoLC)739136736 |
| -- |
(OCoLC)785781732 |
| -- |
(OCoLC)1170814834 |
| -- |
(OCoLC)1406309745 |
| -- |
(OCoLC)1418775288 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-540-48815-6 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA75.5 |
| Item number |
.I135 2006eb |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Edition number |
22 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
ICTAC (Colloquium) |
| Number of part/section/meeting |
(3rd : |
| Date of meeting |
2006 : |
| Location of meeting |
Tunis, Tunisia) |
| 9 (RLIN) |
30033 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Theoretical aspects of computing : |
| Remainder of title |
ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings / |
| Statement of responsibility, etc. |
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
ICTAC 2006 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2006. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xv, 370 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
4281 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Papers -- Verifying a Hotel Key Card System -- Z/Eves and the Mondex Electronic Purse -- Verification Constraint Problems with Strengthening -- Semantics -- Quantitative?-Calculus Analysis of Power Management in Wireless Networks -- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa -- A Topological Approach of the Web Classification -- Concurrency -- Bisimulation Congruences in the Calculus of Looping Sequences -- Stronger Reduction Criteria for Local First Search -- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes -- A Petri Net Translation of?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis of Security Protocols -- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems -- Thread-Modular Verification Is Cartesian Abstract Interpretation -- Formal Languages -- Capture-Avoiding Substitution as a Nominal Algebra -- Prime Decomposition Problem for Several Kinds of Regular Codes -- A New Approach to Determinisation Using Bit-Parallelism -- Logic and Type Theory -- Proving ATL* Properties of Infinite-State Systems -- Type Safety for FJ and FGJ -- Partizan Games in Isabelle/HOLZF -- Proof-Producing Program Analysis -- Real-Time and Mobility -- Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting -- Interesting Properties of the Real-Time Conformance Relation tioco -- Model Checking Duration Calculus: A Practical Approach -- Spatio-temporal Model Checking for Mobile Real-Time Systems -- Tutorials: Extended Abstracts -- Tutorial on Formal Methods for Distributed and Cooperative Systems -- Decision Procedures for the Formal Analysis of Software. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from academia, - dustry, and governmentto present their results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. The previous events were held in Guiyang, China (2004), and Hanoi, Vi- nam (2005). Beyond its scholarly goals, another main purpose of ICTAC is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. These proceedings record the contributions from the invited speakers and from the technical sessions. We present four invited papers, 21 technical papers, selected out of 78 submissions from 24 countries, and two extended abstracts of tutorials. The Programme Committee includes researchers from 27 countries. Each of the 78 papers was evaluated by at least three reviewers. After the evaluation, reports were returned to the Programme Committee for discussion and reso- tion of con?icts. Based on their recommendations, we concluded the consensus process, and selected the 21 papers that we present here. For the evaluation of the submitted tutorials, this year we had the help of a separate Programme Committee especially invited for that purpose. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Available to OhioLINK libraries. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15048 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information theory |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
13640 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Théorie de l'information |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
921626 |
| 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 |
Electronic data processing. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00906956 |
| 9 (RLIN) |
6665 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information theory. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00973149 |
| 9 (RLIN) |
392 |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
wiskunde |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
mathematics |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computational science |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computernetwerken |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer networks |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logica |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logic |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programmeertalen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programming languages |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software engineering |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information and Communication Technology (General) |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Informatie- en communicatietechnologie (algemeen) |
| 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 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Barkaoui, Kamel. |
| 9 (RLIN) |
30034 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Cavalcanti, Ana. |
| 9 (RLIN) |
30035 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Cerone, Antonio. |
| 9 (RLIN) |
30036 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Theoretical aspects of computing (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFXrJCqrB9bYwydJ8FxCcP |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
OhioLINK electronic book center |
| Record control number |
(OCoLC)180989150 |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
SpringerLink |
| Record control number |
(OCoLC)43927870 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
ICTAC 2006 (2006 : Tunis, Tunisia). |
| Title |
Theoretical aspects of computing. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©2006 |
| International Standard Book Number |
9783540488156 |
| -- |
3540488154 |
| Record control number |
(DLC) 2006935418 |
| -- |
(OCoLC)76817984 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
4281. |
| International Standard Serial Number |
0302-9743 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/11921240">https://link.springer.com/10.1007/11921240</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH26903619 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3068576 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10532986 |
| 938 ## - |
|---|
| -- |
Otto Harrassowitz |
| -- |
HARR |
| -- |
har060136305 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
cis23798578 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |