Introduction to Neural Network Verification/ (Record no. 1525)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01077nam a22002057a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230131145902.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 230131b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781680839104 |
| 040 ## - CATALOGING SOURCE | |
| Language of cataloging | English |
| Transcribing agency | Central Library IIT Goa |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.32 |
| Item number | ALB |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Albarghouthi, Aws |
| 9 (RLIN) | 2268 |
| 245 ## - TITLE STATEMENT | |
| Title | Introduction to Neural Network Verification/ |
| Remainder of title | Aws Albarghouthi |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Boston: |
| Name of publisher, distributor, etc. | NOW Publishers Inc, |
| Date of publication, distribution, etc. | c2021 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | ii,168p. |
| Other physical details | ill. ; |
| Dimensions | 24 cm. |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Foundations and trends in programming languages |
| 9 (RLIN) | 2269 |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1. A New Beginning2. Neural Networks as Graphs3. Correctness Properties4. Logics and Satisfiability5. Encodings of Neural Networks6. DPLL Modulo Theories7. Neural Theory Solvers8. Neural Interval Abstraction9. Neural Zonotope Abstraction10. Neural Polyhedron Abstraction11. Verifying with Abstract Interpretation12. Abstract Training of Neural Networks13. The Challenges Ahead Acknowledgements References |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Deep learning (Machine learning)--Neural networks (Computer science) |
| 9 (RLIN) | 2270 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Reference | Reference | IIT Goa Central Library | IIT Goa Central Library | 2023-01-31 | Technical Bureau India Pvt. Ltd. | 8139.00 | 006.32/ ALB | 4105 | 2023-01-31 | 8139.00 | 2023-01-31 | Reference | TB2103||07-11-2022|27.50%||USD 99.00 |