Normal view MARC view ISBD view

Model Checking and Artificial Intelligence (Record no. 31950)

000 -LEADER
fixed length control field	02405cam a22005417a 4500
001 - CONTROL NUMBER
control field	15605097
003 - CONTROL NUMBER IDENTIFIER
control field	OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20210903114538.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	090130s2009 gw a b 101 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number	2009921993
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number	09,N10,0077
Source	dnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number	992751535
Source	DE-101
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9783642004308 (acidfree paper)
035 ## - SYSTEM CONTROL NUMBER
System control number	(OCoLC)ocn320934399
038 ## - RECORD CONTENT LICENSOR
Staff Name	khadija
040 ## - CATALOGING SOURCE
Original cataloging agency	ZCU
Language of cataloging	eng
Transcribing agency	ZCU
Modifying agency	GBVCP
--	DEBBG
--	OCL
--	DLC
042 ## - AUTHENTICATION CODE
Authentication code	lccopycat
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA76.76.V47
Item number	M63 2008
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	006.3
Edition number	23
Author Mark	MOD
084 ## - OTHER CLASSIFICATION NUMBER
Classification number	DAT 325f
Number source	stub
084 ## - OTHER CLASSIFICATION NUMBER
Classification number	DAT 706f
Number source	stub
084 ## - OTHER CLASSIFICATION NUMBER
Classification number	SS 4800
Number source	rvk
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element	MoChArt 2008
Date of meeting	(2008 :
Location of meeting	Patrai, Greece)
9 (RLIN)	82104
245 10 - TITLE STATEMENT
Title	Model Checking and Artificial Intelligence
Remainder of title	5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /
Statement of responsibility, etc.	Doron A. Peled, Michael J. Wooldrige (eds.).
246 3# - VARYING FORM OF TITLE
Title proper/short title	MoChArt 5
246 3# - VARYING FORM OF TITLE
Title proper/short title	MoChArt five
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Berlin ;
--	New York :
Name of publisher, distributor, etc.	Springer,
Date of publication, distribution, etc.	c2009.
300 ## - PHYSICAL DESCRIPTION
Extent	188 p. :
Other physical details	ill. ;
Dimensions	24 cm.
490 1# - SERIES STATEMENT
Series statement	Lecture notes in computer science,
International Standard Serial Number	0302-9743 ;
Volume/sequential designation	5348.
Series statement	Lecture notes in artificial intelligence
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Includes bibliographical references and index.
563 ## - BINDING INFORMATION
Binding note	paperback
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer systems
General subdivision	Verification
Form subdivision	Congresses.
9 (RLIN)	82105
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer software
General subdivision	Verification
Form subdivision	Congresses.
9 (RLIN)	82106
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Artificial intelligence
Form subdivision	Congresses.
9 (RLIN)	82107
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Künstliche Intelligenz
General subdivision	Model Checking
Form subdivision	Kongress
Geographic subdivision	Patras <2008>
9 (RLIN)	82108
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Model Checking.
Source of heading or term	swd
9 (RLIN)	82109
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term	Kongress.
Source of term	swd
9 (RLIN)	81663
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Peled, Doron A.,
Dates associated with a name	1962-
9 (RLIN)	82110
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Wooldrige, Michael J.
9 (RLIN)	82111
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Lecture notes in computer science ;
Volume/sequential designation	5348.
9 (RLIN)	26093
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Lecture notes in computer science.
Name of part/section of a work	Lecture notes in artificial intelligence.
9 (RLIN)	81672
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified	Table of contents
Uniform Resource Identifier	<a href="http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	<a href="http://d-nb.info/992751535/04">http://d-nb.info/992751535/04</a>
Materials specified	Inhaltsverzeichnis
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified	Publisher description
Uniform Resource Identifier	<a href="http://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html">http://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html</a>
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a	7
b	cbc
c	copycat
d	2
e	epcn
f	20
g	y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type	Book

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Permanent Location	Current Location	Shelving location	Date acquired	Full call number	Barcode	Date last seen	Price effective from	Koha item type	Public note
					School of Mechanical & Manufacturing Engineering (SMME)	School of Mechanical & Manufacturing Engineering (SMME)	General Stacks	07/13/2015	006.3 MOD	SMME-509	04/03/2018	07/13/2015	Book	Rack,52-Shelf,2

NUST Institutions Library Catalogue

NUST INSTITUTIONS' LIBRARY CATALOGUE

Model Checking and Artificial Intelligence (Record no. 31950)