Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Cancel

Filters

  • Art
    • All Art
    • Antiques & Collectibles
      • All Antiques & Collectibles
      • Sports
      • Furniture
      • Toys
      • Jewelry
      • Art
      • Stamps
      • General Antiques & Collectibles
      • Transportation
      • Records
      • Coins
      • Textiles & Costume
      • Glass & Ceramics
    • Architecture
      • All Architecture
      • Landscape Architecture
      • General Architecture
      • Regional Architecture
      • Architecture History
      • Architects
    • Art Criticism & Theory
    • Art General
      • All Art General
      • General Art
      • Body Art & Tattooing
      • Performance Art
      • Film & Video Art
      • Sculpture & Installation
      • Graffiti & Street Art
      • Ceramics
      • Art & Popular Culture
      • Folk & Outsider Art
      • Individual Artists
      • Conceptual Art
      • Printmaking
    • Art History
    • Art Instruction
      • All Art Instruction
      • Business of Art
      • Drawing Instruction
      • Printmaking
      • Color
      • General Art Instruction
      • Sculpting
      • Conservation & Preservation
      • Painting Instruction
    • Design
      • All Design
      • Fashion & Accessories
      • Graphic Design
      • Interior Design
      • Furniture Design
      • Illustration
      • Typography & Calligraphy
      • General Design
      • Industrial Design
    • Photography
      • All Photography
      • Photography Anthologies
      • Photography Instruction
      • General Photography
      • Photographers
      • Photography History & Criticism
    • Regional Art
      • All Regional Art
      • American Art - General
      • Indian & South Asian Art
      • Australian & Oceanian Art
      • Middle Eastern Art
      • American Art - African American & Black
      • Chinese Art
      • American Art - Hispanic & Latino
      • Indigenous Art of the Americas
      • Canadian Art
      • Russian & Former Soviet Union Art
      • American Art - Asian-American
      • European Art
      • Asian Art
      • Japanese Art
      • African Art
      • Caribbean, Latin American & South American Art
  • Biography & Autobiography
    • All Biography & Autobiography
    • Adventurers & Explorers
    • Artists
    • Aviation & Nautical
    • Business Biographies
    • Culinary Biographies
    • Entertainment & Performing Arts
    • Fashion Biographies
    • Biographies General
    • Historical Figures
    • Literary Figures
    • Military Biographies
    • Musicians
    • Political Biographies
    • Presidents & Heads of State
    • Religious Biographies
    • Athletes
  • Business & Economics
    • All Business & Economics
    • Accounting
    • Business General
    • Careers
    • Economics
    • Investing & Finance
    • Labor
    • Management
    • Marketing
    • Personal Finance
    • Real Estate
  • Crafts & Hobbies
    • All Crafts & Hobbies
    • Holiday & Seasonal Crafts
    • Jewelry
    • Metal Work
    • Crafts General
    • Papercrafts
      • All Papercrafts
      • Origami
      • Book Making
      • Printmaking & Stamping
      • General Papercrafts
      • Scrapbooking
    • Pottery & Ceramics
    • Textiles & Needlework
      • All Textiles & Needlework
      • Knitting
      • Rugs
      • Crocheting
      • Weaving & Spinning
      • General Needlework
      • Baskets
      • Sewing
      • Dye
      • Quilting
      • Beading
      • Textiles
    • Toys & Models
    • Woodworking
      • All Woodworking
      • Carving
      • Furniture & Cabinetry
      • General Wookworking
  • Food & Cooking
    • All Food & Cooking
    • Cooking with Appliances
    • Baking
    • Beverages
      • All Beverages
      • Juices & Smoothies
      • Wine
      • Coffee & Tea
      • Liquor
      • General Beverages
      • Non-Alcoholic
      • Beer
    • Canning & Preserving
    • Children's Cooking
      • All Children's Cooking
      • Cooking for Children
      • Cooking with Children
      • Baby Food
    • Desserts
    • Dieting
    • Entertaining
    • Food Writing
    • Cookbooks General
    • Grilling
    • Holiday Cooking
    • Quick & Easy Cooking
    • Regional Cooking
      • All Regional Cooking
      • Mexican Cooking
      • Southeast Asian Cooking
      • African Cooking
      • English
      • Italian Cooking
      • Polish Cooking
      • Turkish Cooking
      • Australian & Oceanian Cooking
      • German Cooking
      • Korean Cooking
      • Scandinavian Cooking
      • Central American & South American Cooking
      • Indian & South Asian Cooking
      • Middle Eastern Cooking
      • Spanish Cooking
      • American Cooking
      • French Cooking
      • Japanese Cooking
      • Portugese Cooking
      • Vietnamese Cooking
      • Cajun & Creole Cooking
      • Greek Cooking
      • Mediterranean Cooking
      • Soul Food
      • Chinese Cooking
      • Indigenous Food of the Americas
      • Irish Cooking
      • Midwest Cooking
      • Thai Cooking
      • Asian Cooking General
      • General Regional Cooking
      • Jewish & Kosher Cooking
      • Russian Cooking
      • Caribbean & West Indian Cooking
      • Hungarian Cooking
    • Special Diets
      • All Special Diets
      • Gluten-Free
      • Low Cholesterol
      • Diabetic & Sugar Free
      • Raw Food
      • Heart Healthy
      • Low Fat
      • General Special Diets
      • Low Carbohydrate
      • Allergies
      • Low Salt
    • Specific Dishes
      • All Specific Dishes
      • Pizza
      • Sauces & Dressings
      • Salads
      • Soups & Stews
      • Appetizers
      • Sandwiches
    • Specific Ingredients
      • All Specific Ingredients
      • Grains & Pasta
      • Dairy
      • Herbs, Spices, Oils, Peppers, Nuts
      • Fruits & Vegetables
      • Meat & Seafood
      • Chocolate
    • Vegetarian & Vegan
      • All Vegetarian & Vegan
      • Vegan
      • Vegetarian
  • Games & Activities
    • All Games & Activities
    • Card & Board Games
      • All Card & Board Games
      • General Board Games
      • Bridge
      • General Card Games
      • Chess
      • Backgammon
    • Coloring & Activity Books
    • Fantasy Sports
    • Gambling
      • All Gambling
      • Poker
      • Blackjack
      • Racing
      • General Gambling
    • Games & Activities General
    • Magic
    • Puzzles & Activities
      • All Puzzles & Activities
      • Logic & Brain Teasers
      • Word Search
      • Puzzles
      • Crosswords
      • Sudoku
    • Role Playing Games
  • Gifts & Stationery
    • All Gifts & Stationery
    • Apparel
    • Gifts & Stationery General
    • Journals & Sketchbooks
    • Notecards
    • Jigsaw Puzzles
    • Toys
  • Graphic Novels
    • All Graphic Novels
    • Comics
    • Graphic Novels
      • All Graphic Novels
      • Superheroes
      • General Graphic Novels
    • Manga
      • All Manga
      • Isekai
      • Erotica & Hentai
      • Yaoi
      • General Manga
      • Yuri
  • Health & Fitness
    • All Health & Fitness
    • Aging & Elder Care
    • Alternative Health
      • All Alternative Health
      • Bodywork
      • Energy Healing
      • Plant Based Remedies
      • Cannabis & CBD
      • General Alternative Health
      • Acupressure & Acupuncture
      • Tai Chi
      • Crystals
      • Meditation
    • Beauty
    • Diet & Nutrition
    • Fitness
      • All Fitness
      • Yoga
      • Cycling
      • Pilates
      • General Fitness
      • Running & Jogging
      • Bodybuilding & Weight Training
      • Martial Arts
    • Health General
    • Medical Reference
    • Men's Health
    • Psychology
      • All Psychology
      • Death & Dying
      • Mental Health
      • Child Psychology
      • Sexuality
      • Dreams
      • Abuse
      • Relationships
      • Cognition
      • General Psychology
      • Addiction & Recovery
      • Self-Help
    • Public Health
    • Specific Conditions
      • All Specific Conditions
      • Gastrointestinal Health
      • Sleep Disorders
      • Allergies
      • Autism Spectrum Disorders
      • Heart Conditions
      • Chronic Fatigue Syndrome
      • Respiratory Conditions
      • Genetic Conditions
      • STDs
      • Alzheimer's & Dementia
      • Autoimmune Disorders
      • HIV & AIDS
      • Diabetes
      • Skin Diseases
      • Attention Deficit Disorder (ADD-ADHD)
      • Hearing & Speech
      • Cancer
      • Pain Management
    • Women's Health
  • History
    • All History
    • African History
    • Ancient History
      • All Ancient History
      • Ancient History General
      • Ancient Egypt
      • Ancient Rome
      • Ancient Greece
    • Arctic History
    • Asian History
      • All Asian History
      • Chinese History
      • Korean History
      • General Asian History
      • Indian & South Asian History
      • Southeast Asian History
      • Central Asian History
      • Japanese History
    • Australia & Oceania
    • Black American History
    • Canadian History
    • Caribbean History
    • European History
      • All European History
      • General European History
      • Russian History
      • Greek History
      • Eastern European History
      • Italian History
      • German History
      • Scandinavian History
      • Holocaust
      • Austrian & Hungarian History
      • French History
      • Polish History
      • British History
      • Spainish & Portuguese History
      • Irish History
      • Baltic History
    • Latin American History
      • All Latin American History
      • Mexican History
      • Central American History
      • South American History
      • General Latin American History
    • Medieval & Renaissance History
    • Middle Eastern History
      • All Middle Eastern History
      • Turkey & Ottoman Empire History
      • Arabian Peninsula
      • Iraq History
      • General Middle Eastern History
      • Israel & Palestine History
      • Iran History
    • Military History
      • All Military History
      • Napoleonic Wars
      • World War I
      • Armed Forces
      • Persian Gulf War (1991)
      • Korean War
      • Weaponry & Vehicles
      • Afghan War (2001-2021)
      • Naval History
      • World War II
      • General Military History
      • Vietnam War
      • Military Strategy
      • Weapons of Mass Destruction
      • Air Combat
      • Other Wars
      • Iraq War (2003-2011)
      • War of 1812
    • Native American History
    • United States History
      • All United States History
      • General United States History
      • Revolutionary Period (1775-1800)
      • Regional: New England
      • 19th Century United States History
      • Civil War Period (1850-1877)
      • Regional: Southwest
      • Regional: Middle Atlantic
      • Regional: Pacific Northwest
      • 20th Century United States History
      • Colonial Period (1600-1775)
      • Regional: West
      • Regional: Midwest
      • Regional: South
      • 21st Century United States History
    • World History
      • All World History
      • Historiography
      • Exploration
      • General World History
  • House & Home
    • All House & Home
    • Construction & Renovation
      • All Construction & Renovation
      • Outdoors
      • Tools & Workshop
      • General Construction & Renovation
      • Plumbing
      • Carpentry
      • Masonry
      • Security
      • Electrical
    • Household Hints
      • All Household Hints
      • Feng Shui
      • Cleaning
      • Sustainable Living
      • Decorating
  • Juvenile
    • All Juvenile
    • Activity & Coloring Books
    • Juvenile Graphic Novels
    • Juvenile Fiction
      • All Juvenile Fiction
      • Early Readers
      • Mathematics
      • Art
      • General Juvenile Fiction
      • Religion
      • Horror
      • Chapter Books
      • Sports & Recreation
      • Fairy Tales & Folklore
      • Performing Arts
      • Bedtime & Dreams
      • History
      • Science & Nature
      • Concepts
      • Transportation
      • Animals
      • Family
      • Poetry
      • Biography
      • Holiday
      • Science Fiction
    • Juvenile Nonfiction
      • All Juvenile Nonfiction
      • Animals
      • History
      • Sports & Recreation
      • Concepts
      • Math & Computers
      • Games
      • Science & Nature
      • Art & Architecture
      • Holiday
      • Transportation
      • Crafts & Activities
      • Performing Arts
      • General Juvenile Nonfiction
      • Self Help
      • Biography
      • Languages
      • Education
      • Religion
  • Languages
    • All Languages
    • African Languages
      • All African Languages
      • Swahili
      • Other African Languages
    • Arabic
    • Celtic Languages
    • Chinese
    • Czech
    • Danish
    • Dutch
    • English as a Second Language
    • Foreign Language General
    • French
    • German
    • Greek (Modern)
    • Hebrew
    • Hindi
    • Hungarian
    • Indic Languages
    • Indigenous Languages of the Americas
    • Italian
    • Japanese
    • Korean
    • Latin
    • Miscellaneous Languages
    • Old & Middle English
    • Persian
    • Polish
    • Portuguese
    • Russian
    • Scandinavian Languages
      • All Scandinavian Languages
      • Norwegian
      • Finnish
      • Swedish
      • General Scandinavian Languages
    • Sign Language
    • Slavic Languages
      • All Slavic Languages
      • Other Slavic Languages
      • Serbian & Croatian
    • Spanish
    • Turkish & Turkic Languages
    • Vietnamese
    • Yiddish
  • Literature
    • All Literature
    • Erotica
    • Fantasy
    • Fiction General
      • All Fiction General
      • Fiction Anthologies
      • Historical Fiction
      • Classic Fiction
      • Literary Fiction
      • General Fiction
    • GLBTQIA Fiction
      • All GLBTQIA Fiction
      • GLBTQIA Erotica
      • General GLBTQIA Fiction
    • Horror
    • Humor
    • Letters & Essays
    • Literary Criticism
    • Mystery & Thriller
    • Poetry
      • All Poetry
      • Poetry Criticism
      • General Poetry
      • Poetry Anthologies
    • Romance
    • Science Fiction
    • Westerns
  • Metaphysical
    • All Metaphysical
    • Astrology
    • Divination
      • All Divination
      • I Ching
      • Tarot
      • Fortune Telling
      • Numerology
      • General Divination
      • Palmistry
    • Metaphysical General
    • Occult
    • Paranormal
    • Parapsychology
    • Secret Societies
    • Speculation
    • UFOs & Extraterrestrials
  • Parenting & Education
    • All Parenting & Education
    • Education
      • All Education
      • General Education
      • Test Prep
      • Bilingual Education
      • Special Education
      • College Guides
      • Teaching Instruction
    • Parenting
      • All Parenting
      • Pregnancy & Adoption
      • Baby Care
      • General Parenting
  • Performing Arts
    • All Performing Arts
    • Acting & Performing
      • All Acting & Performing
      • Improvisation
      • Monologues & Scenes
      • Acting & Auditioning
      • Storytelling
    • Dance
    • Drama
      • All Drama
      • Plays
      • Technical Theater
      • Theater History
      • Playwriting
      • Broadway & Musicals
      • Play Anthologies
      • Shakespeare
      • General Drama
    • Film
      • All Film
      • Screenplays
      • Filmmaking
      • Screenwriting
      • Directors
      • Film Guides & Reference
      • Film Studies
    • Music
      • All Music
      • Electronic
      • Pop/Rock
      • Blues & Soul
      • Hip Hop
      • World Music
      • Country & Folk
      • Music Business
      • General Music
      • Punk
      • Christian Music
      • Jazz
      • Dance
      • Opera
      • Big Band & Swing
      • Gospel
      • Music Reference
      • Classical Music
      • Metal
    • Music Instruction
      • All Music Instruction
      • Music Instruction: Guitar
      • Music Recording & Reproduction
      • Music Theory
      • Conducting
      • Music Instruction: Percussion
      • Songwriting
      • Music Instruction: Brass
      • Music Instruction: General
      • Music Instruction: Wodwinds
      • Music Instruction: Piano
      • Music Instruction: Strings
      • Music Composition
    • Music Songbooks
      • All Music Songbooks
      • General Songbooks
      • Music Scores
      • Guitar Songbooks
      • Piano Songbooks
    • Radio
    • Television
  • Philosophy
  • Reference
    • All Reference
    • Atlases
    • Business of Writing
    • Consumer Reference
    • Dictionaries & Encyclopedias
    • Etiquette
    • Etymology
    • Genealogy & Heraldry
    • General Reference
    • Grammar & Style
    • Lexicography
    • Linguistics
    • Public Speaking & Speech Writing
    • Quotations
    • Symbolism
    • Thesauri
    • Weddings
    • Writing Instruction
  • Religion
    • All Religion
    • Atheism & Agnosticism
    • Bibles
      • All Bibles
      • NCV
      • Bible Studies
      • NKJV
      • CSB
      • Other Bible Translations
      • NAB
      • NIRV
      • CEV
      • NLV
      • ESV
      • NASB
      • NIV
      • Children's Bibles
      • NRSV
      • KJV
    • Christianity
      • All Christianity
      • Catholicism
      • General Christianity
      • Christian Fiction
      • Prayerbooks
      • Catechisms
      • Christian Living
    • Comparative Religion
    • Eastern Religions
      • All Eastern Religions
      • General Eastern Religions
      • Shintoism
      • Buddhism
      • Hinduism
      • Sikhism
      • Confucianism
      • Jainism
      • Taoism
    • Religion General
      • All Religion General
      • General Religion
    • Gnosticism
    • Indigenous Religions
    • Islam
    • Judaism
  • Science & Nature
    • All Science & Nature
    • Animals
      • All Animals
      • Primates
      • Insects & Spiders
      • Birds
      • Pets: Birds
      • General Animals
      • Pets: Fish
      • Reptiles & Amphibains
      • Marine Life
      • Birdwatching
      • Pets: Cats
      • Horses
      • Pets: General
      • Zoology
      • Other Animals
      • Dinosaurs
      • Pets: Dogs
    • Computers
      • All Computers
      • General Computers
      • Programming
      • Applications
      • Networking
      • Computer Security
      • Databases
      • Operating Systems
      • System Administration
    • Gardening
      • All Gardening
      • Edible Plants
      • Marijuana Cultivation
      • General Gardening
      • Picture Gardens
      • Botany & Horticulture
      • Landscaping
      • Flowers
      • Midwest Gardening
      • Indoor Gardening
      • Water Gardens
      • Container Gardening
      • Lawns, Trees, & Shrubs
      • Garden Writing
      • Organic Gardening
      • Japanese Gardens
    • Mathematics
      • All Mathematics
      • Geometry
      • Probability & Statistics
      • Calculus
      • Logic
      • Trigonometry
      • General Mathematics
      • Pre-Calculus
      • Algebra
    • Nature
      • All Nature
      • Nature Writing
      • Environmental Studies
      • Weather
      • General Nature
      • Agriculture
    • Science
      • All Science
      • General Science
      • Geology
      • Astronomy & Space
      • Chemistry
      • Physics
      • Genetics
      • Biology
      • History & Philosophy of Science
      • Evolution
      • Geography
      • Anatomy & Physiology
      • Cartography
      • Paleontology
    • Technology & Engineering
  • Social Sciences
    • All Social Sciences
    • Anthropology
    • Archaeology
    • Gender Studies
      • All Gender Studies
      • GLBTQIA Studies
      • Men's Studies
      • General Gender Studies
      • Women's Studies
    • Law
      • All Law
      • True Crime
      • Criminology
      • General Law
    • Mythology & Folklore
    • Political Science
      • All Political Science
      • International Relations
      • Social Movements
      • General Political Science
      • United States Politics
    • Racism & Ethnic Studies
      • All Racism & Ethnic Studies
      • General Racism & Ethnic Studies
      • Asian American Studies
      • Indigenous Studies
      • Black American Studies
      • Latino Studies
    • Sociology
      • All Sociology
      • General Sociology
      • Immigration & Refugees
      • Poverty & Social Work
  • Sports & Recreation
    • All Sports & Recreation
    • Archery
    • Baseball & Softball
    • Basketball
    • Billiards
    • Bowling
    • Boxing
    • Camping
    • Fishing
    • Football
    • Sports General
    • Golf
    • Gymnastics
    • Hiking & Climbing
    • Hunting
    • Motor Sports
    • Olympics & Paralympics
    • Racket Sports
    • Rock Climbing
    • Skateboarding
    • Soccer
    • Tennis
    • Track & Field
    • Volleyball
    • Water Sports
      • All Water Sports
      • Rowing
      • Swimming & Diving
      • Canoeing & Kayaking
      • Scuba & Snorkeling
      • General Water Sports
      • Surfing
      • Boating
    • Winter Sports
      • All Winter Sports
      • Skiing
      • Hockey
      • Snowboarding
      • Curling
      • Ice Skating
      • General Winter Sports
    • Wrestling
  • Transportation
    • All Transportation
    • Auto Repair
    • Automobiles
    • Aviation
    • Aviation Instruction
    • Boating
    • Transportation General
    • Motorcycles
    • Trains
  • Travel
    • All Travel
    • Africa
    • Asia
      • All Asia
      • Korea
      • India & South Asia
      • Southeast Asia
      • China
      • Japan
      • General Asia
    • Australia & Oceania
    • Canada
    • Caribbean & West Indies
    • Europe
      • All Europe
      • General Europe
      • Spain & Portugal
      • Greece
      • Eastern Europe
      • Italy
      • Germany
      • Switzerland
      • Iceland & Greenland
      • France
      • Scandinavia
      • Great Britain
      • Austria
      • Ireland
    • Travel General
    • Latin America
      • All Latin America
      • Central America
      • Mexico
      • South America
    • Middle East
      • All Middle East
      • Israel
      • Egypt
      • Turkey
      • General Middle East
    • Travel Writing
    • United States
      • All United States
      • General United States
      • South
      • Midwest
      • West
      • Northeast
  • Young Adult
    • All Young Adult
    • Young Adult Graphic Novels
    • Young Adult Fiction
    • Young Adult Nonfiction

Results

Filters
Sort by
Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas

Farmer, William M.

Hardcover

$125.99
{"Id":27588039,"Title":"Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas","Authors":["Farmer, William M."],"ShortTitle":"Simple Type Theory: A Practical Logic for Expressing and Reasoning about\u2026","Author":"Farmer, William M.","Ean":"9783031853517","Isbn":"3031853512","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4819752],"CategoryIds":[151,877,898],"FormatId":1,"FamilyId":13546202,"SeriesId":935109,"LanguageId":56,"PriceMin":125.99,"PriceMax":125.99,"Desirability":2,"PublicationDate":"2025-04-24T00:00:00","Join":null}
See More
Structural Decision Diagrams in Digital Test: Theory and Applications

Raik, Jaan

Ubar, Raimund

Jenihhin, Maksim

Hardcover

$249.99
{"Id":25701380,"Title":"Structural Decision Diagrams in Digital Test: Theory and Applications","Authors":["Raik, Jaan","Ubar, Raimund","Jenihhin, Maksim"],"ShortTitle":"Structural Decision Diagrams in Digital Test: Theory and Applications","Author":"Raik, Jaan","Ean":"9783031447334","Isbn":"3031447336","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4811609,10521631,10522365],"CategoryIds":[617,877,1125],"FormatId":1,"FamilyId":null,"SeriesId":935109,"LanguageId":56,"PriceMin":249.99,"PriceMax":249.99,"Desirability":1,"PublicationDate":"2024-01-30T00:00:00","Join":null}
See More
Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas

Farmer, William M.

Paperback

$104.99
{"Id":26224480,"Title":"Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas","Authors":["Farmer, William M."],"ShortTitle":"Simple Type Theory: A Practical Logic for Expressing and Reasoning about\u2026","Author":"Farmer, William M.","Ean":"9783031211140","Isbn":"3031211146","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4819752],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":10870766,"SeriesId":935109,"LanguageId":56,"PriceMin":104.99,"PriceMax":104.99,"Desirability":1,"PublicationDate":"2024-01-03T00:00:00","Join":null}
See More
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Kosmatov, Nikolai

Prevosto, Virgile

Signoles, Julien

Hardcover

$111.99
{"Id":26396537,"Title":"Guide to Software Verification with Frama-C: Core Components, Usages, and Applications","Authors":["Kosmatov, Nikolai","Prevosto, Virgile","Signoles, Julien"],"ShortTitle":"Guide to Software Verification with Frama-C: Core Components, Usages, and\u2026","Author":"Kosmatov, Nikolai","Ean":"9783031556074","Isbn":"3031556070","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4728874,10380036,10888322],"CategoryIds":[877,898,1125],"FormatId":1,"FamilyId":null,"SeriesId":935109,"LanguageId":56,"PriceMin":111.99,"PriceMax":111.99,"Desirability":1,"PublicationDate":"2024-07-10T00:00:00","Join":null}
See More
First-Order Schemata and Inductive Proof Analysis

Cerna, David Michael

Lolic, Anela

Leitsch, Alexander

Hardcover

$251.99
{"Id":28338812,"Title":"First-Order Schemata and Inductive Proof Analysis","Authors":["Cerna, David Michael","Lolic, Anela","Leitsch, Alexander"],"ShortTitle":"First-Order Schemata and Inductive Proof Analysis","Author":"Cerna, David Michael","Ean":"9783032057402","Isbn":"303205740X","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11913520,11913342,12210444],"CategoryIds":[151,877,962],"FormatId":1,"FamilyId":null,"SeriesId":935109,"LanguageId":56,"PriceMin":251.99,"PriceMax":251.99,"Desirability":1,"PublicationDate":"2026-01-03T00:00:00","Join":null}
See More
Algorithms for Constructing Computably Enumerable Sets

Supowit, Kenneth J.

Hardcover

$64.99
{"Id":24921411,"Title":"Algorithms for Constructing Computably Enumerable Sets","Authors":["Supowit, Kenneth J."],"ShortTitle":"Algorithms for Constructing Computably Enumerable Sets","Author":"Supowit, Kenneth J.","Ean":"9783031269035","Isbn":"3031269039","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10027685],"CategoryIds":[151,877],"FormatId":1,"FamilyId":11155422,"SeriesId":935109,"LanguageId":56,"PriceMin":64.99,"PriceMax":64.99,"Desirability":0,"PublicationDate":"2023-05-24T00:00:00","Join":null}
See More
Category Theory Using Haskell: An Introduction with Moggi and Yoneda

Yukita, Shuichi

Hardcover

$307.99
{"Id":26921786,"Title":"Category Theory Using Haskell: An Introduction with Moggi and Yoneda","Authors":["Yukita, Shuichi"],"ShortTitle":"Category Theory Using Haskell: An Introduction with Moggi and Yoneda","Author":"Yukita, Shuichi","Ean":"9783031685378","Isbn":"3031685377","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11241511],"CategoryIds":[686,877,1125],"FormatId":1,"FamilyId":null,"SeriesId":935109,"LanguageId":56,"PriceMin":307.99,"PriceMax":307.99,"Desirability":0,"PublicationDate":"2024-12-07T00:00:00","Join":null}
See More
Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms

Stoelinga, Mariëlle

Ruijters, Enno

Krčál, Pavel

Hardcover

$97.99
{"Id":27218436,"Title":"Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms","Authors":["Stoelinga, Mari\u00EBlle","Ruijters, Enno","Kr\u0026#269;\u00E1l, Pavel"],"ShortTitle":"Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms","Author":"Stoelinga, Mari\u00EBlle","Ean":"9783031782862","Isbn":"3031782860","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4730321,11394558,11394564],"CategoryIds":[617,898,1125],"FormatId":1,"FamilyId":null,"SeriesId":935109,"LanguageId":56,"PriceMin":97.99,"PriceMax":97.99,"Desirability":0,"PublicationDate":"2026-01-03T00:00:00","Join":null}
See More
Proof Assistants and Their Applications in Mathematics and Computer Science

Blanchette, Jasmin

Mahboubi, Assia

Hardcover

$118.99
{"Id":27635607,"Title":"Proof Assistants and Their Applications in Mathematics and Computer Science","Authors":["Blanchette, Jasmin","Mahboubi, Assia"],"ShortTitle":"Proof Assistants and Their Applications in Mathematics and Computer Science","Author":"Blanchette, Jasmin","Ean":"9783031851896","Isbn":"3031851897","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[615718,4817200],"CategoryIds":[151,877,898],"FormatId":1,"FamilyId":null,"SeriesId":935109,"LanguageId":56,"PriceMin":118.99,"PriceMax":118.99,"Desirability":0,"PublicationDate":"2027-01-09T00:00:00","Join":null}
See More
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem

Demri, Stéphane

Hardcover

$76.99
{"Id":28666979,"Title":"Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem","Authors":["Demri, St\u00E9phane"],"ShortTitle":"Concise Introduction to Alternating-Time Temporal Logics: A Guide for\u2026","Author":"Demri, St\u00E9phane","Ean":"9783032118844","Isbn":"3032118840","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2100972],"CategoryIds":[877],"FormatId":1,"FamilyId":null,"SeriesId":935109,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":0,"PublicationDate":"2026-04-28T00:00:00","Join":null}
See More
Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas

Farmer, William M.

Paperback

$90.99
{"Id":29727430,"Title":"Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas","Authors":["Farmer, William M."],"ShortTitle":"Simple Type Theory: A Practical Logic for Expressing and Reasoning about\u2026","Author":"Farmer, William M.","Ean":"9783031853548","Isbn":"3031853547","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4819752],"CategoryIds":[151,877,898],"FormatId":2,"FamilyId":13546202,"SeriesId":935109,"LanguageId":56,"PriceMin":90.99,"PriceMax":90.99,"Desirability":0,"PublicationDate":"2026-04-24T00:00:00","Join":null}
See More