TOP
GOGO開學趣,參考書應有盡有
篩選商品
搜尋結果 /

Boolean Function Complexity

11203
1 / 281
Boolean Function Complexity
90 折
出版日:2012/01/05 作者:Stasys Jukna  出版社:Springer-Verlag New York Inc  裝訂:精裝
Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for the layman. This book is a comprehensive descrip
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Boolean Function Complexity
90 折
出版日:1992/11/05 作者:M. S. Paterson  出版社:Cambridge Univ Pr  裝訂:平裝
By considering the size of the logical network needed to perform a given computational task, the intrinsic difficulty of that task can be examined. Boolean function complexity, the combinatorial study of such networks, is a subject that started back in the 1950s and has today become one of the most challenging and vigorous areas of theoretical computer science. The papers in this book stem from the London Mathematical Society Symposium on Boolean Function Complexity held at Durham University in July 1990. The range of topics covered will be of interest to the newcomer to the field as well as the expert, and overall the papers are representative of the research presented at the Symposium. Anyone with an interest in Boolean Function complexity will find that this book is a necessary purchase.
優惠價: 9 1754
無庫存
Desire And Its Interpretation - The Seminar Of Jacques Lacan, Book Vi
66 折
出版日:2019/05/31 作者:Lacan  出版社:John Wiley & Sons Inc  裝訂:精裝
What does Lacan show us? He shows us that desire is not a biological function; that it is not correlated with a natural object; and that its object is fantasized. Because of this, desire is extravagan
優惠:挖寶專區-原文書 優惠價: 66 2005
庫存:1
Planting in a Post-Wild World ─ Designing Plant Communities for Resilient Landscapes
滿額折
出版日:2015/10/07 作者:Thomas Rainer; Claudia West  出版社:Timber Pr  裝訂:精裝
This groundbreaking guide presents a powerful alternative to traditional horticulture—designed plantings that function like naturally occurring plant communities. Thomas Rainer and Claudia West, two l
優惠價: 79 1201
庫存:1
Defining and Measuring Nature ― The Make of All Things
75 折
出版日:2014/04/15 作者:Jeffrey Huw Williams  出版社:Morgan & Claypool  裝訂:平裝
Weights and measures form an essential part of our ingrained view of the world. It is just about impossible to function effectively without some internalized system of measurement. In this volume, I o
優惠:外文好書 優惠價: 75 1740
庫存:1
Sexuality & Sex Therapy ─ A Comprehensive Christian Appraisal
滿額折
出版日:2014/04/07 作者:Mark A. Yarhouse; Erica S. N. Tan  出版社:Intervarsity Pr  裝訂:精裝
The field of human sexuality is one of ever-increasing complexity, particularly for Christian therapists and psychologists seeking to be faithful to Scripture, informed by science and sensitive to cul
優惠價: 1 2280
庫存:1
Museums and the Shaping of Knowledge
75 折
出版日:1992/01/01 作者:Eilean Hooper-Greenhill  出版社:Taylor & Francis  裝訂:平裝
Museums have been active in shaping knowledge over the last six hundred years. Yet what is their function within today's society? At the present time, when funding is becoming increasingly scarce, dif
優惠:Taylor and Francis 書展 優惠價: 75 2024
庫存:1
出版日:1998/11/01 作者:Heribert Vollmer  出版社:Springer-Verlag New York Inc  裝訂:精裝
This advanced handbook presents a broad and up-to-date view of the computational complexity theory of Boolean circuits. It combines the algorithmic and the automata-theoretic approaches, and includes
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1998/11/01 作者:Heribert Vollmer  出版社:Springer Verlag  裝訂:平裝
An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer scientists and mathematicians.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
【瓷嬉工坊】凡爾賽 可愛貓胡椒罐-相依03
90 折
品牌:瓷嬉工坊  裝訂:盒裝
概念源自 Inspried by:中國如意造型Symbols of chinese auspicious.​功能 Function:椒鹽罐 Salt & Pepper set材質 Material : 瓷、山毛櫸木 Porcelain、Beech顏色 Color:白/花相依:左貓 Left Cat : 12 x 5.2 x 8.3 (H)㎝右貓 Right Cat : 11.1 x 3.1
優惠價: 9 1782
庫存:2
【瓷嬉工坊】凡爾賽 可愛貓胡椒罐-相偎03
90 折
品牌:瓷嬉工坊  裝訂:盒裝
概念源自 Inspried by:中國如意造型Symbols of chinese auspicious.​功能 Function:椒鹽罐 Salt & Pepper set材質 Material : 瓷、山毛櫸木 Porcelain、Beech​顏色 Color:白/花相偎:上貓 Upper Cat : 9.6 x 4.1 x 9.8 (H)㎝下貓 Lower Cat : 11.2 x
優惠價: 9 1782
庫存:1
Valuation and Risk Management in Energy Markets
75 折
出版日:2014/02/28 作者:Glen Swindle  出版社:Cambridge Univ Pr  裝訂:精裝
Valuation and Risk Management in Energy Markets surveys the mechanics of energy markets and the valuation of structures commonly arising in practice. The presentation balances quantitative issues and practicalities facing portfolio managers, with substantial attention paid to the ways in which common methods fail in practice and to alternative methods when they exist. The material spans basic fundamentals of markets, statistical analysis of price dynamics, and a sequence of increasingly challenging structures, concluding with issues arising at the enterprise level. In totality, the material has been selected to provide readers with the analytical foundation required to function in modern energy trading and risk management groups.
優惠:Cambridge 書展 優惠價: 75 5216
庫存:1
使用 Spring AI 打造企業 RAG知識庫
79 折
出版日:2026/01/19 作者:凱文大叔(蔡承凱)  出版社:深智數位  裝訂:平裝
本書以扎實的 Spring Boot/MVC/API 基礎為基石,帶您精通 Spring AI 的核心組件,最終具備開發企業級 AI 應用程式的能力★ 從 Spring Boot 基礎教起,建立堅實的企業級開發能力★ 精通 RESTful API 設計,打造穩健的生產級後端系統★ 掌握多模態處理、語音合成,擴展智能應用邊界★ 由 API 串接 AI,為模型賦予 Function Calling 行動力★ 實戰企業級 RAG 知識庫,讓 AI 讀懂你的私有文件★ 提供17個實作範例,涵蓋最新的MCP開發【核心基礎】奠定企業級 AI 應用開發基石‧ 穩固開發基礎:深入解析 Spring Boot 自動配置、三層架構,以及 RESTful API 開發‧ 必備觀念與實踐:掌握依賴注入、Validation、全域錯誤處理、安全配置 API Key 的方法‧ 掌握 Spring AI 核心價值:專注於解決將 企業數據、API 與 AI 無縫串聯 的根本挑戰‧ 統一 API 介面:透過 ChatClient,輕鬆整合多種主流 AI 模型【AI 實戰】建構高智能對話與多模態能力‧ RAG 知識庫核心:實作RAG系統,從而解決資料過時或幻覺 問題‧ 賦予 AI 行動能力:透過 Function Calling突破AI限制,讓模型能調用外部 API 獲取即時數據、執行業務操作‧ 記憶與上下文管理:建立 ChatMemory 系統,實現對話歷史的 短期記憶 和跨會話的 長期記憶‧ 多模態功能集成:實現圖片、語音、影片分析及生成等功能‧結構化輸出保證:讓 AI 回應自動轉換為 類型安全 的 Java 物件,便於系統整合與數據處理【企業部署與優化】打造生產就緒的 AI 平台‧ 數據品質保證:深入了解 ETL的 文本清理、智能分塊 和 元資料增強 等技術‧ Advanced RAG:學習 Embedding、Re-ranking排序優化,將檢索準確率提升至 90% 以上‧ MCP協議擴展:掌握MCP,這是標準AI工具接口,可輕鬆整合外部服務‧生產部署與監控:進行效能監控與成本追蹤【本書適合】◎Java 開發者: 熟悉 Spring Boot 或 Spring Framework,希望快速進入 AI 應用開發領域◎企業架構師與技術主管: 負責設計穩定、高效能、可擴展的 企業級 AI 平台 和
優惠:新書特惠 優惠價: 79 647
庫存:4
ChatGPT開發手冊Turbo×Vision進化版:用OpenAI Chat/ Assistants API.Function calling設計GPTs action.LINE/Discord bot.股市分析/ 自動助理
滿額折
出版日:2024/01/12 作者:施威銘研究室  出版社:旗標出版社  裝訂:平裝
內容介紹:在 ChatGPT 帶起生成式 AI 百家齊放的新世紀, 整合語言模型已勢不可擋。隨著 OpenAI 釋出更厲害的新模型與整合度更高的 API, 善用語言模型理解文意與能言善道的超強特性, 邁入『自然語言就是程式語言』的願景已經不再是夢想。終端用戶將使用自然語言操控應用程式, 由語言模型自主理解規劃邏輯流程, 我們的程式則是語言模型背後的軍火庫, 串接外部各式各樣的功能。| 用真實上線的 GPTs 學 action 開發 |即使 GPTs 已經提供搜尋網路、上傳檔案的功能, 仍然無法隨意取用外部功能, 因此 GPTs 最關鍵的環節就是 action 外掛系統, 讓語言模型與外界接軌。本書會帶大家用真實上線的台鐵時刻表查詢專家當範例, 手把手教你設計 GPTs action, 補強客製 GPTs 欠缺的功能。| 串接 Google OAuth2 API 管控 action 使用者 |客製的 GPTs 要能針對不同使用者提供客製服務才是真客製, 本書會說明如何串接 Google OAuth2 API, 幫 GPTs action 加上登入 Google 帳號機制, 以便後端程式可以根據登入的使用者提供不同的服務, 設計出真正客製的 ChatGPT。| Chat/Assistants API 全解析 |Assistants API 是 OpenAI API 家族的大禮, 以往我們必須自己處理的對話記錄、網路搜尋、向量資料庫、程式執行工具、文字生圖等等功能, 現在全部整合在 Assistants API 中, 成為實作 AI 助理的基石。本書會帶大家深度瞭解 Chat API 與 Assistants API 的差異, 讓你針對問題挑選適當的 API。| 深入 function calling 機制 |即使是最新的 gpt-4 模型, 訓練資料也僅止於 2023 年 4 月, 模型本身也不能連網取得新知, 更無法介接外部 API。透過 function calling 機制, 就可以撰寫各式各樣的函式作為延伸語言模型能力的外掛, 任由模型取用。新版模型更強化功能, 提供 parallel function calling, 即使複雜問題也能自動分解由多個函式完成。| 整合 gpt-4-vision 模型 |gpt-4-vision 讓模型長眼睛, 本書就利用這項功
優惠價: 95 779
庫存:2
科技藍海策略的保衛戰:2006美國專利訴訟(一)
滿額折
出版日:2006/03/01 作者:陳森豐  出版社:禹騰科技法律事務所  裝訂:精裝
第一章 申請專利範圍解釋的性質第二章 申請專利範圍解釋的基本學說與策略第三章 申請專利範圍解釋的一般原則第四章 解釋申請專利範圍的基本依據-內部證據第五章 解釋申請專利範圍的補充依據-外步證據第六章 手段功能用語(means-plus-function)的申請專利範圍解釋第七章 非特定用語(non-specific terms)的申請專利範圍解釋附錄
優惠價: 9 1620
庫存:2
出版社:Cengage Learning  裝訂:平裝
Ideal for readers encountering biochemistry for the first time, Garrett and Grisham’s BIOCHEMISTRY, Seventh Edition, makes even complex course concepts more accessible while revealing the beauty and usefulness of biochemistry in the everyday world. This engaging text illuminates the fundamental principles governing the structure, function and interactions of biological molecules, providing a solid foundation in biochemistry whether you are an undergraduate majoring in life sciences, chemistry or premedical programs, or a medical or graduate health sciences student seeking a deeper understanding of human physiology. Updated to reflect tremendous recent developments in biochemistry, the Seventh Edition features new and revised material and presentations throughout the text, incorporating additional content while maintaining a balanced and streamlined presentation. In addition, the authors emphasize the interrelationships of ideas to help you appreciate the overarching questions of bioche
優惠價: 1 1980
庫存:1
Boolean Functions: Topics In Asynchronicity
90 折
出版日:2019/01/25 作者:Vlad  出版社:John Wiley & Sons Inc  裝訂:精裝
The essential guide showing how the unbounded delay model of computation of the Boolean functions may be used in the analysis of the Boolean networks Boolean Functions: Topics in Asynchronicity&n
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
深度探索Go語言:物件模型與runtime的原理特性及應用【好評熱銷版】
79 折
出版日:2026/02/19 作者:封幼林  出版社:深智數位  裝訂:平裝
https://youtu.be/9E_99Kmgdj0☆★☆好評熱銷再上市☆★☆【書籍特點】● x86組合語言基礎知識,通用暫存器、常用指令,記憶體分頁● 指標的實現原理,指標組成、相關操作,以及Go語言的unsafe套件等。● 函數、堆疊框佈局、呼叫約定、變數逃逸、Function Value、閉包、defer和panic● 方法,實現原理,接收者類型、Method Value和組合式繼承● 介面,Go語言動態特性,括裝箱、方法集、動態派發、類型斷言、類型系統和反射● goroutine實現,GMP模型、goroutine的建立與退出、排程迴圈、先佔式排程、timer、netpoller和監控執行緒● 同步,記憶體亂數、原子指令、自旋鎖、runtime互斥鎖和訊號量、ync.Mutex、hannel● 堆積記憶體管理,heapArena、mspan,mallocgc函數、C的三色抽象、寫入屏障● 堆疊記憶體管理,goroutine堆疊的分配、增長、收縮和釋放【內容簡介】想要有C語言的高速和Python的便利性嗎?Go是最棒的選擇,Go語言在語言層面上支援程式碼協同(goroutine)和通道(channel),這使得併發程式設計變得非常簡單和高效。在多核CPU時代,高效的併發程式設計已經成為軟體開發的必備技能之一。此外Go語言的語法設計簡單清晰,注重可讀性和簡潔性,使得初學者能夠快速入門。Go語言的標準函數庫提供了豐富的功能,可以直接使用,避免了一些繁瑣的工作。另外在跨平臺支援方面,Go語言的編譯器可以將程式編譯成機器碼,支援跨平臺編譯,可以在不同的作業系統和硬體平臺上運行,這對於開發跨平臺應用程式非常有幫助。Go最有名的就是其高性能。Go語言的編譯速度非常快,生成的二進位檔案也很小,運行速度也非常快。Go語言在一些性能要求較高的應用領域,如Web服務、巨量資料處理、容器等方面表現出色。另外其開發效率高,Go語言在一些方面與Python、Ruby等動態語言相似,但又具有靜態語言的優點。Go語言的編譯器能夠在編譯期間捕捉一些錯誤,這使得程式的穩固性更高。同時,Go語言的工具鏈非常完善,如go fmt、go vet等工具可以幫助開發者規範程式,提高開發效率。
優惠:新書特惠 優惠價: 79 695
庫存:8
The Brain Book:A Visual Guide to Structure and Function
滿額折
出版日:2026/02/05 作者:Rita Carter  出版社:Dorling Kindersley Ltd  裝訂:精裝
This new edition of the award-winningTheBrain Bookuses the latest findings from neuroscience research and brain-imaging technology to take you on a journey into the human brain.CGI artworks and MRI scans reveal the brain's anatomy in unprecedented detail. Step-by-step sequences unravel and simplify complex processes, such as how nerves transmit signals and how memories are laid down and recalled. The book answers fundamental and compelling questions about the brain, such as what it means to be conscious and what happens in the brain when we're asleep.Written by award-winning author Rita Carter, this is an accessible reference book to a fascinating part of the human body. Thanks to improvements in scanning technology, our understanding of the brain is changing fast. Now in its fourth edition, The Brain Book draws on the latest information to provide a fascinating guide to one of science's most exciting frontiers.
優惠價: 79 1086
庫存:4
「達成目標不卡住」的青春實作課:幫助11至15歲少年提升彈性思考、組織與規劃能力
79 折
「不卡住」的青春,一起來預備!患有自閉症、注意力不足過動症、焦慮症或相關診斷的孩子之所以生活處處「卡住」,是因為伴隨的大腦「執行功能」(Executive Function)障礙未能改善,方方面面的生活挑戰蔓延至青春期,令家長擔憂他們的未來。所幸,美國國家兒童醫院和知名特殊教育機構艾維蒙特學校(Ivymount School)共同研發、在提升孩童執行功能上成效卓著的「達成目標不卡住」方案,已開發出針對11-15歲少年所設計的課程。該課程巧妙地強化他們的後設認知與執行能力,增進規劃、協調與妥協的技巧,為長大成人預做準備。本方案別出心裁,內容涵蓋自我覺察、情緒表達、保持彈性、全局思維、備案計畫、妥協等技能,並運用顯眼的視覺圖示、角色扮演、實作遊戲、強化關鍵詞彙等方式,讓學習過程生動有趣,全方位提升執行功能。本書鼓勵帶領者與家長、教師攜手合作,幫助學員將所學應用於日常。透過循序漸進的小組練習,孩子將發展出獨立解決問題的能力,為未來學業和人際關係打下堅實的基礎。
優惠:2026開學季書展 優惠價: 79 647
庫存:4
Ghost Nation:The Story of Taiwan and Its Struggle for Survival
滿額折
出版日:2025/07/17 作者:Chris Horton  出版社:Pan Macmillan  裝訂:平裝
一位記者眼中的台灣真實樣貌。本書是外籍記者 Chris Horton 十餘年駐台採訪的成果,記錄台灣從殖民、戰後動盪,到成為民主社會的歷程。在全球關注中美對抗之際,台灣處於焦點,卻仍常被誤解。Horton 深入探訪政壇、產業界與一般民眾,描繪出台灣人面對威脅、追尋國際認同的複雜心情。這本書用記者的冷靜與觀察力,為讀者呈現台灣真實而多元的樣貌,是一本讓人更貼近這座島嶼、理解其處境與價值的著作。The gripping story of Taiwan's past and precarious present from one of Taiwan's top foreign correspondents. Following the war in Ukraine, all eyes have turned to Taiwan as the next possible geopolitical tinderbox. Yet while it lies at the epicentre of China and the USA's tense relationship, its story and its people go overlooked and misunderstood. In Ghost Nation, leading journalist Chris Horton will uncover why this disputed country has become so critical to the world's future.Drawing on over a decade of Horton's life and reportage in Taiwan, Ghost Nation unravels the complexity of this thriving democracy and technological powerhouse. Exploring the ghosts of Taiwan’s past, a history haunted by colonization and political turmoil, Horton interviews influential figures and everyday citizens to
優惠價: 79 738
庫存 > 10
業界實戰親授:大型語言模型微調、最佳化、佈署一次到位
滿額折
出版日:2025/06/19 作者:莊建; 滕海云; 莊金蘭-著  出版社:深智數位  裝訂:平裝
?回顧對話機器人歷史,從人機交流到現代語言模型?解析人工智慧發展,聚焦通用人工智慧(AGI)?指導大型語言模型私有化部署,涵蓋環境建置?介紹語言模型核心理論,從統計方法到Transformer?解析Hugging Face與Transformers函數庫應用?介紹高效微調技術,如Prompt Tuning與LoRA?實作LoRA與QLoRA微調GLM-4,提升效能?探討提示工程,提升模型推理與應用能力?解析多角色對話與AI Agent的運作模式?介紹LangChain框架,涵蓋Chain與Agents?展示垂直領域模型應用,以紅十字會資料實作?解析檢索增強生成(RAG),結合LLM與知識庫本書第一章回顧對話機器人的發展,探討人工智慧的演進與未來趨勢。第二章介紹大型語言模型的私有化部署,包括CUDA環境建置、PyTorch安裝與GLM-4模型執行。第三章解析語言模型的理論基礎,涵蓋統計語言模型、Transformer架構與Attention機制。第四章說明Hugging Face與Transformers函數庫的應用,幫助讀者開發與微調LLM。第五章介紹高效微調技術,如Prompt Tuning、LoRA、QLoRA等方法,提升模型效能。第六章進一步探討LoRA微調GLM-4的實戰應用與量化技術。第七章解析提示工程,說明Few-shot、Chain of Thought等推理增強技術。第八章介紹AI Agent與多角色對話模式,並探討Function Calling的應用。第九章深入LangChain框架,涵蓋Chain、Memory與Agents的實作,並整合資料庫與檢索增強生成(RAG)技術。第十章展示大型模型在垂直領域的應用,例如微調GLM-4處理紅十字會資料,提供完整的實戰示範。
優惠價: 9 882
庫存:4
德雷瑟裝飾設計原理:史上第一位工業設計師當代裝飾設計理論與紋飾創作應用方法
滿額折
出版日:2022/07/30 作者:克里斯多夫‧德雷瑟  出版社:易博士  裝訂:平裝
裝飾設計原理:當代裝飾設計理論與紋飾創作應用Wedgwood、Tiffany&Co.、Minton 設計師19世紀最重要的設計名家 克里斯多夫‧德雷瑟具有現代視野、擁抱工業化,形隨機能的先鋒德雷瑟是19世紀最重要設計理論權威與實踐者,生於維多利亞時代,卻具有獨特的現代視野、擁抱工業各命的製程,意圖製造出大眾可以負擔的商品,外界稱他為人民的設計師。工業革命後的英國,人們以城市為生活中心,四處可見粗製濫造工業製品,因而一場反工業、反璞歸真的美術工藝運動應運而生。德雷瑟提出「真實、美感、力量」(TRUTH. BEAUTY. POWER)的設計理念,以自然秩序為依歸,創作出和諧、平靜、耐看、實用的作品。他為瓷器品牌瑋緻活(Wedgwood)、明頓(Minton)與第芬尼珠寶(Tiffany & Co.)等30餘間品牌提供設計,師承歐文‧瓊斯(Owen Jones)、經常與威廉‧莫理斯(William Morris)相提並論,其設計理念影響眾多美國建築師,包括提出 Form follow function 芝加哥學派的路易‧蘇利文,可說是「形隨機能」觀念的先鋒。 本書收整德雷瑟最重要的兩部裝飾設計著作:《裝飾設計原理》(Principles of Decorative)與 《設計研究》(Studies in Design),內容涵蓋德雷瑟的核心設計觀念、各地區民族的裝飾風格、紋飾設計原則、色彩學,涉及建築物、室內空間、家具、家飾、日常器具的設計和裝飾方法,並且在德雷瑟至今流傳的雋永作品中得到實踐,是現今設計界可以參照、有理有據、有歷史脈絡的設計方法。
優惠價: 9 1530
庫存:1
Ten Cate's Oral Histology ─ Development, Structure, and Function
66 折
出版日:2017/11/01 作者:Antonio Nanci (EDT)  出版社:Elsevier Science Health Science  裝訂:精裝
Gain a deeper understanding of oral health with the definitive text in oral histology. Written by Dr. Antonio Nanci, a world-renowned leader in cell biology, the new ninth edition of Ten Cate's Oral H
優惠:匯讀中外曬書展 優惠價: 66 2574
庫存:1
Other Asias
60 折
出版日:2008/01/03 作者:Gayatri Chakravorty Spivak  出版社:John Wiley & Sons Inc  裝訂:平裝
本書是 Spivak 對「亞洲」概念所提出的重要反思,她拒絕將亞洲視為單一、可概括的對象,而是強調其內在的差異性與歷史層次。書中收錄多篇關鍵文章,從原住民、性別、都市化到離散經驗,交織政治現實與人文教育的責任,並反省理論在不同地理與社會脈絡中的侷限。Spivak 以細膩而嚴謹的筆法,提醒讀者必須在全球化語境中,重新思考知識、生產與倫理的關係。本書不僅是後殖民研究的重要文本,對關心後殖民思想、亞洲研究與文化政治的讀者而言,本書提供了不可取代的思考路徑。In this major intervention into the 'Asian Century', Gayatri Chakravorty Spivak challenges the reader to re-think Asia, in its political and cultural complexity, in the global South and in the metropole.Major work from one of the world’s most distinguished literary and cultural theorists Intervenes in the fraught issues generated by ideas of Asia Featured essays include “Foucault and Najibullah,” “Moving Devi,” “Responsibility,” and “Megacity” Other chapters focus on, among other things, Human Rights, and the turbulent "present" of the Caucasus Essential reading for anyone interested in postcolonialism, and devotees of Spivak’s writing
優惠:匯讀中外曬書展 優惠價: 6 1474
庫存:1
Complexity Dichotomies for Counting Problems
90 折
出版日:2017/08/31 作者:Jin-Yi Cai  出版社:Cambridge Univ Pr  裝訂:精裝
Complexity theory aims to understand and classify computational problems, especially decision problems, according to their inherent complexity. This book uses new techniques to expand the theory for use with counting problems. The authors present dichotomy classifications for broad classes of counting problems in the realm of P and NP. Classifications are proved for partition functions of spin systems, graph homomorphisms, constraint satisfaction problems, and Holant problems. The book assumes minimal prior knowledge of computational complexity theory, developing proof techniques as needed and gradually increasing the generality and abstraction of the theory. This volume presents the theory on the Boolean domain, and includes a thorough presentation of holographic algorithms, culminating in classifications of computational problems studied in exactly solvable models from statistical mechanics.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/10/30 作者:Fredmund Malik  出版社:Univ of Chicago Pr  裝訂:精裝
The rapidly increasing complexity of societal systems increases the need for professionalism in management—one must be able to function reliably regardless of increasing management complexity in the
優惠價: 1 3000
無庫存
Boolean Functions―Theory, Algorithms, and Applications
90 折
出版日:2011/05/16 作者:Yves Crama  出版社:Cambridge Univ Pr  裝訂:精裝
Written by prominent experts in the field, this monograph provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations) and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form for the first time. Because of the depth and breadth and its emphasis on algorithms and applications, this monograph will have sp
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Boolean Models and Methods in Mathematics, Computer Science, and Engineering
90 折
出版日:2010/06/28 作者:Yves Crama  出版社:Cambridge Univ Pr  裝訂:精裝
This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/12/15 作者:J. Donald Monk  出版社:Springer Verlag  裝訂:平裝
This book is concerned with cardinal number valued functions defined for any Boolean algebra. Examples of such functions are independence, which assigns to each Boolean algebra the supremum of the car
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Complexity and the Function of Mind in Nature
90 折
出版日:1998/09/28 作者:Peter Godfrey-Smith  出版社:Cambridge Univ Pr  裝訂:平裝
This book explains the relationship between intelligence and environmental complexity, and in so doing links philosophy of mind to more general issues about the relations between organisms and environments, and to the general pattern of 'externalist' explanations. The author provides a biological approach to the investigation of mind and cognition in nature. In particular he explores the idea that the function of cognition is to enable agents to deal with environmental complexity. The history of the idea in the work of Dewey and Spencer is considered, as is the impact of recent evolutionary theory on our understanding of the place of mind in nature.
優惠價: 9 1930
無庫存
Complexity and the Function of Mind in Nature
90 折
出版日:1996/03/29 作者:Peter Godfrey-Smith  出版社:Cambridge Univ Pr  裝訂:精裝
This book explains the relationship between intelligence and environmental complexity, and in so doing links philosophy of mind to more general issues about the relations between organisms and environments, and to the general pattern of 'externalist' explanations. The author provides a biological approach to the investigation of mind and cognition in nature. In particular he explores the idea that the function of cognition is to enable agents to deal with environmental complexity. The history of the idea in the work of Dewey and Spencer is considered, as is the impact of recent evolutionary theory on our understanding of the place of mind in nature.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Bounded Arithmetic, Propositional Logic and Complexity Theory
90 折
出版日:1995/11/24 作者:Jan Krajicek  出版社:Cambridge Univ Pr  裝訂:精裝
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Boolean Functions for Cryptography and Coding Theory
90 折
出版日:2020/06/30 作者:Claude Carlet  出版社:Cambridge Univ Pr  裝訂:精裝
Boolean functions are essential to systems for secure and reliable communication. This comprehensive survey of Boolean functions for cryptography and coding covers the whole domain and all important results, building on the author's influential articles with additional topics and recent results. A useful resource for researchers and graduate students, the book balances detailed discussions of properties and parameters with examples of various types of cryptographic attacks that motivate the consideration of these parameters. It provides all the necessary background on mathematics, cryptography, and coding, and an overview on recent applications, such as side channel attacks on smart cards, cloud computing through fully homomorphic encryption, and local pseudo-random generators. The result is a complete and accessible text on the state of the art in single and multiple output Boolean functions that illustrates the interaction between mathematics, computer science, and telecommunications
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Boolean Functions and Their Applications in Cryptography
90 折
出版日:2016/03/02 作者:Chuan-kun Wu; Dengguo Feng  出版社:Springer Verlag  裝訂:精裝
This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties. More specifi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Bridging Constraint Satisfaction and Boolean Satisfiability
90 折
出版日:2015/08/19 作者:Justyna Petke  出版社:Springer-Verlag New York Inc  裝訂:精裝
This book represents a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by providing theoretical explanations for why SAT-solvers are efficient on cert
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/07/25 作者:Mahdi Pourfath  出版社:Springer Verlag  裝訂:精裝
For modeling the transport of carriers in nanoscale devices, a Green-function formalism is the most accurate approach. Due to the complexity of the formalism, one should have a deep understanding of t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/12/30 作者:Shih-kung Lai; Haoying Han  出版社:Ashgate Pub Co  裝訂:精裝
In recent years, there has been a new understanding of how cities evolve and function, which reflects the emergent paradigm of complexity. The crux of this view is that cities are created by different
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/03/12 作者:Thomas W. Cusick; Pantelimon Stanica  出版社:Academic Pr  裝訂:精裝
Boolean functions are the building blocks of symmetric cryptographic systems. Symmetrical cryptographic algorithms are fundamental tools in the design of all types of digital security systems (i.e. co
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Introduction to Boolean Algebras
滿額折
出版日:2008/12/30 作者:Steven Givant; Paul Halmos  出版社:Springer Verlag  裝訂:精裝
This book is an informal, although systematic presentation of lectures given by the authors on Boolean algebras, intended for advanced undergraduates and beginning graduate students. In a bold and ref
優惠價: 1 3477
無庫存
  • 11203
    281
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 281

暢銷榜

客服中心

收藏

會員專區