Search Results: 'ACL'

Search

×
×
×
×
43 results for "ACL"
ACL Magazine (printed) By ACL Press
Paperback: $14.40
Prints in 3-5 business days
This is preliminary version of ACL Magazine.
ACL Magazine preliminary By ACL Press
eBook (ePub): $0.00
Aoyama Community Lab Magazine
ACL - from Diagnosis to Therapy By lex hooi
eBook (PDF): $5.00
Plagued with knee problems? You may have an anterior cruciate ligament tear (ACL). Unsure whether to have surgery? Find out all the facts and 1st hand experience from diagnosis to therapy from a... More > fellow sportsman who went through it all.< Less
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications By Panagiotis Manolios & Matthew Wilding
Paperback: $11.70
Prints in 3-5 business days
These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and... More > discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia.< Less
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications By Panagiotis Manolios & Matthew Wilding
eBook (PDF): $2.50
These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and... More > discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia.< Less
Computer-Aided Reasoning: ACL2 Case Studies By Matt Kaufmann et al.
Paperback: $22.39
Prints in 3-5 business days
(1 Ratings)
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software... More > systems. Included here are technical papers written by twenty-one contributors that report on self-contained and fully reproducible case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of areas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. The case studies also contain exercises whose solutions are on the Web. In addition, the complete proof scripts necessary to formalize the models and prove all the properties discussed are on the Web.< Less
Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications By Ruben Gamboa & Jared Davis
Paperback: $11.30
Prints in 3-5 business days
ACL2 2013 is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 2013 is the eleventh in the... More > series of ACL2 workshops, which occur approximately every 18 months. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work in ACL2 and the other theorem provers in the Boyer-Moore family.< Less
Dr Howard Marans MD: Where Is The Best Doctor For ACL Treatment In Huntington Beach? By Anne Mathers
eBook (PDF): $8.99
Supporting and maintaining the knee joint is the function of numerous tendons and ligaments. The anterior cruciate ligament is one of the major components in the knee providing a connection of the... More > femur to the tibia. A tear or other injury to the ACL may happen to anyone regardless of age. Sports participants often obtain the injury more frequently. Finding the best doctor for ACL treatment Huntington Beach will depend on the degree of injury and other contributing factors.< Less
Pharmacy Reference Guide By Kevin McDermott
Paperback: $10.00
Prints in 3-5 business days
A quick reference guide to help with drug selection, monitoring, and dosing. Topics include ACLS, anaphylaxis, ICU drips, rapid intubation, seizure, asthma, anticoagulation, pain management,... More > nutrition, and bacterial taxonomy. This revision reflects guideline changes to hypo/hypernatremia calculations, dosing of RSI meds in both peds and adults.< Less
The Complete Study Guide To Learning The Electrocardiogram By Douglas Martin MSN RN
eBook (PDF): $5.00
(1 Ratings)
Written by healthcare professionals in an easy to read and understand format. The guide will teach you the basics of cardiac A&P, EKG paper measurements, waveform components, and how it applies... More > to the electrocardiogram. Further, this guide covers EKG rhythms from normal sinus rhythm to lethal cardiac arrhythmias. To test your knowledge and aid you in real life interpretation of EKG rhythms a workbook and answer key is also provided. The workbook contains over 50 major EKG rhythms and arrhythmias along with a helpful answer key, so you can check your work. Also provided is a handy pocket guide that contains all EKG rhythms at a glance along with normal and abnormal EKG rhythm measurements.< Less

Top 10

see more >
 
 
 
 
 
3
API Security API Security By Lee Brandt et al.
Paperback: $19.00
 
 
4
 
 
 
 
 
 
 
 
 
 
10
BREATHE BREATHE By Sharon Boney Burge
Paperback: $31.48