| 000 -LEADER |
|---|
| fixed length control field |
00670nam a2200205Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
161214s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540206323 |
| Terms of availability |
pbk |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Item number |
SAR |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Saraswat, Vijay A. |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
New York: |
| Name of publisher, distributor, etc |
Springer-Verlag, |
| Date of publication, distribution, etc |
2003 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
viii, 304 p.; |
| Other physical details |
index: |
| Dimensions |
23 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price type code |
INR/EURO |
| Price amount |
2737.00/46.00 |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003. The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
|
|---|
| Topical term or geographic name as entry element |
Kernel Mode Linux |
|
|---|
| Topical term or geographic name as entry element |
Calculus |
|
|---|
| Topical term or geographic name as entry element |
Server |
|
|---|
| Topical term or geographic name as entry element |
Operating systems protection |
|
|---|
| Topical term or geographic name as entry element |
Proof theory |
|
|---|
| Topical term or geographic name as entry element |
Network services |
|
|---|
| Topical term or geographic name as entry element |
Secure mobile computing |
|
|---|
| Topical term or geographic name as entry element |
Real-time systems |
|
|---|
| Topical term or geographic name as entry element |
Electronic computers |
|
|---|
| Topical term or geographic name as entry element |
Probabilistic distributed systems |
|
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
|
|---|
| Topical term or geographic name as entry element |
Programming languages |
|
|---|
| Topical term or geographic name as entry element |
Middleware |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
Books |