TOP
紅利積點抵現金,消費購書更貼心
搜尋結果 /

Test Pattern Generation Using Boolean Proof Engines

38
1 / 1
大腸pit pattern診斷圖譜(簡體書)
87 折
出版日:2022/11/01 作者:(日)工藤進英  出版社:遼寧科學技術出版社  裝訂:精裝
大腸癌是發生率最多的惡性腫瘤之一,死亡率也最高。在大腸內鏡檢查中,為了能夠確切地對大腸腫瘤做出診斷,pit pattern分類顯得格外重要,而且已經成為全世界的共識。《大腸pit pattern診斷圖譜》全書包括5章,分別是:pit pattern診斷的歷史,pit pattern分類的基礎,pit pattern的診斷和治療,炎癥性腸病和pit pattern,pit pattern診斷的展
絕版無法訂購
Barron's 巴朗 SATⅡ數學(第10版)(附光碟)(簡體書)
87 折
出版日:2013/06/01 作者:(美)庫; (美)道奇  出版社:世界圖書(北京)出版公司  裝訂:平裝
A Diagnostic Test in Part I follows this introduction. This test will help you quickly identify your weaknesses and gaps in your knowledge of the topics. You should take it under test conditions (in o
絕版無法訂購
Barron's 巴朗 SAT Ⅱ生物 E/M(第3版)(簡體書)
87 折
出版日:2013/06/01 作者:(美)戈徳堡  出版社:世界圖書(北京)出版公司  裝訂:平裝
Extensive subject reviews of every topic required for the Biology SAT, including themost current information about the three-domain system of taxonomy. One mini-diagnostic test that identifies your st
絕版無法訂購
飛行簽派:英文(簡體書)
87 折
出版日:2012/08/01 作者:羅鳳娥  出版社:西南交通大學出版社  裝訂:平裝
Flight Dispatch is a professional monograph which illustrates dispatch information for both theoretical knowledge and license test comprehensively. For the aim of keeping in close with the internation
絕版無法訂購
Acupuncture and Moxibustion for Beauty and Skin Care, A Clinical Series (英文)(簡體書)
87 折
出版日:2012/06/01 作者:郝燕  出版社:人民衛生出版社  裝訂:平裝
Clinical handbook for western and Chinese medicine's outlook on beauty and skin care, including information on five diseases, pattern differentiation and treatment, clinical experiences of renowned ac
絕版無法訂購
最新GMAT考試指南(簡體書)
87 折
出版日:2012/03/26 作者:(美)傑菲(Faffe.E.D.); (美)希爾伯特(Hilbert.S.)  出版社:科學出版社  裝訂:平裝
Barrons Graduate Management Admission Test (GMAT) is designed to assist students planning to take the official Graduate Management Admission Test governed by the Graduate Manage-ment Admission Council
絕版無法訂購
SAT全真模擬試題集(簡體書)
87 折
出版日:2011/10/01 作者:出國留學考試學習中心  出版社:中國石化出版社  裝訂:平裝
《SAT全真模擬試題集》:是SAT考試水平綜合自測題集,題型多樣化,內容豐富,實用性強。SAT考試包括SAT I推理測驗(Reasoning Test)和SAT、II專項測驗(Subject Tests)兩個部分。SAT (Reasonihg Test)考試時間為三小時四十五分鐘,題型為選擇題及寫作,主要測驗考生的閱讀、數學及寫作能力,滿分是2400分。SAT II(Subject
絕版無法訂購
色覺檢查圖(簡體書)
87 折
出版日:2009/06/01 作者:吳樂正; 黃時洲  出版社:北京科學技術出版社  裝訂:精裝
色覺是人眼重要的視功能之一,色覺檢查的方法主要有假同色圖試驗(Pseud01sochromatlc Plates)、彩絨試驗(Wool Skeins Test)、色彩排列試驗(FM—100Hue Test,Panel D-15 Test)和色盲鏡檢查(Anomaloscope)等。各種檢查的側重點不同,各有一定的優缺點。色覺檢查圖是根據假同色原理設計的檢查方法,具有檢查簡單、快速的特點,對于結果的
絕版無法訂購
代數幾何(英文版)(簡體書)
87 折
出版日:2022/03/01 作者:R.Hartshorne  出版社:世界圖書(北京)出版公司  裝訂:平裝
This book provides an introduction to abstract algebraic geometry using the methods of schemes and cohomology. The main objects of study are algebraic varieties in an affine or projective space over a
絕版無法訂購
現代大學英語(第二版)(精讀)(2)(同步測試)(簡體書)
87 折
出版日:2018/01/01 作者:國偉  出版社:外語教學與研究出版社  裝訂:平裝
《現代大學英語(第二版)精讀2同步測試》是現代大學英語(第二版)精讀2的配套輔導用書,由16個獨立的test組成,分別對應于學生用書的16個單元。
絕版無法訂購
零成本實現Android/iOS自動化測試:基於Appium和Test Perfect(簡體書)
87 折
出版日:2016/03/01 作者:溫素劍  出版社:電子工業出版社  裝訂:平裝
本書從目前主流的移動應用自動化測試工具入手,由淺入深,全面、細緻地闡述了如何使用開源測試工具來完成移動應用自動化測試,便於讀者輕鬆掌握移動應用測試的原理、方法和實際操作。它並不是一本講述深奧測試理論的教科書,而是一本實戰類書籍,作者嘗試在書中向讀者演示如何使用Appium和Test Perfect搭建起一套穩定、高效、低成本的自動化測試平臺。本書提供大量的實戰範例,供讀者朋友上手操作。 本書是一本
絕版無法訂購
ACT必備核心詞彙(簡體書)
87 折
出版日:2015/10/01 作者:蔡瑞; 孟醒  出版社:浙江教育出版社  裝訂:平裝
ACT(American College Test)中文名稱為“美國大學入學考試”,與SAT考試均被稱為“美國高考”,是美國大學本科的入學條件之一。ACT考試由五個部分組成:文章改錯(English)、數學(Math)、閱讀(Reading)、科學推理(Science Reasoning)、寫作(Writing),其中寫作為選考部分。 本書以ACT官方指南為指導,精析現有考試真題,參閱大量相關資料
絕版無法訂購
新托福千詞百練(簡體書)
87 折
出版日:2015/02/01 作者:樂聞攜爾圖書編寫組 編著  出版社:中央廣播電視大學  裝訂:平裝
“很多單詞不止有一個意思,但只有一個是與閱讀相關的。”本書共分為23個章節,分別對應OG、Online Test和OG Test 2、O?cial Model Exam以及TPO1—20 。每一個章節下面設置不同的Section,單詞選取自題幹或選項中的單詞或片語。書中例句出自託福考試與GRE考試,並給出詳細的翻譯,讓考生複習託福考試的同時也能複習GRE考試。同時,本書通過詞根和詞綴,列舉了大量的
絕版無法訂購
ACT必備核心詞匯(簡體書)
87 折
出版日:2013/03/01 作者:新東方  出版社:西安交通大學出版社  裝訂:平裝
ACT(American College Test)中文名稱為“美國大學入學考試”,與SAT考試均被稱為“美國高考”,是美國大學本科的入學條件之一。ACT考試由五個部分組成:文章改錯(English)、數學(Math)、閱讀(Reading)、科學推理(Science Reasoning)、寫作(Writing),其中寫作為選考部分。《新東方.ACT必備核心詞匯》以ACT官方指南為指導,精析現有考
絕版無法訂購
德福備考核心攻略與模擬試題(簡體書)
87 折
出版日:2010/04/01 作者:徐琴改編  出版社:上海外語教育出版社  裝訂:平裝
德福考試(TestDaF)的德文全稱是“Test Deutschals Fremdspra Che”。申請德國大學的外國學生事先必須通過語言考試并取得相應的成績,德福考試就是其中的一種語言考試。
絕版無法訂購
熱核與狄拉克算子(簡體書)
87 折
出版日:2009/08/01 作者:(法)波林  出版社:世界圖書(北京)出版公司  裝訂:平裝
《熱核與狄拉克算子(英文版)》講述了:This book, which began as a seminar in 1985 at MIT, contains complete proofs of thelocal index theorem for Dirac operators using the heat kernel approach, together withits generaliz
絕版無法訂購
結構塑性力學Structural Plasticity(簡體書)
87 折
出版日:2009/03/01 作者:俞茂宏; 馬國偉; 李建春  出版社:浙江大學出版社  裝訂:平裝
Limit and shakedown analysis for structures can provide a very useful tool for design and analysis of engineering structures. Structures by using a unified strength theory.Aseries of solutions of plat
絕版無法訂購
出版日:2009/01/01 作者:葉從容  出版社:重慶大學出版社  裝訂:平裝
《創新大學英語綜合訓練2》是《高職高專創新大學英語系列教材》學生練習冊的第二冊,供學生在課下按照老師的教學安排自主使用。本書中每一單元由Micro-skills Practice和Comprehensive Skills and Practice兩大部分組成,前者包括Vocabulary和Sentence Pattern兩個板塊,后者包括Listening,Speaking,Reading for
絕版無法訂購
英語專業四級詞匯輕鬆背(簡體書)
87 折
出版日:2007/04/01 作者:鄭家順  出版社:東南大學出版社  裝訂:平裝
任何語言的學習首先要過詞匯關。同樣,掌握了詞匯,學習英語就會是一件非常容易的事了。 為了幫助廣大考生在新大綱出臺之后,能夠輕松獲得英語專業四級高分,我們組織編寫了《英語專業四級詞匯輕松背》。 一、題目 根據新版教學大綱編寫,并收錄了歷年實考的部分真題。按專業四級考試的形式,將1200個例題分為40個Test(共五篇:入門分析篇、技能實戰篇、學習提高篇、鞏同強化篇、考前沖刺篇),每個Test均
絕版無法訂購
探索吧!深入理解探索式軟件測試(簡體書)
87 折
出版日:2014/02/14 作者:(美)享德瑞克森  出版社:機械工業出版社  裝訂:平裝
本書作者是世界著名的敏捷軟體測試教練,她的Test Heuristics Cheatsheet被廣為流傳,是Google Tech Talk on Agile Testing的組織者。本書是探索式開發領域的一顆重磅炸彈。本書給出實用性很強的理念,可用於探索從典型GUI場景到測試軟體需求的一切,還包括如何探索低層級代碼的建議。這本書不只是給軟體測試人員看的,對軟體管理人員、開發人員也具有重大意義。
絕版無法訂購
瞄準新托業:聽力篇(簡體書)
87 折
出版日:2012/11/01 作者:(美)聖塔拉斯奇  出版社:清華大學出版社(大陸)  裝訂:平裝
市面上的托業聽力測驗書籍大多只是翻譯考試題目,並提供滿滿的單詞和短語讓考生背誦。因為我們誤認為考生在聽力測驗中無法拿高分的原因是聽不懂。 但Jeff老師要告訴所有考生一個小秘密,就是即使你聽不懂,也可以用看的方式選擇對的答案。Jeff老師讓你在提升英語水平的同時,學會托業聽力測驗中最重要的解題技巧。 此外,《瞄準新托業(聽力篇)》包含兩個仿真測驗題,Pre-Test讓考生在閱讀《瞄準新托業(聽力篇
絕版無法訂購
TCF閱讀(簡體書)
87 折
出版日:2012/11/01 作者:王戰  出版社:武漢大學出版社  裝訂:平裝
閱讀理解是TCF(Test de Connaissance du Franqais)法語測試的主要環節之一。為提高學生的閱讀能力,熟悉并掌握應試技巧,根據TCF的測試特點,編寫這本模擬教材。本書按照TCF測試題的模式選擇相關知識,內容由淺入深,包括與日常生活息息相關的閱讀材料,如廣告、信函和指示牌,也增加了政治、經濟、社會和文化等不同領域和學科的短文。力求知識面廣,信息量大,以培養閱讀的興趣,提高
絕版無法訂購
瞄準新托業:閱讀篇(簡體書)
87 折
出版日:2012/10/01 作者:(美)聖塔拉斯奇  出版社:清華大學出版社(大陸)  裝訂:平裝
《瞄準新托業(閱讀篇)》針對托業第七部分的閱讀測驗題型,Jeff老師要幫助考生掌握文章重點,精通解題技巧。運用擔任英語培訓講師多年的經驗,Jeff老師要告訴所有考生一個小秘密,即使你看不懂閱讀測驗文章中的所有內容,也可以通過在文章中找到所需信息的位置,輕松選擇出正確答案。此外,《瞄準新托業(閱讀篇)》包含兩個仿真測驗,Pre—Test讓讀者在閱讀《瞄準新托業(閱讀篇)》前先了解自己的英語水平,最后
絕版無法訂購
民航機務專業英語(簡體書)
87 折
出版日:2012/09/03 作者:李永平  出版社:國防工業出版社  裝訂:平裝
本書共12章,包括飛機的一般介紹、數量最多的機型B737飛機家族、最先進的機型B787、飛機自動駕駛系統、飛機電氣系統、飛機液壓系統、輔助動力裝置和新一代的空中交通系統,還包括飛機維修工程管理類的知識,如飛機健康管理、飛機航材管理、客戶支持等。本書的附錄收錄了B737NG(New Generation)飛機航後維修工作單,中英文對照的編排供讀者檢驗學習效果。最後,還提供了全書的詞匯表。
絕版無法訂購
SolidWorks模具設計教程.2012版(附光碟) (第2版) (簡體書)
87 折
出版日:2012/09/01 作者:(美)DS SOLIDWORKS公司 編著  出版社:機械工業出版社  裝訂:平裝
《SolidWorksR模具設計教程》(2012版)是根據DS SolidWorksR公司發佈的《SolidWorksR2012:Mold Design Using SolidWorks》編譯而成的,著重介紹了使用SolidWorks軟件進行模具設計的方法、技術和技巧,包括:調整模具產品的收縮率、拔模分析、確定分型線和分型面,生成型心、型腔、滑塊、頂杆等功能。本教程通過豐富的模具設計實例,來幫助讀
絕版無法訂購
美國人視野中的邏輯:LSAT考試(簡體書)
87 折
出版日:2012/01/01 作者:余式厚  出版社:北京大學出版社  裝訂:平裝
LSAT是Law School Admission Test(法學院入學考試)的縮寫,是由美國法學院入學委員會主辦的法學院入學資格考試。所有的法學院都要求申請人參加LSAT考試,該考試成績將作為預估申請入學者在法學院的正確且合理的推論與判斷能力、分析及評估能力之表現。 早在1982年,邏輯游戲引入LSAT考試,從LSAT考試可以折射出美國人視野中的邏輯。 重點突出--突出邏輯推理、邏輯分析
絕版無法訂購
美國人視野中的邏輯:GMAT考試(簡體書)
87 折
出版日:2012/01/01 作者:商在明  出版社:北京大學出版社  裝訂:平裝
GMAT,全稱Graduate Management Admission Test,工商管理碩士入學考試,由美國商學院研究所的入學考試委員會委托新澤西州普林斯頓的教育測試中心(ETS)舉辦。 經過近百年的探索和努力,MBA培養了為數眾多的優秀工商管理人才。美國最大的500家公司的總經理、董事長等高層主管,絕大多數都是MBA。這一驚人的事實,說明MBA教育是成功的。MBA意味著超群的能力、膽識
絕版無法訂購
TCF法語聽力强化訓練(簡體書)
87 折
出版日:2011/11/30 作者:凱育法語教學研究中心 編著  出版社:同濟大學出版社  裝訂:平裝
TCF(Test de Connaissance du Francais)考試,是由法國國家教育部設立、在法國境內或其他國家進行的針對非法語國家學生的法語能力的測試。本書介紹此項考試的聽力理解部分,通過大量按考試標準設計的試題,提高考生在聽力理解方面的能力。本書的訓練題遵循由淺及深、循序漸進、涉獵廣泛的原則設計,適合已完成350小時左右法語學習的學生作課堂訓練和自測用,也可供準備參加TCF考試的學
絕版無法訂購
韓語能力測試頻點詞匯(簡體書)
87 折
出版日:2010/06/01 作者:張乃禹; 劉慧  出版社:世界圖書(北京)出版公司  裝訂:平裝
《韓語能力測試頻點詞匯》內容簡介:韓國語能力考試TOPIC(Test of Proficiency in Korean)是為評價韓國語非母語的外國人及海外僑胞的韓國語能力而設置的考試,從1997年開始,作為在全世界范圍內舉辦的大型考試不僅能.檢驗學生的學習效果,而且其中4級、5級、6級(中、高級)證書還在就職、留學等場合發揮重要作用。有些韓國大學在錄取學生或韓國企業等在雇用員工時,會要求提供韓國語
絕版無法訂購
出版日:2010/03/01 作者:(韓)高明熙  出版社:高等教育出版社  裝訂:平裝
2005年9月,美國教育考試服務中心(ETS)在美國本土首次推出全新改版后的托福考試——托福網考(TOEFL iBT,Internet—Based Test),2006年9月,托福網考開始在中國實施。這一改革,使托福考試在形式、分值、題型及內容上都發生了根本性變化。口語和寫作的重要性開始凸顯;閱讀理解不再是單純的理解,而是更加注重建立在批判性思維上的綜合理解;筆記能力也越來越重要,近年來這一系列的
絕版無法訂購
出版日:2010/02/01 作者:(韓)高明熙  出版社:高等教育出版社  裝訂:平裝
2005年9月,美國教育考試服務中心(ETS)在美國本土首次推出全新改版后的托福考試——托福網考(TOEFL iBT,Internet-Based Test),2006年9月,托福網考開始在中國實施。這一改革,使托福考試在形式、分值、題型及內容上都發生了根本性變化。口語和寫作的重要性開始凸顯;閱讀理解不再是單純的理解,而是更加注重建立在批判性思維上的綜合理解;筆記能力也越來越重要,近年來這一系列的
絕版無法訂購
高中生學雅思閱讀(簡體書)
87 折
出版日:2010/01/11 作者:何滿  出版社:中國人民大學出版社  裝訂:平裝
本書所有文章主體選自西方報紙雜志,如《經濟學人》、《國家地理》、《新科學家》等。每單元所選課文分為三個級別,課文長度分別為300~400字、600~700字、1000~1200字,單詞難度分別為4000詞、5500詞、7000~8000詞。由簡入難,循序漸進,使考生實現從高中英語到雅思考試的過渡。 全書分為課本(TEXT)和測試題(TEST)兩部分,共計20個單元,涵蓋了自然、社會、環境、健康等
絕版無法訂購
QTP專案應用與進階(簡體書)
87 折
出版日:2009/10/01 作者:E測工作室  出版社:化學工業出版社  裝訂:平裝
本書是QTP(Quick Test Professional)自動化測試從理論升華到實踐的指導類書籍。本書由淺入深,從QTP的常用功能介紹到實際項目中的具體應用,最后以發散性的思維介紹國內外對于QTP的新思路與新應用。本書介紹了幾個典型的QTP使用技巧,并通過兩個經典的QTP自動化測試框架來示范實際項目解決方案的建立,以供讀者參考借鑒。 本書是筆者自動化測試多年工作經驗的總結。初級自動化測試工程師
絕版無法訂購
SolidWorks模具設計教程2009版(簡體書)
87 折
出版日:2009/08/01 作者:美SOLIDWORKS  出版社:機械工業出版社  裝訂:平裝
《solidworks模具設計教程》(2009版)是根據solidworks固公司發布的《solidworks 2009 Training Manuals:Mold Design using solidworks》編譯而成的,著重介紹使用solidworks軟件進行模具設計的方法、技術和技巧,包括:調整模具產品的收縮率,進行拔模分析,確定分型線和分型面,生成型心、型腔、滑塊等功能。本教程在保留了原
絕版無法訂購
美國建築給水排水設計(簡體書)
87 折
出版日:2008/01/01 作者:盧安堅  出版社:經濟日報出版社  裝訂:平裝
在美國,如果城市給水系統至建築物的支管管徑不小于6英寸,水泵大多可以直接從管網中抽水。但是,這必須有最新的水流試驗(Flow Test)數據為依據。在最不利情況下,即用水高峰和消防同時發生的時刻,系統中也要保持一定的正壓(一般容許極限為140 kPa),或者不低于由當地市政當局規定的數值,而不是“無負壓”。水流試驗可以模擬出建築物內水泵直接從管網中抽水時的影響程度和范圍,并據此做出評估。低處的”正
絕版無法訂購
.NET軟件測試自動化之道(簡體書)
87 折
出版日:2007/07/01 作者:(美)麥克卡佛瑞  出版社:電子工業出版社  裝訂:平裝
本書主要講解在.NET環境下編寫輕量級軟件測試自動化程序的實用技術。全書內容由Windows UI測試、Web應用程序測試和存儲過程及XML測試三部分組成,全面介紹了如何利用.NET平臺提供的一系列技術(而不是依賴于第三方的商業自動化測試工具),采用C#語言編寫輕量級的、功能強大的自動化測試程序。本書各個章節所提供的示例代碼適用于單元測試(Unit Test)、集成測試(Integration T
絕版無法訂購
Using Google App Engine(簡體書)
87 折
出版日:2010/08/03 作者:Charles Severance  出版社:東南大學出版社  裝訂:平裝
即便你在編程或者Web開發方面只有很少或者沒有任何經驗,使用Google APP Engine和這本書就能快速并且充滿自信地構建那些激動人心的可擴展Web應用。 App Engine幾乎是近年來最引人注目的Web技術,它提供了一個簡單易用的應用程序框架以及基本的Web工具。盡管Google自帶的教程已經展示了主要的步驟,但是《Google App Engine開發》將會幫助任何人開始上手
絕版無法訂購
單類目標快速加工的無意識心理聯結:SC-IAT內隱測驗(簡體書)
87 折
出版日:2016/02/01 作者:艾傳國  出版社:世界圖書(北京)出版公司  裝訂:平裝
書稿以作者的博士論文為基礎加工而成。內隱聯想測驗(IAT)是心理學領域重要的心理分析工具,用於研究難以觀測的人類內心傾向。單類內隱聯想測驗(Single Category Implicit Association Test,簡稱SC-IAT)能夠測量個體對單類目標的內隱態度,彌補傳統IAT的不足。本書對SC-IAT進行了六項研究: SC-IAT的順序效應、SC-IAT的誘導效應、SC-IAT在內隱
絕版無法訂購
  • 38
    1

暢銷榜

客服中心

收藏

會員專區