Perspectives of systems informatics : (Record no. 380186)

000 -LEADER
fixed length control field 07035cam a2200937Ia 4500
001 - CONTROL NUMBER
control field ocn502997220
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626105326.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 |||||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100201s2010 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency CUS
Language of cataloging eng
Description conventions pn
Transcribing agency CUS
Modifying agency GW5XE
-- E7B
-- OCLCO
-- OCLCQ
-- OCLCA
-- OCLCF
-- BEDGE
-- OHS
-- OCLCA
-- SLY
-- OCLCO
-- OCLCQ
-- COO
-- YDXCP
-- NUI
-- OCLCQ
-- OCLCO
-- OCL
-- OCLCO
-- EBLCP
-- OCLCQ
-- OCLCO
-- OCLCQ
-- VT2
-- DGU
-- SHS
-- UAB
-- ESU
-- OCLCQ
-- IOG
-- BUF
-- OCLCO
-- MERER
-- OCLCO
-- CEF
-- OCLCQ
-- U3W
-- AU@
-- WYU
-- YOU
-- UX1
-- CNTRU
-- OCLCO
-- OL$
-- OCLCQ
-- OCLCA
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 10,N02
Source dnb
019 ## -
-- 574746934
-- 647871240
-- 769768312
-- 880328246
-- 964892302
-- 1005743550
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642114861
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642114865
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783642114854
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3642114857
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-11486-1
Source of number or code doi
028 52 - PUBLISHER NUMBER
Publisher number 12829361
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000048656839
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051388654
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000461264
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000686019
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 221132058
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 38435906X
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13659195
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)502997220
Canceled/invalid control number (OCoLC)574746934
-- (OCoLC)647871240
-- (OCoLC)769768312
-- (OCoLC)880328246
-- (OCoLC)964892302
-- (OCoLC)1005743550
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-642-11485-4
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA75.5
060 #4 - NATIONAL LIBRARY OF MEDICINE CALL NUMBER
Classification number QA 75.5
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYF
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM036000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number TP3-532
Number source clc
084 ## - OTHER CLASSIFICATION NUMBER
Classification number SS 4800
Number source rvk
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Andrei Ershov Memorial Conference
Number of part/section/meeting (7th :
Date of meeting 2009 :
Location of meeting Novosibirsk, Russia)
9 (RLIN) 36758
245 10 - TITLE STATEMENT
Title Perspectives of systems informatics :
Remainder of title 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
Statement of responsibility, etc. Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title PSI 2009
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2010.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xiii, 426 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
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 5947
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 1, Theoretical computer science and general issues
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
520 ## - SUMMARY, ETC.
Summary, etc. This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009. The 26 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 67 submissions. The volume also contains 5 invited papers covering a range of hot topics in system informatics. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software Development--Why Current Requirements Engineering Is Flawed! -- Compositional and Quantitative Model Checking (Extended Abstract) -- Invariants, Modularity, and Rights -- Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ -- A Two-Level Approach for Modeling and Verification of Telecommunication Systems -- SVM Paradoxes -- Indexing Dense Nested Metric Spaces for Efficient Similarity Search -- On the Containment Problem for Queries in Conjunctive Form with Negation -- Towards a Scalable, Pragmatic Knowledge Representation Language for the Web -- An Experiment with the Fourth Futamura Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols -- Proving the Equivalence of Higher-Order Terms by Means of Supercompilation -- Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study --? K -constraints for Hybrid Systems -- A Complete Invariant Generation Approach for P-solvable Loops -- Standardization and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases -- Cryptographic Protocols Analysis in Event B -- A Query Language for Logic Architectures -- Planet Map Generation by Tetrahedral Subdivision -- Towards Checking Parametric Reachability for UML State Machines -- A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems -- A Technique for Information Retrieval from Microformatted Websites -- From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research -- History-Dependent Stochastic Petri Nets -- Privacy Preserving Modules for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture -- Anti-unification Algorithms and Their Applications in Program Analysis.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
Form subdivision Congresses.
9 (RLIN) 14749
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
Form subdivision Congresses.
9 (RLIN) 36759
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering
Form subdivision Congresses.
9 (RLIN) 16713
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Systems.
9 (RLIN) 16084
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering.
9 (RLIN) 1853
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming.
Source of heading or term cct
9 (RLIN) 3021
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering.
Source of heading or term cct
9 (RLIN) 4746
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
Source of heading or term cct
9 (RLIN) 941
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 programming.
Source of heading or term fast
Authority record control number (OCoLC)fst00872390
9 (RLIN) 3021
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
Source of heading or term fast
Authority record control number (OCoLC)fst00872451
9 (RLIN) 941
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering.
Source of heading or term fast
Authority record control number (OCoLC)fst01141455
9 (RLIN) 4746
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress.
9 (RLIN) 11670
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 Pnueli, Amir,
Dates associated with a name 1941-2009.
9 (RLIN) 24391
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Virbitskaite, Irina.
9 (RLIN) 23433
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Voronkov, Andrei,
Dates associated with a name 1959-
9 (RLIN) 16227
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Title Perspectives of Systems Informatics.
Place, publisher, and date of publication Gardners Books 2010
International Standard Book Number 9783642114854
Record control number (DLC) 2009943004
-- (OCoLC)495274043
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 5947.
9 (RLIN) 36760
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-11486-1">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-642-11486-1</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3065027
938 ## -
-- ebrary
-- EBRY
-- ebr10363596
938 ## -
-- YBP Library Services
-- YANK
-- 3169745
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