Introduction to Formal Hardware Verification
Dr. Thomas Kropf (auth.)
کشف منابع
در دستهبندی «علم کامپیوتر و نظریه» فروشگاه آنلاین Refhub.ir، شما به دنیایی از دانش و نوآوری قدم میگذارید که به شکلگیری و پیشرفت فنآوری اطلاعات در عصر کنونی کمک میکند. این دستهبندی شامل کتابهایی است که مفاهیم بنیادی و پیشرفته علم کامپیوتر را در بر میگیرد و برای دانشجویان، پژوهشگران و علاقهمندان به این حوزه طراحی شده است.
این دستهبندی شامل طیف گستردهای از موضوعات اصلی و محوری در علم کامپیوتر است. برخی از مهمترین زیرشاخههای موجود عبارتاند از:
علم کامپیوتر نهتنها به عنوان یک حوزه آکادمیک مهم شناخته میشود، بلکه به طور مستقیم با صنعت و بازار کار در ارتباط است. این دستهبندی با گردآوری بهترین منابع و مراجع، به شما کمک میکند تا با نگاهی جامعتر و عمیقتر به کاربردهای عملی کامپیوتر، از طراحی نرمافزار گرفته تا مدیریت امنیت شبکه، بپردازید.
این کتابها همچنین به توسعه مهارتهای حل مسئله، تفکر الگوریتمی و تحلیل زمانی و مکانی کمک شایانی میکنند که از حیاتیترین نیازهای شغلی در دنیای امروز محسوب میشود.
کتابهای این بخش از لحاظ سطح و محتوا به انواع مخاطبان پاسخ میدهند:
فروشگاه آنلاین Refhub.ir با ارائه بهترین کتابهای علمی و تخصصی، همچنین با تضمین اصالت و کیفیت منابع، به عنوان یکی از برترین منابع خرید کتابهای حوزه علم کامپیوتر شناخته میشود. خرید از ما شامل مزایای زیر است:
Dr. Thomas Kropf (auth.)
Michael Kerrisk
Paul Allen,Joseph Bambara
Peter Morville,Jeffery Callender
Antoni Carla (auth.),F. Giannessi,A. Maugeri (eds.)
Hirz Mario,Wilhelm Dietrich,Anton Gfrerrer,Johann Lang (auth.)
Carlos Miguel Fernández Soto "nonu iazabo"
Gerben Wierda
Gianfranco Bertone
Chen, Thomas M.;Rajan, Dinesh;Serpedin, Erchin
Michael Hanus,Ricardo Rocha (eds.)
Bird, Richard
RandalEBryant&DavidROHalaron
Hartmut Mix (editor),Christoph Niethammer (editor),Huan Zhou (editor),Wolfgang E. Nagel (editor),Michael M. Resch (editor)
Eberhard Zeidler (auth.)
Hojjat, Hossein; Sirjani, Marjan; Arbab, Farhad
H. Laakso,C. Perry,S. McCaffrey,D. Herment,A. J. Allen,C. C. Harvey (auth.),Harri Laakso,Matthew Taylor,C. Philippe Escoubet (eds.)
Beamonte, Raphael ;Ezzati-Jivan, Naser ;Dagenais, Michel R.
Parosh Aziz Abdulla,Bengt Jonsson (auth.),Kim G. Larsen,Mogens Nielsen (eds.)
Tonejc, Jernej (author);Güttes, Sabrina (author);Kobekova, Alexandra (author);Kaur, Jaspreet (author)
Edward P. Sarafino
Ryan Mitchell
Simon Peyton Jones,Norman Ramsey (auth.),Gopalan Nadathur (eds.)
Jenkyns, Tom;Stephenson, Ben
David A. Patterson,John L. Hennessy
Farhad Arbab; Marjan Sirjani
Anup Kumar Das,Akash Kumar,Bharadwaj Veeravalli,Francky Catthoor (auth.)
Bruce Jacob,Spencer Ng,David Wang
Umut A. Acar,Ruy Ley-Wild (auth.),Pieter Koopman,Rinus Plasmeijer,Doaitse Swierstra (eds.)
Mor Harchol-Balter
Emanuele De Angelis (editor),Wim Vanhoof (editor)
Ignacio Ferreras
Konrad Kokosa
David A. Patterson,John L. Hennessy
Ralph-Johan Back (auth.),Susanna Donatelli,P. S. Thiagarajan (eds.)