The space and motion of communicating agents (E-Book) (Record no. 213225)

000 -LEADER
fixed length control field 01368 a2200313 4500
003 - CONTROL NUMBER IDENTIFIER
control field Nust
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170207165830.0
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521490308 (hbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521738334 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521490306 (hbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521738330 (pbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)ocn261177529
040 ## - CATALOGING SOURCE
Transcribing agency Nust
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 514.223
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Milner, R.
245 14 - TITLE STATEMENT
Title The space and motion of communicating agents (E-Book)
Statement of responsibility, etc. Robin Milner
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. c2009
300 ## - PHYSICAL DESCRIPTION
Extent xxi, 191 p. :
Other physical details ill. ;
Dimensions 23 cm.
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Part I : Space 1 he idea of bigraphs 3 Defining bigraphs 14 Algebra for bigraphs 28 Relative and minimal bounds 39 Bigraphical structure 46 6Sorting 59 Part II : Motion 71 Reactions and transitions 73 Bigraphical reactive systems 88 Behaviour in link graphs 100 Behavioural theory for CCS 110 Part III : Development 121 Further topics 123 Background, development and related work 139
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algebraisk topologi
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Communication
General subdivision Network analysis
-- Mathematical models.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Data transmission systems
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Datakommunikation
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Machine theory.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Nets (Mathematics)
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Telecommunication systems
General subdivision Mathematical models.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Till�mpad matematik
651 ## - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME
Geographic name The space and motion of communicating agents E-Book
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 Collection code Permanent Location Current Location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
            Military College of Signals (MCS) Military College of Signals (MCS) 12/12/2016   514.223 MIL MCSEB-3256 12/08/2016 12/12/2016 Book
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.