foundations of computing - 三民網路書店

1.Foundations of Cloud Computing

作者：Robert Shimonski 出版社：MORGAN KAUFMANN PUBL INC 出版日：2024/03/01 裝訂：平裝

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

66折

2.The Structure of Typed Programming Languages

作者：David A. Schmidt 出版社：Mit Pr 出版日：1994/03/01 裝訂：平裝

The Structure of Typed Programming Languages describes the fundamental syntactic andsemantic features of modern programming languages, carefully spelling out their impacts on languagedesign. Using cla

挖寶專區-原文

定價：1600 元，優惠價：66 1056

庫存：1

3.On the Foundations of Computing

作者：Giuseppe Primiero 出版社：Oxford Univ Pr 出版日：2020/01/16 裝訂：精裝

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

滿額折

4.On the Foundations of Computing

作者：Giuseppe Primiero 出版社：Oxford Univ Pr 出版日：2020/01/16 裝訂：平裝

定價：3551 元，優惠價：1 3551

無庫存，下單後進貨(到貨天數約30-45天)

90折

5.Foundations of Geometric Algebra Computing

作者：Dietmar Hildenbrand 出版社：Springer-Verlag New York Inc 出版日：2012/11/30 裝訂：精裝

The author defines “Geometric Algebra Computing” as the geometrically intuitive development of algorithms using geometric algebra with a focus on their efficient implementation, and the goal of this b

定價：3500 元，優惠價：9 3150

無庫存，下單後進貨(到貨天數約45天)

6.Decentralized Spatial Computing—Foundations of Geosensor Networks

作者：Matt Duckham; Nicola Santoro (FRW) 出版社：Springer Verlag 出版日：2012/07/27 裝訂：精裝

Computing increasingly happens somewhere, with that geographic location important to the computational process itself. Many new and evolving spatial technologies, such as geosensor networks and smartp

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

7.Foundations of Fuzzy Logic and Soft Computing

作者：Patricia Melin (EDT); Oscar R. Castillo (EDT); Luis T. Aguilar (EDT); Janusz Kacprzyk (EDT); Witold Pedrycz (EDT) 出版社：Springer-Verlag New York Inc 出版日：2007/08/01 裝訂：平裝

This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of fuzzy logic and soft computing. Coverage includes the application of fuzzy lo

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

8.Foundations of Computer Science

作者：Behrouz A. Forouzan; Firouz Mosharraf 出版社：Cengage Learning Emea 出版日：2007/12/05 裝訂：平裝

Based on the ACM model curriculum guidelines, this easy-to-read and easy-to-navigate text covers all the fundamentals of computer science required for first year students embarking on a computing degr

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

9.Practical Foundations of Mathematics

作者：Paul Taylor 出版社：Cambridge Univ Pr 出版日：1999/05/13 裝訂：精裝

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

90折

10.Foundations of Parallel Programming

作者：D. B. Skillicorn 出版社：Cambridge Univ Pr 出版日：2005/08/25 裝訂：平裝

The major reason for the lack of use of parallel computing is the mismatch between the complexity and variety of parallel hardware, and the software development tools to program it. The cost of developing software needs to be amortised over decades, but the platforms on which it executes change every few years, requiring complete rewrites. The evident cost-effectiveness of parallel computation has not been realized because of this mismatch. This book presents an integrated approach to parallel software development by addressing both software and performance issues together. It presents a methodology for software construction that produces architecture-independent and intellectually abstract software. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract data types, and of objects. Categorical data types abstract both from the representation of a

定價：1949 元，優惠價：9 1754

無庫存，下單後進貨(到貨天數約45-60天)

90折

11.Foundations of Probabilistic Programming

作者：Gilles Barthe 出版社：Cambridge Univ Pr 出版日：2020/12/31 裝訂：精裝

What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core.

定價：3179 元，優惠價：9 2861

無庫存，下單後進貨(到貨天數約45-60天)

滿額折

12.Mathematical Foundations of Computer Networking

作者：Srinivasan Keshav 出版社：Prentice Hall 出版日：2012/04/25 裝訂：平裝

“To design future networks that are worthy of society’s trust, we must put the ‘discipline’ of computer networking on a much stronger foundation. This book rises above the considerable minutiae of tod

定價：3825 元，優惠價：1 3825

無庫存，下單後進貨(到貨天數約30-45天)

13.Foundations of Reasoning Under Uncertainty

作者：Bernadette Bouchon-Meunier (EDT); Luis Magdalena (EDT); Manuel Ojeda-Aciego (EDT); Jose-Luis Verdegay (EDT) 出版社：Springer Verlag 出版日：2010/02/15 裝訂：精裝

This volume draws on papers presented at the 2008 Conference on Information Processing and Management of Uncertainty (IPMU), held in Malaga, Spain, organized by the University of Malaga. The conferenc

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

90折

14.Foundations of Component-Based Systems

作者：Gary T. Leavens 出版社：Cambridge Univ Pr 出版日：2010/08/19 裝訂：平裝

This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into pract

定價：2859 元，優惠價：9 2573

無庫存，下單後進貨(到貨天數約45-60天)

15.Foundations of Component-Based Systems

作者：Gary T. Leavens 出版社：Cambridge Univ Pr 出版日：2000/03/28 裝訂：精裝

This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into pract

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

90折

16.Foundations of Cryptography ─ Basic Tools

作者：Oded Goldreich 出版社：Cambridge Univ Pr 出版日：2007/01/18 裝訂：平裝

Cryptography is concerned with the conceptualization, definition and construction of computing systems that address security concerns. The design of cryptographic systems must be based on firm foundations. This book presents a rigorous and systematic treatment of the foundational issues: defining cryptographic tasks and solving new cryptographic problems using existing tools. It focuses on the basic mathematical tools: computational difficulty (one-way functions), pseudorandomness and zero-knowledge proofs. The emphasis is on the clarification of fundamental concepts and on demonstrating the feasibility of solving cryptographic problems, rather than on describing ad-hoc approaches. The book is suitable for use in a graduate course on cryptography and as a reference book for experts. The author assumes basic familiarity with the design and analysis of algorithms; some knowledge of complexity theory and probability is also useful.

定價：2989 元，優惠價：9 2690

無庫存，下單後進貨(到貨天數約45-60天)

90折

17.Foundations of Cryptography ─ Basic Applications

作者：Oded Goldreich 出版社：Cambridge Univ Pr 出版日：2009/09/17 裝訂：平裝

Cryptography is concerned with the conceptualization, definition and construction of computing systems that address security concerns. The design of cryptographic systems must be based on firm foundations. Foundations of Cryptography presents a rigorous and systematic treatment of foundational issues, defining cryptographic tasks and solving cryptographic problems. The emphasis is on the clarification of fundamental concepts and on demonstrating the feasibility of solving several central cryptographic problems, as opposed to describing ad-hoc approaches. This second volume contains a thorough treatment of three basic applications: Encryption, Signatures, and General Cryptographic Protocols. It builds on the previous volume, which provided a treatment of one-way functions, pseudorandomness, and zero-knowledge proofs. It is suitable for use in a graduate course on cryptography and as a reference book for experts. The author assumes basic familiarity with the design and analysis of algori

定價：3639 元，優惠價：9 3275

無庫存，下單後進貨(到貨天數約45-60天)

滿額折

18.Foundations of Logic and Theory of Computation

作者：Amilcar Sernadas; Cristina Sernadas 出版社：Lightning Source Inc 出版日：2008/03/31 裝訂：平裝

定價：1643 元，優惠價：1 1643

無庫存，下單後進貨(到貨天數約30-45天)

19.Foundations Of Aerodynamics: Bases Of Aerodynamic Design, Fifth Edition

作者：Kuethe 出版社：John Wiley & Sons Inc 出版日：1997/11/19 裝訂：平裝

Like previous editions, this text has retained it's excellent coverage of basic concepts and broad coverage of the major aspects of aerodynamics. Numerical techniques are described for computing invic

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

20.Epistemic Foundations of Fuzziness ─ Unified Theories on Decision-choice Processes

作者：Kofi Kissi Dompere 出版社：Springer Verlag 出版日：2009/05/04 裝訂：精裝

This monograph is a second in the series of treatment on fuzzy rationality as an enveloping of decision-choice rationalities where limited information, vagueness, ambiguities and inexactnes are essent

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

縮小範圍

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌