27 products
Sort by
Sort by
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 2023, 2002. Procee,Used Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 2023, 2002. Procee,Used
Add to wishlist
Quick view
Add to compare
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs...
awidespectrumofareasintheoreticalcomputerscience,formalmethods,and softwareengineering. ThevenueoftheTPHOLsconferencetraditionallychangescontinenteach yearinordertomaximizethelikelihoodthatresearchersfromallovertheworld willattend. Startingin1993,theproceedingsofTPHOLsanditspredecessor workshopshavebeenpublishedinthefollowingvolumesoftheSpringerVerlag LectureNotesinComputerScienceseries: 1993(Canada) 780 1998(Australia)1479 1994(Malta) 859 1999(France) 1690 1995(USA) 971 2000(USA) 1869 1996(Finland)1125 2001(UK) 2152 1997(USA) 1275 VI...
Sale price$54.06 Regular price$77.23
Quantity
Add to cart
Using R for Numerical Analysis in Science and Engineering (Chapman & Hall/CRC The R Series),New Using R for Numerical Analysis in Science and Engineering (Chapman & Hall/CRC The R Series),New
Add to wishlist
Quick view
Add to compare
Using R for Numerical Analysis in Science and Engineering (Chapman...
Instead of presenting the standard theoretical treatments that underlie the various numerical methods used by scientists and engineers, Using R for Numerical Analysis in Science...
Sale price$127.85 Regular price$182.64
Quantity
Add to cart
Using R for Numerical Analysis in Science and Engineering (Chapman & Hall/CRC The R Series),Used Using R for Numerical Analysis in Science and Engineering (Chapman & Hall/CRC The R Series),Used
Add to wishlist
Quick view
Add to compare
Using R for Numerical Analysis in Science and Engineering (Chapman...
Instead of presenting the standard theoretical treatments that underlie the various numerical methods used by scientists and engineers, Using R for Numerical Analysis in Science...
Sale price$45.73 Regular price$65.33
Quantity
Add to cart
Sold out
Water in Central Asia: Past, Present, Future,Used Water in Central Asia: Past, Present, Future,Used
Add to wishlist
Quick view
Add to compare
Water in Central Asia: Past, Present, Future,Used
Central Asia is the cluster of countries located in the basin of the "Great Aral Sea". It originates from the ancient civilizations of the IVIII...
Sale price$116.65 Regular price$166.64
Quantity
Add to cart
Without Sympathy Or Enthusiasm: The Problem Of Administrative Compassion,Used Without Sympathy Or Enthusiasm: The Problem Of Administrative Compassion,Used
Add to wishlist
Quick view
Add to compare
Without Sympathy Or Enthusiasm: The Problem Of Administrative Compassion,Used
This classic study brings to bear the findings and principles of political science, sociology, psychology, and economics on various proposals for the solution of ills...
Sale price$19.42 Regular price$27.74
Quantity
Add to cart
Writing 'Huck Finn': Mark Twain'S Creative Process,New Writing 'Huck Finn': Mark Twain'S Creative Process,New
Add to wishlist
Quick view
Add to compare
Writing 'Huck Finn': Mark Twain'S Creative Process,New
Victor Doyno offers a new, accessible, and innovative approach to America's favorite novel. Doyno presents new material from the revised manuscript of Huckleberry Finn and...
Sale price$41.03 Regular price$58.61
Quantity
Add to cart
XRay Diffraction by Disordered Lamellar Structures: Theory and Applications to Microdivided Silicates and Carbons,Used XRay Diffraction by Disordered Lamellar Structures: Theory and Applications to Microdivided Silicates and Carbons,Used
Add to wishlist
Quick view
Add to compare
XRay Diffraction by Disordered Lamellar Structures: Theory and Applications to...
New methods for the determination of the nature, proportion, and distribution of structural defects in microcrystallized lamellar systems are of utmost importance not only to...
Sale price$117.68 Regular price$168.11
Quantity
Add to cart

Recently viewed products