TOP
經典不再等待!讀懂羅馬人的強大,開啟你的智力冒險
縮小範圍
商品類型
商品定價
搜尋結果 /

Test Pattern Generation Using Boolean Proof Engines

155
1 / 4
OK-TEST真題解析與官方備考指南-初級(簡體書)
滿額折
出版日:2015/11/27 作者:齊曉峰  出版社:北京語言大學出版社  裝訂:平裝
《OK-TEST真題解析與官方備考指南》系列是OK-TEST中國事務局授權的官方備考用書。全系列共分初、中、高三個級別。初級分冊針對OK-TEST中涉及初級水平知識的部分按題型進行了深入解析,全部例題與專項針對性練習均為歷年真題。突破各題型后,還為讀者提供了三套高仿真模擬試卷。全部練習和模擬試卷均有高水平漢語譯文,并提供必要解析。書后還提供了初級語法點總結,并隨書贈送小開本便攜式詞匯學習手冊。全部
優惠價: 87 251
無庫存
出版日:2012/07/01 作者:李文秀  出版社:大連理工大學出版社  裝訂:平裝
《一技通關:J—test考試真題強化訓練(A—D級)》分為三大部分:第97回J—test考試試題:J—test全真模擬試題;J—test考試必備日語知識點。前兩部分所有題目都配有考點分析和考點擴展,脈絡清晰,讓考生能夠系統了解J—test整個試卷的構成及答題方法。找出自己較為擅長和不太擅長的地方,有重點地進行復習,最大程度地提高考試成績。最后一部分主要涉及成語、慣用句、常考詞匯和語法、商務信函
白盒測試之道:C++test(簡體書)
滿額折
出版日:2011/04/01 作者:徐宏革; 郭慶; 雷濤  出版社:北京航空航天大學出版社  裝訂:平裝
《白盒測試之道:C++test》對當前軟件行業中容易忽視的白盒測試通過結合專業化的測試工具C++test進行了深入的討論,主要包括軟件測試語言基礎、軟件測試基礎、軟件測試環境、測試計劃、靜態測試、數據流分析、邏輯覆蓋、CppUnit、單元測試、測試插樁、回歸測試、黑盒測試、團隊協同開發測試及C++test常見問題匯總等。這些技術和方法是任何一位合格的測試工程師所必備的知識,也是軟件測試培訓、軟件測
優惠價: 87 204
無庫存
數理邏輯(第2版)(簡體書)
滿額折
出版日:2008/05/01 作者:艾賓浩斯  出版社:世界圖書(北京)出版公司  裝訂:平裝
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? Only in this century has there been success
優惠價: 87 235
無庫存
託福詞匯真經(簡體書)
滿額折
出版日:2020/07/01 作者:賴水信  出版社:浙江教育出版社  裝訂:平裝
《託福詞匯真經》緊跟託福命題趨勢,精選託福閱讀常考核心詞匯,彙編成48個Advanced Test。每個Advanced Test均包含40道詞匯題,題目設置易混辨析選項,強化考生的詞匯基礎。本書還在每個Advanced Test後附上答案一覽表及詳細的譯文詳解,方便考生快速核對答案、準確理解題意。此外,全書例句涉及的主題廣泛而多樣,豐富了詞匯來源,有助於考生瞭解詞匯的應用場景,從而提高閱讀和寫作
優惠價: 87 287
無庫存
直通劍橋商務英語 初級 教師用書(簡體書)
滿額折
出版日:2018/04/01 作者:(英)伊恩‧伍德; (英)Anne Williams  出版社:清華大學出版社(大陸)  裝訂:平裝
Student’s Book contents Information on the BEC test and Pass Cambridge BEC Preliminary Introduction Unit 1a Job de*ions Unit 1b Working conditions Unit 2a Company history Unit 2b Co
優惠價: 87 313
無庫存
應考必備日本語NAT-TEST N5模擬試題10回(簡體書)
滿額折
出版日:2017/09/01 作者:吳聲傑  出版社:天津科學技術出版社  裝訂:袋裝
日本語NAT-TEST考試已經越來越得到日語學習者的認可,在中國大陸的考試人數連年攀升。由於其嚴謹的出題思路和嚴格的考試制度,即使是不準備出國的學生也會用來作為檢驗日語水平的測試。 本書是N5級別的10套模擬題。是由NAT-TEST考試中國事務局牽頭,聘請優秀一線教師編寫,旨在幫助考生熟悉題型,通過足量的測試來檢驗學習成果。
優惠價: 87 261
無庫存
圖解劍橋雅思真題IELTS11:培訓類(簡體書)
滿額折
出版日:2017/05/01 作者:江濤  出版社:石油工業出版社  裝訂:平裝
江濤、肖敏、胡姣主編的《圖解劍橋雅思真題 (11培訓類)》用圖解的方法,解析《劍橋雅思考試全 真試題解析》的內容。本書包含4個Test和2個 GeneralTraining。每個Test又包含聽、說、讀、寫 等考試的4個部分。每個部分都通過“背景介紹”“ 參考譯文”“題目解析”“重點詞匯”“經驗教訓” 等小板塊分析、講解雅思考試官方真題。
優惠價: 87 204
無庫存
圖解劍橋雅思真題IELTS10(簡體書)
滿額折
出版日:2017/05/01 作者:江濤  出版社:石油工業出版社  裝訂:平裝
江濤、肖敏、胡姣主編的《圖解劍橋雅思真題 (10)》用圖解的方法,解析《劍橋雅思考試全真試題 解析》的內容。本書包含4個Test和2個 GeneralTraining。每個Test又包含聽、說、讀、寫 等考試的4個部分。每個部分都通過“背景介紹”“ 參考譯文”“題目解析”“重點詞匯”“經驗教訓” 等小板塊分析、講解雅思考試官方真題。
優惠價: 87 235
無庫存
圖解劍橋雅思真題(8)(簡體書)
滿額折
出版日:2017/05/01 作者:江濤  出版社:石油工業出版社  裝訂:平裝
江濤、肖敏、胡姣主編的《圖解劍橋雅思真題 (8)》用圖解的方法,解析《劍橋雅思考試全真試題 解析》的內容。本書包含4個Test和2個General Training。每個Test又包含聽、說、讀、寫等考試的 4個部分。每個部分都通過“背景介紹”“參考譯文 ”“題目解析”“重點詞匯”“經驗教訓”等小板塊 分析、講解雅思考試官方真題。
優惠價: 87 235
無庫存
軟件測試工程師成長之路:軟件測試全程專案實戰寶典(簡體書)
滿額折
出版日:2016/02/01 作者:王順  出版社:清華大學出版社(大陸)  裝訂:平裝
本書根據軟體測試工程師核心工作與技能要求分成三大篇章進行講解。第一篇:尋找軟體缺陷(Find Bug)技術篇;第二篇:測試用例設計(Test Case Design)技術篇;第三篇:測試工具使用(Test Tool Usage)技術篇。
優惠價: 87 232
無庫存
老闆到底要什麼(簡體書)
滿額折
出版日:2013/11/01 作者:林徐秀清  出版社:中國發展出版社  裝訂:平裝
《老板到底要什么(精華版)》主要寫給80后與90后的(一般被稱為Generation Y與Generat
優惠價: 87 208
無庫存
IELTS 9分模考(第2版.附光碟)(簡體書)
滿額折
出版日:2013/08/01 作者:(澳)薩桑尼  出版社:西安交通大學出版社  裝訂:平裝
《新東方.IELTS 9分模考(第2版)》可幫助考生全面提升IELTS考試能力,包括幫助考生深入瞭解IELTS考試的各個題型,同時徹底掌握解題技巧。《新東方.IELTS 9分模考(第2版)》根據正式IELTS測試編寫4套模擬試題,每套模擬題包括listening test,,reading test,writing test,speaking test以及相應的答案,以幫助考生體驗真實考試情境。
優惠價: 87 209
無庫存
一技通關:J-test考試歷年真題分項詳解(A-D級)(附光碟)(簡體書)
滿額折
出版日:2012/06/01 作者:李曉霞  出版社:大連理工大學出版社  裝訂:平裝
本書對考試中出現的題目類型進行了詳盡的分類總結,對出現的每個題目進行精解分析和考點擴展,並附有專項訓練。這樣可以讓考生對J—test的考點和知識點有一個比較明晰的掌握。然後通過實際答題,理解並掌握解題技巧,真正掌握相關知識。 本書所有內容都有融匯相通之處,通過學習可以舉一反三,真正地掌握日語知識,提高日語實際運用能力並在J—test考試中取得優異的成績。
優惠價: 87 202
無庫存
HSK標準教程1:練習冊(簡體書)
滿額折
出版日:2024/01/02 作者:姜麗萍  出版社:北京語言大學出版社  裝訂:平裝
敬告讀者:此書新版本不再提供實物光盤(新老版本隨機發貨)。錄音文本請登錄北京語言大學出版社官方網站,搜索此圖書頁面後,在資源下載中點擊下載。 《HSK標準教程1:練習冊》構成:課本Textbooks;練習冊Workbooks;教師用書TeacherS Books;教學示范Demo Lessons;數字資源Digital Resources;主要特色:考教結合Combination of test
優惠價: 87 183
無庫存
軟件工程項目化教程(微課視頻版)(簡體書)
滿額折
出版日:2023/03/01 作者:呂雲翔; 黎可為; 張中基  出版社:清華大學出版社(大陸)  裝訂:平裝
本書依據典型的軟件開發過程組織內容,圍繞“論文檢索系統”這一實際軟件項目設計項目開發實驗,旨在培養讀者應用軟件開發工具和框架進行實際軟件項目開發的實踐能力。全書共9章,所涉及的軟件開發工具和框架包括: 項目管理工具Microsoft Project,集成建模平臺Enterprise Architect,軟件數據模型建模工具PowerDesigner,分布式版本控制系統Git,前端開發框架Vue.js,後端開發框架Django,軟件測試工具Vue Test Utils、Unit Test、Postman,服務器軟件Nginx。 本書是高等院校計算機科學、軟件工程及相關專業“軟件工程”實踐課程的理想教材,也可以供開發人員、軟件測試工程師、系統工程師及軟件項目經理等相關人員閱讀參考。
優惠價: 87 312
無庫存
服飾圖案設計(簡體書)
滿額折
出版日:2020/01/01 作者:鄧曉珍  出版社:上海人民美術出版社  裝訂:平裝
本書適用於設計基礎的教與學,也是設計學習者與實踐者尋找靈感的必讀書目。服飾圖案Pattern Design for Fashion and Accessory,圍繞服裝以及裝飾所出現的圖案都稱為服飾圖案。設計師賦予了服飾文化超越實用的精神和審美內質,其中圖案起到了不可忽視的作用。圖案,是那樣“花”一般地美化了衣裝,有了圖案的衣服便具有超越實用功能的美麗。我們感受到多彩的服飾文化,然而,正是服飾圖案
優惠價: 87 303
無庫存
出版日:2019/05/01 作者:(英)彼得‧梅  出版社:浙江教育出版社  裝訂:平裝
本書引進自劍橋大學出版社,參考了劍橋學習者語料庫(Cambridge Learner Corpus)中的大量資料,是FCE考試官方備考資料。書中包含6套完整的FCE模擬測試題。其中,Test 1和Test 2中設置了拓展技能訓練、學習指導及應試策略板塊。6套題直擊FCE考試,幫助考生強化考試要求的各項技能,有效備考。此外,本書還附有教學指導,幫助教師開展課堂教學活動。
劍橋PET官方模考題精講精練(簡體書)
滿額折
出版日:2019/02/01 作者:(英)休‧埃利奧特; (英)莉茲‧加利文  出版社:浙江教育出版社  裝訂:平裝
本書引進自劍橋大學出版社,參考了劍橋學習者語料庫(Cambridge Learner Corpus)中的大量資料,是PET考試官方備考資料。書中包含6套完整的PET模擬測試題。其中,Test 1和Test 2中設置了拓展技能訓練、學習指導及應試策略板塊。6套題直擊PET考試,幫助考生強化考試要求的各項技能,有效備考。此外,本書還附有教學指導,幫助教師開展課堂教學活動。
優惠價: 87 251
無庫存
劍橋KET官方模考題精講精練(簡體書)
滿額折
出版日:2019/02/01 作者:(英)卡倫‧薩克斯比  出版社:浙江教育出版社  裝訂:平裝
本書引進自劍橋大學出版社,參考了劍橋學習者語料庫(Cambridge Learner Corpus)中的大量資料,是KET考試官方備考資料。書中包含6套完整的KET模擬測試題。其中,Test 1和Test 2中設置了拓展技能訓練、學習指導及應試策略板塊。6套題直擊KET考試,幫助考生強化考試要求的各項技能,有效備考。此外,本書還附有教學指導,幫助教師開展課堂教學活動。
優惠價: 87 251
無庫存
眼科臨床指南解讀:內斜視和外斜視(簡體書)
滿額折
出版日:2018/08/31 作者:趙晨  出版社:人民衛生出版社  裝訂:精裝
本書緊扣美國臨床指南(Preferred Practice Pattern,PPP),內斜視與外斜視分冊的概念及診療規範,結合美國基礎及臨床課程[Basic and Clinical Science Course (BCSC) ]中對斜視這一疾病的擴展補充,融合我們的臨床實踐及病例解析,突出PPP與我國專家共識的異同點,通過對PPP斜視一章進行深入解讀,以期推進PPP在
優惠價: 87 345
無庫存
語音學批評性引論(簡體書)
滿額折
出版日:2018/04/01 作者:(英)肯‧洛奇  出版社:上海外語教育出版社  裝訂:平裝
【簡介】A Critical Introduction to Phonetics presents core areas of the field from refreshing new perspectives. Using examples drawn from a wide range of languages, Ken Lodge introduces the key aspects of
優惠價: 87 324
無庫存
家譜圖(第3版):評估與干預(修訂本)(簡體書)
滿額折
出版日:2018/01/01 作者:(美)莫妮卡‧麥戈德里克; (美)蘭迪‧格爾森; (美)蘇艾麗‧佩特里  出版社:當代中國出版社  裝訂:平裝
家譜圖(genogram)是説明我們理解家庭模式(family pattern)的實用工具之一。本書旨在詳細闡述家譜圖的實踐、理論、畫法及其在臨床實踐中的應用、研究方向和發展趨勢。標準化的家譜圖是瞭解家庭歷史和家庭人際關係的通用語言。儘管家譜圖被家庭治療師、家庭醫生及其他醫務工作者廣泛地應用於臨床與工作的實踐中,但在1985年本書第一版問世之前,家譜圖尚無統一標準的畫法。甚至在理論背景相似的治療師
優惠價: 87 313
無庫存
圖解劍橋雅思真題IELTS11-學術類(簡體書)
滿額折
出版日:2017/05/01 作者:江濤  出版社:石油工業出版社  裝訂:平裝
圖解單詞書、圖解日語/法語書、圖解詞典、圖解詞根、圖解易經、圖解諸子百家等等“圖解”的書數不勝數,但從未見“圖解雅思真題”的身影。本套《圖解劍橋雅思大全》即將創此先河。 本套書共分為5本,用圖解的方法,解析《劍橋雅思考試全真試題解析》(8~11)的內容。每本官方的《劍橋雅思考試全真試題解析》都包含4個Test和2個GeneralTraining(11學術類和11培訓類只有4個Test)。每個Te
優惠價: 87 204
無庫存
快捷英語:聽力周周練 高一年級 第2版(附光碟)(簡體書)
滿額折
出版日:2017/05/01 作者:于茂樹  出版社:中國電力出版社  裝訂:平裝
《快捷英語 聽力周周練 高一年級 第2版(光盤版)》是針對光盤版聽力周周練上冊的修訂。修訂內容大致為總內容的三分之一。各分冊的主要內容為:共16周。初中: 每周的Test 1 是基礎達標,Test 2是每周一測, Weekend 是專題輔導;初一、初二分冊的第7、8、15、16周是階段測試題。 高中:Monday 是達標訓練,Wednesday 是強化訓練,Friday 高分訓練,Weekend
優惠價: 1 257
無庫存
快捷英語:聽力周周練 高二年級 第2版(附光碟)(簡體書)
滿額折
出版日:2017/05/01 作者:于茂樹  出版社:中國電力出版社  裝訂:平裝
本次是針對光盤版聽力周周練上冊的修訂。修訂內容大致為總內容的三分之一。各分冊的主要內容為:共16周。初中: 每週的Test 1 是基礎達標,Test 2是每週一測, Weekend 是專題輔導;初一、初二分冊的第7、8、15、16周是階段測試題。 高中:Monday 是達標訓練,Wednesday 是強化訓練,Friday 高分訓練,Weekend 技巧點撥;高一、高二分冊的第8周和第16
優惠價: 1 257
無庫存
大學英語應用能力口語測試(中級)(簡體書)
滿額折
出版日:2016/10/01 作者:張喜華; 謝職安; 封國華  出版社:知識產權出版社  裝訂:平裝
本書是大學英語應用能力口語測試(Test of English Proficiency Oral,簡稱TEP Oral)的配套復習手冊(中級),內容包含考試試題解讀、樣題、模擬試題,及英語口試常見考官提問等,是考生參加大學英語應用能力口語測試的必備手冊。
優惠價: 87 198
無庫存
SAT寫作專項突破與模擬試題(簡體書)
滿額折
出版日:2016/10/01 作者:(美)喬治‧艾倫霍爾特  出版社:北京語言大學出版社  裝訂:平裝
本書是針對SAT考試寫作部分的專項指南,介紹了寫作考試的兩個部分:文法測試(the Writing and Language Test)和寫作(SAT Essay)。書中涵蓋題型分析、大量舉例和練習以及多套類比試題,內容和難度均與SAT考試保持一致,適用於備考SAT寫作的所有考生,幫助考生實現全面突破。
優惠價: 87 251
無庫存
劍橋通用五級考試PET官方真題6(簡體書)
滿額折
出版日:2016/06/01 作者:(英)劍橋大學外語考試部; (英)劍橋大學出版社 編著  出版社:外語教學與研究出版社  裝訂:平裝
《劍橋通用五級考試PET官方真題6》是劍橋通用五級考試KET考試(Cambridge English: Preliminary或Preliminary English Test [PET])的官方真題集,包含以下內容:1. 四套官方真題;2. 幫助考生全面了解考試形式的考試說明;3. 幫助考生進行兩人一組口
優惠價: 87 313
無庫存
劍橋通用五級考試PET青少版官方真題2(簡體書)
滿額折
出版日:2016/06/01 作者:英國劍橋大學外語考試部; 英國劍橋大學出版社 編著  出版社:外語教學與研究出版社  裝訂:平裝
《劍橋通用五級考試PET青少版官方真題2》是劍橋通用五級考試PET青少版考試(Cambridge English:Preliminary for Schools或Preliminary English Test [PET] for Schools)的官方真題集,包含以下內容:1. 四套官方真題;2. 幫助考
優惠價: 87 313
無庫存
大學英語應用能力口語測試:初級(簡體書)
滿額折
出版日:2015/07/01 作者:謝職安  出版社:知識產權出版社  裝訂:平裝
本書是大學英語應用能力口語測試(Test of English Proficiency Oral,簡稱TEP-Oral)的配套複習手冊(初級),內容包含考試試題解讀、近百套通用類及專業類試題、約兩百個考試中考官常見提問等,是考生參加考試的必備手冊。
優惠價: 87 183
無庫存
全新版大學英語(第二版)5:聽說教程(教師手冊)(簡體書)
滿額折
出版日:2013/07/01 作者:李萌濤  出版社:上海外語教育出版社  裝訂:平裝
本書為教程的第五冊教師手冊,包含十四個單元,每個單元由四部分組成:微技能訓練、聽說訓練部分、Additional Listening、Test Your Listening。此外,書末配有兩套與四級考試掛鉤的試題,用來測試學生的聽力水平。
優惠價: 87 219
無庫存
劍橋KET官方模考題精講精練(附光碟)(簡體書)
滿額折
出版日:2013/05/01 作者:(英)薩克斯比  出版社:西安交通大學出版社  裝訂:平裝
本書引進自劍橋大學出版社,參考了劍橋學習者語料庫(Cambridge Learner Corpus)中的權威資料,是KET考試官方備考資料。書中包含6套完整的KET模擬測試題。其中,Test 1和Test 2中精心設置了拓展技能訓練、學習指導及應試策略。6套題直擊KET考試,全面幫助考生強化考試要求的各項技能,高效備考。此外,本書還附有教學指導,幫助教師開展課堂教學活動。
優惠價: 87 251
無庫存
一技通關:J-test考試歷年真題分項詳解(EF)級(簡體書)
滿額折
出版日:2012/07/01 作者:胡小春  出版社:大連理工大學出版社  裝訂:平裝
讀解部分,詞匯、語法問題首先將大綱規定的單詞按詞性分類,逐一解讀該類單詞的特點及歷年考試的考點、答題技巧等;隨後以表格的形式將常考語法按接續方法進行總結,並對日語中相對較難的待遇表現進行了歸納,使知識點一目了然。最後,考慮到J.TEST題目的獨特性,《一技通關:J—test考試歷年真題分項詳解(E—F級)》在選題方面獨具匠心,特意精選了各類有代表性的例題,避免了知識點的重複,有利於幫助考生瞭解各種
優惠價: 87 201
無庫存
水聲通信原理及信號處理技術(簡體書)
滿額折
出版日:2011/11/01 作者:殷敬偉  出版社:國防工業出版社  裝訂:平裝
水聲通信是實現水下綜合信息感知與信息交互的主要手段,可服務于海洋開發和軍事應用。本書針對水聲通信的一些基本原理、信號處理技術及其應用進行了介紹,力求將水聲物理基礎與工程技術應用有機結合。全書由8章組成,包括水聲通信信道特性,Pattern時延差編碼、擴頻通信、OFDM高速通信等三種主要水聲通信體制及其與各種技術的結合,時間反轉鏡技術、單矢量信號處理、分
優惠價: 87 183
無庫存
出版日:2011/09/01 作者:廖歆  出版社:群言出版社  裝訂:平裝
SSAT,全稱Secondary School Admission Test,中文名稱為“美國中學入學考試”,俗稱為小賽達考試(此名稱是相對於SAT,即賽達考試而言的)。SSAT考試是進入美國、加拿大私立中學學習所必須參加的,或會被作為重要參考指標。
體驗英語少兒閱讀文庫第3級SET B(附MP3)(全10本)(簡體書)
滿額折
出版日:2010/10/01 作者:劉道義  出版社:高等教育出版社  裝訂:平裝
《體驗英語少兒閱讀文庫·第3級SET B(套裝共10本)》包括:《A Special Garden》、《Animal Senses》、《Smells All Around Us》、《Hearing》、《I Am Blind 》、《My Herb Bag》、《Feeling》、《I Am Deaf》、《You See With Your Eyes》、《The Taste Test?》。在外語教學中,
優惠價: 1 288
無庫存
出版日:2010/09/09 作者:上海圖書館  出版社:上海交通大學出版社  裝訂:平裝
《風華上海》內容簡介:Using both pictures and words, this book demonstrates the development history of the Shanghai city and its people and culture with vivid images. Different from previous works, this book emp
出版日:2009/06/01 作者:王濟川  出版社:高等教育出版社  裝訂:平裝
Multilevel Models: Appfications Using SAS is written in nontechnical terms, focuses on the methods and applications of various multilevel models, including liner multilevel models,multilevel logistic
雅思閱讀(簡體書)
滿額折
出版日:2009/05/01 作者:新東方教育科技集團雅思研究院  出版社:西安交通大學出版社  裝訂:平裝
This set of course consists of four separate books, each providing specialized study activities for the four different areas of the IELTS test. You can focus on the areas where you need the most to he
優惠價: 87 235
無庫存
  • 155
    4
  • 1
  • 2
  • 3
  • 4

暢銷榜

客服中心

收藏

會員專區