Skip to main content
M:N3:6 2
Edit position
Edit position

Last set 4 days, 21 hours ago. Manual moves override automatic placement until the next shelfie/spine match.

The design and analysis of algorithms
Diagnose this book
Open in Vernon Browser

The design and analysis of algorithms

by Dexter Kozen

Based on Cornell University graduate lecture notes, this text covers core and advanced topics in the design and analysis of computer algorithms. It is designed for postgraduate students preparing for qualifying exams and those specialising in theoretical computer science.

Accession 5768 ISBN 0387976876 Publisher Springer
Book Images
Reference and live side by side Hover to see live images
Reference
The design and analysis of algorithms spine
The design and analysis of algorithms cover
Live
The design and analysis of algorithms live spine
No live
The design and analysis of algorithms spine The design and analysis of algorithms live spine
The design and analysis of algorithms cover
No live
TAGS
Curated Derived
Complexity Design Mathematics Problem Solving Science
CONNECTIONS
No connections
State
on_shelf
True
position_updated_at
2026-06-01 16:33
orientation
vertical
Details

Physical

binding_type
Hard Back
dimensions
none captured
spine_text
none captured

Metadata

Book form
LOCATION HISTORY
M:N3:6 2 Current vertical
4 days, 21 hours ago
M:N3:2 3 vertical
1 week, 3 days ago
Book Location
Updated 4 days, 21 hours ago
Vernon snapshot
View live

Frozen copy of Vernon's record from the last sync. Fields tagged → flow back into the Pulse record.

Last synced 2026-05-21 06:24 (2 weeks, 2 days ago)

Identity

name→ title
The design and analysis of algorithms
vernon_id
9577
accession_no→ accession_number
5768
vernon_slug
the-design-and-analysis-of-algorithms-dexter-kozen

Drives Pulse state

curr_loc_status→ on_shelf
On Shelf
location_name
Zone N3/Level 2 (Mezzanine)/Phrontisterion/MONA
location_reason
On Shelf
isbn_issn→ isbn (when valid)
0387976876

Descriptive

production_date
1991
object_type
Books/Document genres/Information forms/Visual and Verbal Communication
object_status
Accessioned
brief_description
This brief record was created for storage and loan purposes only.

Subjects & people

authors→ author (initial fill only)
Dexter Kozen
tags→ tags
Science, Mathematics, Algorithms, Algebra
subject_people
—
subject_objects
—

Cover image

vernon_cover_image_id→ cover_image
58966

Raw Vernon JSON

click to inspect

The source payload behind the snapshot above.
Use ⌘F to search once expanded.
{7 keys}
"slug": "the-design-and-analysis-of-algorithms-dexter-kozen"
"opacObjectId": "9577"
"opacCollection": {1 keys}
"opacCollectionId": "1"
"imagesCollection": {2 keys}
"images": [1 items]
"[0]": {5 keys}
"imageId": "58966"
"cssColors": [3 items]
"[0]": {9 keys}
"hex": "778899"
"hue": 210
"rank": 1
"presence": 94.1
"colorName": "lightslategray"
"lightness": 53
"colorGroup": "gray"
"saturation": 14
"formattedColorName": "light slate gray"
"[1]": {9 keys}
"hex": "dc143c"
"hue": 348
"rank": 2
"presence": 2.59
"colorName": "crimson"
"lightness": 47
"colorGroup": "red"
"saturation": 83
"formattedColorName": "crimson"
"[2]": {9 keys}
"hex": "708090"
"hue": 210
"rank": 3
"presence": 1.01
"colorName": "slategray"
"lightness": 50
"colorGroup": "gray"
"saturation": 13
"formattedColorName": "slate gray"
"rawColors": [7 items]
"[0]": {6 keys}
"hex": "bfc1c9"
"hue": 228
"rank": 1
"presence": 94.1
"lightness": 76
"saturation": 8
"[1]": {6 keys}
"hex": "85223a"
"hue": 345
"rank": 2
"presence": 2.59
"lightness": 32
"saturation": 59
"[2]": {6 keys}
"hex": "36393d"
"hue": 214
"rank": 3
"presence": 1.01
"lightness": 22
"saturation": 6
"[3]": {6 keys}
"hex": "72757a"
"hue": 217
"rank": 4
"presence": 1.02
"lightness": 46
"saturation": 3
"[4]": {6 keys}
"hex": "8c5668"
"hue": 340
"rank": 5
"presence": 0.44
"lightness": 44
"saturation": 23
"[5]": {6 keys}
"hex": "a9737f"
"hue": 346
"rank": 6
"presence": 0.57
"lightness": 55
"saturation": 23
"[6]": {6 keys}
"hex": "b08997"
"hue": 338
"rank": 7
"presence": 0.27
"lightness": 61
"saturation": 19
"imageLabels": [3 items]
"[0]": {5 keys}
"count": 19018
"score": 70.87
"status": "auto_verified"
"imageLabel": "Publication"
"imageLabelId": 23
"[1]": {5 keys}
"count": 15171
"score": 61.24
"status": "auto_verified"
"imageLabel": "Book"
"imageLabelId": 67
"[2]": {5 keys}
"count": 1129
"score": 56.08
"status": "auto_verified"
"imageLabel": "Document"
"imageLabelId": 253
"imageDerivatives": [6 items]
"[0]": {4 keys}
"url": "https://browser.mona.net.au/records/images/large/41682/4a709785f3dccc006595462cdb0e93d165aadfe5.jpg"
"width": "543"
"height": "800"
"identifier": "LARGE"
"[1]": {4 keys}
"url": "https://browser.mona.net.au/records/images/medium/41682/4a709785f3dccc006595462cdb0e93d165aadfe5.jpg"
"width": "271"
"height": "400"
"identifier": "MEDIUM"
"[2]": {4 keys}
"url": "https://browser.mona.net.au/records/images/nano/41682/4a709785f3dccc006595462cdb0e93d165aadfe5.jpg"
"width": "24"
"height": "35"
"identifier": "NANO"
"[3]": {4 keys}
"url": "https://browser.mona.net.au/records/images/small/41682/4a709785f3dccc006595462cdb0e93d165aadfe5.jpg"
"width": "102"
"height": "150"
"identifier": "SMALL"
"[4]": {4 keys}
"url": "https://browser.mona.net.au/records/images/tiny/41682/4a709785f3dccc006595462cdb0e93d165aadfe5.jpg"
"width": "51"
"height": "75"
"identifier": "TINY"
"[5]": {4 keys}
"url": "https://browser.mona.net.au/records/images/xlarge/41682/4a709785f3dccc006595462cdb0e93d165aadfe5.jpg"
"width": "814"
"height": "1200"
"identifier": "XLARGE"
"totalImages": 1
"objectSearchScore": 0.3118719
"opacObjectFieldSets": [40 items]
"[0]": {2 keys}
"identifier": "accession_no"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "5768"
"[1]": {2 keys}
"identifier": "name"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "The design and analysis of algorithms / Dexter Kozen"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "title"
"value": "The design and analysis of algorithms / Dexter Kozen"
"[2]": {2 keys}
"identifier": "other_name"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[3]": {2 keys}
"identifier": "artist_last_first"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Kozen, Dexter"
"[4]": {2 keys}
"identifier": "prod_pri_date"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "1991"
"opacObjectFieldAttributes": [2 items]
"[0]": {2 keys}
"key": "earliest_date"
"value": "1991-01-01Z"
"[1]": {2 keys}
"key": "latest_date"
"value": "1991-12-31Z"
"[5]": {2 keys}
"identifier": "prod_pri_date_notes"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[6]": {2 keys}
"identifier": "edition"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[7]": {2 keys}
"identifier": "brief_desc"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "This brief record was created for storage and loan purposes only."
"[8]": {2 keys}
"identifier": "measure_desc"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[9]": {2 keys}
"identifier": "credit_line"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[10]": {2 keys}
"identifier": "curr_loc_status"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "On Shelf"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "curr_loc_status:"On Shelf""
"[11]": {2 keys}
"identifier": "ob_status"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Accessioned"
"[12]": {2 keys}
"identifier": "lender"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[13]": {2 keys}
"identifier": "copyright_owner"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[14]": {2 keys}
"identifier": "copyright_type"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[15]": {2 keys}
"identifier": "copyright_start"
"opacObjectFields": [0 items]
"[16]": {2 keys}
"identifier": "copyright_expiry"
"opacObjectFields": [0 items]
"[17]": {2 keys}
"identifier": "copyright_notes"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[18]": {2 keys}
"identifier": "curr_loc"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Zone N3/Level 2 (Mezzanine)/Phrontisterion/MONA"
"[19]": {2 keys}
"identifier": "object_type"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "Books/Document genres/Information forms/Visual and Verbal Communication"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "object_type:"Books/Document genres/Information forms/Visual and Verbal Communication""
"[20]": {2 keys}
"identifier": "collection"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "Main Collection/Library"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "collection:"Main Collection/Library""
"[21]": {2 keys}
"identifier": "prod_pri_place"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "New York City/New York/United States of America"
"[22]": {2 keys}
"identifier": "prod_pri_publisher"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Springer"
"[23]": {2 keys}
"identifier": "physical_notes"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "320 pgs"
"[24]": {2 keys}
"identifier": "language"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "English"
"[25]": {2 keys}
"identifier": "isbn_issn"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "0387976876"
"[26]": {2 keys}
"identifier": "user_sym_1"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "005.1 KOZ"
"[27]": {2 keys}
"identifier": "usual_loc_being"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Zone N3/Level 2 (Mezzanine)/Phrontisterion/MONA"
"[28]": {2 keys}
"identifier": "subject_class"
"opacObjectFields": [2 items]
"[0]": {2 keys}
"value": "Algorithms/Algebra/Mathematics/Science"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_class:"Algorithms/Algebra/Mathematics/Science""
"[1]": {2 keys}
"value": "Mathematics/Science"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_class:"Mathematics/Science""
"[29]": {2 keys}
"identifier": "subject_date"
"opacObjectFields": [0 items]
"[30]": {2 keys}
"identifier": "subject_event"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[31]": {2 keys}
"identifier": "subject_period"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[32]": {2 keys}
"identifier": "subject_object"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[33]": {2 keys}
"identifier": "subject_person"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[34]": {2 keys}
"identifier": "subject_place"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[35]": {2 keys}
"identifier": "assoc_person"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[36]": {2 keys}
"identifier": "assoc_place"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[37]": {2 keys}
"identifier": "assoc_event"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[38]": {2 keys}
"identifier": "assoc_object"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[39]": {2 keys}
"identifier": "user_sym_9"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"relationshipsCollection": {2 keys}
"relationships": [1 items]
"[0]": {4 keys}
"relatedRecords": [1 items]
"[0]": {3 keys}
"slug": "dexter-kozen"
"title": "Dexter Kozen"
"relatedRecordId": "12171"
"relationshipId": "object_prod_pri_person"
"relatedRecordType": "person"
"totalRelatedRecords": 1
"totalRelationships": 1
Topics and Themes