Foundations of software technology and theoretical computer science : (Record no. 981)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04332mam a2200373 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 1910665 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | BD-DhUL |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20140806153653.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 970122s1996 gw 100 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 3540620346 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)ocm36242624 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (NNC)1910665 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | CUS |
| Transcribing agency | CUS |
| Modifying agency | OrLoB-B |
| -- | BD-DhUL |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.3 |
| Item number | FOU |
| 245 00 - TITLE STATEMENT | |
| Title | Foundations of software technology and theoretical computer science : |
| Remainder of title | 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings / |
| Statement of responsibility, etc. | V. Chandru, V. Vinay, eds. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Berlin ; |
| -- | New York : |
| Name of publisher, distributor, etc. | Springer, |
| Date of publication, distribution, etc. | c1996. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xi, 386 p. : |
| Other physical details | ill. ; |
| Dimensions | 24 cm. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture notes in computer science ; |
| Volume/sequential designation | 1180 |
| 500 ## - GENERAL NOTE | |
| General note | "FST and TCS 16"--Cover. |
| 500 ## - GENERAL NOTE | |
| General note | "The proceedings of the Sixteenth Annual Conference on Foundations of Software Technology and Theoretical Computer Science"--Pref. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 505 00 - FORMATTED CONTENTS NOTE | |
| Title | Circuit Complexity before the Dawn of the New Millennium / |
| Statement of responsibility | Eric Allender -- |
| Title | A Lambda Calculus with Letrecs and Barriers / |
| Statement of responsibility | Arvind, Jan-Willem Maessen and Rishiyur S. Nikhil [et al.] -- |
| Title | Tables / |
| Statement of responsibility | J. Ian Munro -- |
| Title | Mechanized Formal Methods: Progress and Prospects / |
| Statement of responsibility | John Rushby -- |
| Title | The Parameter Space of the d-step Conjecture / |
| Statement of responsibility | J. C. Lagarias, N. Prabhu and J. A. Reeds -- |
| Title | On the Complexity of Approximating Euclidean Traveling Salesman Tours and Minimum Spanning Trees / |
| Statement of responsibility | G. Das, S. Kapoor and M. Smid -- |
| Title | Efficient Computation of Rectilinear Geodesic Voronoi Neighbor in Presence of Obstacles / |
| Statement of responsibility | P. Mitra and S. C. Nandy -- |
| Title | Weak Bisimulation and Model Checking for Basic Parallel Processes / |
| Statement of responsibility | R. Mayr -- |
| Title | Testing Processes for Efficiency / |
| Statement of responsibility | K. Jain and S. Arun-Kumar -- |
| Title | Regularity is Decidable for Normed PA Processes in Polynomial Time / |
| Statement of responsibility | A. Kucera -- |
| Title | Dynamic Maintenance of Shortest Path Trees in Simple Polygons / |
| Statement of responsibility | S. Kapoor and T. Singh -- |
| 505 80 - FORMATTED CONTENTS NOTE | |
| Title | Close Approximations of Minimum Rectangular Coverings / |
| Statement of responsibility | C. Levcopoulos and J. Gudmundsson -- |
| Title | A New Competitive Algorithm for Agent Searching in Unknown Streets / |
| Statement of responsibility | P. Dasgupta, P. P. Chakrabarti and S. C. DeSarkar -- |
| Title | On the Design of Hybrid Control Systems Using Automata Models / |
| Statement of responsibility | D. V. Hung and W. Ji -- |
| Title | Constraint Retraction in FD / |
| Statement of responsibility | P. Codognet, D. Diaz and F. Rossi -- |
| Title | Winskel is (Almost) Right: Towards a Mechanized Semantics Textbooks / |
| Statement of responsibility | T. Nipkow -- |
| Title | An Optimal Deterministic Algorithm for Online b-Matching / |
| Statement of responsibility | B. Kalyanasundaram and K. Pruhs -- |
| Title | Tight Bounds for Prefetching and Buffer Management Algorithms for Parallel I/O Systems / |
| Statement of responsibility | P. J. Varman and R. M. Verma -- |
| Title | Complexity of the Gravitational Method for Linear Programming / |
| Statement of responsibility | T. L. Morin, N. Prabhu and Z. Zhang -- |
| Title | Optimal and Information Theoretic Syntactic Pattern Recognition Involving Traditional and Transposition Errors / |
| Statement of responsibility | B. J. Oommen and R. K. S. Loke -- |
| 505 80 - FORMATTED CONTENTS NOTE | |
| Title | Minimal Relative Normalization in Orthogonal Expression Reduction Systems / |
| Statement of responsibility | J. Galuert and Z. Khashdashvili -- |
| Title | Trace Consistency and Inevitability / |
| Statement of responsibility | R. Ramanujam -- |
| Title | Finite State Implementations of Knowledge-Based Programs / |
| Statement of responsibility | R. van der Meyden -- |
| Title | Higher-Order Proof by Consistency / |
| Statement of responsibility | H. Linnestad, C. Prehofer and O. Lysne -- |
| Title | Advocating Ownership / |
| Statement of responsibility | H. Fernau, K.-J. Lange and K. Reinhardt -- |
| Title | Non-cancellative Boolean Circuits: A Generalization of Monotone Boolean Circuits / |
| Statement of responsibility | R. Sengupta and H. Venkateswaran -- |
| Title | Limitations of the QRQW and EREW PRAM Models / |
| Statement of responsibility | M. Kutylowski and K. Lorys -- |
| Title | Pinpointing Computation with Modular Queries in the Boolean Hierarchy / |
| Statement of responsibility | M. Agrawal, R. Beigel and T. Thierauf -- |
| Title | Characterization of Principal Type of Normal Forms in an Intersection Type System / |
| Statement of responsibility | E. Sayag and M. Mauny -- |
| Title | Correcting Type Errors in the Curry System / |
| Statement of responsibility | M. Gandhe, G. Venkatesh and A. Sanyal -- |
| Title | Immediate Fixpoints and Their Use in Groundness Analysis / |
| Statement of responsibility | H. Sondergaard -- |
| 505 80 - FORMATTED CONTENTS NOTE | |
| Title | Graph Types for Monadic Mobile Processes / |
| Statement of responsibility | N. Yoshida. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer software |
| Form subdivision | Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science |
| Form subdivision | Congresses. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Chandru, Vijay, |
| Dates associated with a name | 1953- |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Vinay, V. |
| 711 2# - ADDED ENTRY--MEETING NAME | |
| Meeting name or jurisdiction name as entry element | Conference on Foundations of Software Technology and Theoretical Computer Science |
| Number of part/section/meeting | (16th : |
| Date of meeting | 1996 : |
| Location of meeting | Hyderabad, India) |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture notes in computer science ; |
| Volume number/sequential designation | 1180. |
| 900 ## - EQUIVALENCE OR CROSS-REFERENCE-PERSONAL NAME [LOCAL, CANADA] | |
| Numeration | TOC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | |
| Koha item type | Books |
| Price effective from | Date last seen | Permanent Location | Not for loan | Date acquired | Source of classification or shelving scheme | Koha item type | Lost status | Cost, normal purchase price | Withdrawn status | Source of acquisition | Collection code | Damaged status | Shelving location | Barcode | Current Location | Full call number |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2014-08-06 | 2014-08-06 | Dhaka University Science Library | 1999-12-04 | Books | 0.00 | Purchase | Non Fiction | General Stacks | 387661 | Dhaka University Science Library | 005.3 FOU |