کتاب های S. Moore (auth.)
![10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings](http://cdn.ketabkoo.com/covers/0/62285-n.jpg)
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990![A Computational Logic](http://cdn.ketabkoo.com/covers/0/62286-n.jpg)
A Computational Logic
Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.), 1979![Computer-Aided Reasoning: An Approach](http://cdn.ketabkoo.com/covers/0/62289-n.jpg)
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000![Computer-Aided Reasoning: An Approach](http://cdn.ketabkoo.com/covers/0/62290-n.jpg)
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000![Design and Verification of Microprocessor Systems for High-Assurance Applications](http://cdn.ketabkoo.com/covers/0/62291-n.jpg)
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.), 2010![Introduction to Abstract Algebra](http://cdn.ketabkoo.com/covers/0/62292-n.jpg)
Introduction to Abstract Algebra
J. Strother Moore (Auth.), 1975![Advances in Cryptology — CRYPTO’ 86: Proceedings](http://cdn.ketabkoo.com/covers/0/71592-n.jpg)
Advances in Cryptology — CRYPTO’ 86: Proceedings
E. F. Brickell, J. H. Moore, M. R. Purtill (auth.), Andrew M. Odlyzko (eds.), 1987![Advances in Computing Science — ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing 7th Asian Computing Science Conference Hanoi, Vietnam, December 4–6, 2002 Proceedings](http://cdn.ketabkoo.com/covers/0/73774-n.jpg)
Advances in Computing Science — ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing 7th Asian Computing Science Conference Hanoi, Vietnam, December 4–6, 2002 Proceedings
Alessandro Bassi, Micah Beck, Terry Moore (auth.), Alain Jean-Marie (eds.), 2002![Geospatial Vision: New Dimensions in Cartography](http://cdn.ketabkoo.com/covers/0/77444-n.jpg)
Geospatial Vision: New Dimensions in Cartography
Juliane Cron, Samuel Wiesmann, Lorenz Hurni (auth.), Antoni Moore, Igor Drecki (eds.), 2008![A Practical Guide to Sys: ML. The Systems Modeling Language](http://cdn.ketabkoo.com/covers/0/88292-n.jpg)
A Practical Guide to Sys: ML. The Systems Modeling Language
Sanford Friedenthal, Alan Moore and Rick Steiner (Auth.), 2012![A Practical Guide to SysML. The Systems Modeling Language](http://cdn.ketabkoo.com/covers/0/88294-n.jpg)
A Practical Guide to SysML. The Systems Modeling Language
Sanford Friedenthal, Alan Moore and Rick Steiner (Auth.), 2012![Disorders of Porphyrin Metabolism](http://cdn.ketabkoo.com/covers/0/89317-n.jpg)
Disorders of Porphyrin Metabolism
Michael R. Moore B.Sc., Ph.D., Kenneth E. L. McColl M.D., M.R.C.P., Claude Rimington Ph.D., D.sc., Hon. F.R.C.P., F.R.S., Sir Abraham Goldberg K.B., M.D., D.Sc., F.R.C.P., F.R.S.E. (auth.), 1987![Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings](http://cdn.ketabkoo.com/covers/0/89789-n.jpg)
Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings
Laura Cunningham, Chris Nugent, George Moore, Dewar Finlay, David Craig (auth.), Mounir Mokhtari, Ismail Khalil, Jérémy Bauchet, Daqing Zhang, Chris Nugent (eds.), 2009![Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings](http://cdn.ketabkoo.com/covers/0/89790-n.jpg)
Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings
Laura Cunningham, Chris Nugent, George Moore, Dewar Finlay, David Craig (auth.), Mounir Mokhtari, Ismail Khalil, Jérémy Bauchet, Daqing Zhang, Chris Nugent (eds.), 2009![Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings](http://cdn.ketabkoo.com/covers/0/89791-n.jpg)
Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings
Laura Cunningham, Chris Nugent, George Moore, Dewar Finlay, David Craig (auth.), Mounir Mokhtari, Ismail Khalil, Jérémy Bauchet, Daqing Zhang, Chris Nugent (eds.), 2009![Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings](http://cdn.ketabkoo.com/covers/0/91817-n.jpg)
Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings
Burcu Bakir, Osman Ugur Sezerman (auth.), Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi (eds.), 2006![White cells and platelets in blood transfusion: Proceedings of the Eleventh Annual Symposium on Blood Transfusion, Groningen 1986, organized by the Red Cross Blood Bank Groningen-Drenthe](http://cdn.ketabkoo.com/covers/0/93858-n.jpg)
White cells and platelets in blood transfusion: Proceedings of the Eleventh Annual Symposium on Blood Transfusion, Groningen 1986, organized by the Red Cross Blood Bank Groningen-Drenthe
S. B. Moore (auth.), Cees Th. Smit Sibinga MD, PhD, Prakash C. Das MD, PhD, FRCPath, C. Paul Engelfriet MD, PhD (eds.), 1987![People and Computers XVIII — Design for Life: Proceedings of HCI 2004](http://cdn.ketabkoo.com/covers/0/94035-n.jpg)
People and Computers XVIII — Design for Life: Proceedings of HCI 2004
Jennifer G Sheridan, Alan Dix, Simon Lock, Alice Bayliss (auth.), Sally Fincher BA, MA, LHG, FSEDA, Panos Markopoulos MSc, MSc, PhD, David Moore PhD, Roy Ruddle BSc, PhD, CEng, MBCS (eds.), 2005![Practical Guide to Sys: ML. The Systems Modeling Language](http://cdn.ketabkoo.com/covers/0/94036-n.jpg)
Practical Guide to Sys: ML. The Systems Modeling Language
Sanford Friedenthal, Alan Moore and Rick Steiner (Auth.), 2008![Essential Fungal Genetics](http://cdn.ketabkoo.com/covers/0/94149-n.jpg)
Essential Fungal Genetics
David Moore, LilyAnn Novak Frazer (auth.), 2004![Augmented Environments for Computer-Assisted Interventions: 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers](http://cdn.ketabkoo.com/covers/0/95781-n.jpg)
Augmented Environments for Computer-Assisted Interventions: 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers
Ping-Lin Chang, Dongbin Chen, Daniel Cohen (auth.), Cristian A. Linte, John T. Moore, Elvis C. S. Chen, David R. Holmes III (eds.), 2012![Augmented Environments for Computer-Assisted Interventions: 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers](http://cdn.ketabkoo.com/covers/0/95782-n.jpg)
Augmented Environments for Computer-Assisted Interventions: 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers
Ping-Lin Chang, Dongbin Chen, Daniel Cohen (auth.), Cristian A. Linte, John T. Moore, Elvis C. S. Chen, David R. Holmes III (eds.), 2012![Advances in Computing Science — ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing 7th Asian Computing Science Conference Hanoi, Vietnam, December 4–6, 2002 Proceedings](http://cdn.ketabkoo.com/covers/1/100781-n.jpg)
Advances in Computing Science — ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing 7th Asian Computing Science Conference Hanoi, Vietnam, December 4–6, 2002 Proceedings
Alessandro Bassi, Micah Beck, Terry Moore (auth.), Alain Jean-Marie (eds.), 2002![Anticancer Drug Discovery and Development: Natural Products and New Molecular Models: Proceedings of the Second Drug Discovery and Development Symposium Traverse City, Michigan, USA — June 27–29, 1991](http://cdn.ketabkoo.com/covers/1/103781-n.jpg)
Anticancer Drug Discovery and Development: Natural Products and New Molecular Models: Proceedings of the Second Drug Discovery and Development Symposium Traverse City, Michigan, USA — June 27–29, 1991
Fred Valeriote, Richard E. Moore (auth.), Frederick A. Valeriote, Thomas H. Corbett, Laurence H. Baker (eds.), 1994![Cochlear Hearing Loss: Physiological, Psychological and Technical Issues, Second Edition](http://cdn.ketabkoo.com/covers/1/116402-n.jpg)