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

Mathematics of Discrete Structures for Computer Science

7583
1 / 190
Outer Limits of Reason
滿額折
出版日:2016/11/04 作者:Noson S. Yanofsky  出版社:Mit Pr  裝訂:平裝
Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and r
優惠價: 79 599
庫存:2
Fundamental Proof Methods in Computer Science ─ A Computer-Based Approach
79 折
出版日:2017/05/05 作者:Konstantine Arkoudas; David Musser  出版社:Mit Pr  裝訂:精裝
Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying that a particular system (or component, or algorithm) has certai
Simply Scheme: Introducing Computer Science
79 折
出版日:1999/08/31 作者:Brian Harvey; Matthew Wright  出版社:Mit Pr  裝訂:精裝
This lively introduction to computer science and computer programming in Scheme is for non-computer science majors with a strong interest in the subject and for computer science majors who lack prior
Basic Category Theory for Computer Scientists
79 折
出版日:1991/08/07 作者:Benjamin C. Pierce  出版社:Mit Pr  裝訂:平裝
Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concu
優惠價: 79 1659
無庫存
Computation Structures
79 折
出版日:1989/12/13 作者:Stephen A. Ward; Robert H. Halstead  出版社:Mit Pr  裝訂:精裝
Developed as the text for the basic computer architecture course at MIT, Computation Structures integrates a thorough coverage of digital logic design with a comprehensive presentation of computer ar
Once Upon an Algorithm
滿額折
出版日:2017/08/11 作者:Martin Erwig  出版社:Mit Pr  裝訂:精裝
Picture a computer scientist, staring at a screen and clicking away frantically on a keyboard, hacking into a system, or perhaps developing an app. Now delete that picture. In Once Upon an Algorithm,
優惠價: 79 899
庫存:1
Topology of Violence
滿額折
出版日:2018/04/20 作者:Byung-Chul Han; Amanda Demarco  出版社:Mit Pr  裝訂:平裝
One of today's most widely read philosophers considers the shift in violence from visible to invisible, from negativity to excess of positivity.Some things never disappear -- violence, for example. Vi
優惠價: 79 599
庫存:1
Using OpenMP ─ Portable Shared Memory Parallel Programming
79 折
出版日:2007/10/01 作者:Barbara Chapman; Gabriele Jost; Ruud Van der Pas; David J. Kuck  出版社:Mit Pr  裝訂:平裝
A comprehensive overview of OpenMP, the standard application programming interface for shared memory parallel computing—a reference for students and professionals.
優惠價: 79 1501
庫存:1
System Modeling in Cellular Biology
79 折
出版日:2010/02/26 作者:Zoltan Szallasi; Jorg Stelling; Vipul Periwal  出版社:Mit Pr  裝訂:平裝
Research in systems biology requires the collaboration of researchers from diversebackgrounds, including biology, computer science, mathematics, statistics, physics, andbiochemistry. These collaborati
System Modeling in Cell Biology: From Concepts to Nuts And Bolts
79 折
出版日:2006/03/24 作者:Zoltan Szallasi; Jorg Stelling; Vipul Periwal  出版社:Mit Pr  裝訂:精裝
Research in systems biology requires the collaboration of researchers from diverse backgrounds, including biology, computer science, mathematics, statistics, physics, and biochemistry. These collabor
Structure and Interpretation of Computer Programs
79 折
出版日:2022/02/01 作者:Harold Abelson  出版社:Mit Pr  裝訂:平裝
A new version of the classic and widely used text adapted for the JavaScript programming language.Since the publication of its first edition in 1984 and its second edition in 1996, Structure and Interpretation of Computer Programs (SICP) has influenced computer science curricula around the world. Widely adopted as a textbook, the book has its origins in a popular entry-level computer science course taught by Harold Abelson and Gerald Jay Sussman at MIT. SICP introduces the reader to central ideas of computation by establishing a series of mental models for computation. Earlier editions used the programming language Scheme in their program examples. This new version of the second edition has been adapted for JavaScript. The first three chapters of SICP cover programming concepts that are common to all modern high-level programming languages. Chapters four and five, which used Scheme to formulate language processors for Scheme, required significant revision. Chapter four offers new mat
優惠價: 79 3555
無庫存
An Introductory Course in Computational Neuroscience
79 折
出版日:2018/10/02 作者:Paul Miller; Terrence J. Sejnowski ; Tomaso A. Poggio  出版社:Mit Pr  裝訂:精裝
A textbook for students with limited background in mathematics and computer coding, emphasizing computer tutorials that guide readers in producing models of neural behavior.This introductory text teac
優惠價: 79 1651
無庫存
Great Ideas in Computer Science With Java
79 折
出版日:2001/11/09 作者:Alan W. Biermann; Dietolf Ramm  出版社:Mit Pr  裝訂:平裝
This book presents the "great ideas" of computer science, condensing a large amount of complex material into a manageable, accessible form; it does so using the Java programming language. T
Handbook of Theoretical Computer Science, 2-vol. set
79 折
出版日:1994/01/04 作者:J. Van Leeuwen  出版社:Mit Pr  裝訂:平裝
The "Handbook of Theoretical Computer Science" provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers mo
Computer Age
79 折
出版日:1980/07/09 作者:Michael L. Dertouzos  出版社:Mit Pr  裝訂:平裝
The past and future of computers in our lives, from science and business to the home. Gathered from twenty leading authorities in computer science, the chapters of The Computer Age range across a br
Philosophy for Passengers
滿額折
出版日:2022/05/03 作者:Michael Marder  出版社:Mit Pr  裝訂:平裝
A philosophical guide to passengerhood, with reflections on time, space, existence, boredom, our sense of self, and our sense of the senses.While there are entire bookstore sections―and even entire bookstores―devoted to travel, there have been few books on the universal experience of being a passenger. With this book, philosopher Michael Marder fills the gap, offering a philosophical guide to passengerhood. He takes readers from ticketing and preboarding (preface and introduction) through a series of stops and detours (reflections on topics including time, space, existence, boredom, our sense of self, and our sense of the senses) to destination and disembarking (conclusion). Marder finds that the experience of passengers in the twenty-first century is experience itself, stretching well beyond railroad tracks and airplane flight patterns. On his journey through passengerhood, he considers, among many other things, passenger togetherness, which goes hand in hand with passenger lonelin
優惠價: 79 479
庫存:1
Artificial Communication
滿額折
出版日:2022/04/05 作者:Elena Esposito  出版社:Mit Pr  裝訂:精裝
A proposal that we think about digital technologies such as machine learning not in terms of artificial intelligence but as artificial communication. Algorithms that work with deep learning and big data are getting so much better at doing so many things that it makes us uncomfortable. How can a device know what our favorite songs are, or what we should write in an email? Have machines become too smart? In Artificial Communication, Elena Esposito argues that drawing this sort of analogy between algorithms and human intelligence is misleading. If machines contribute to social intelligence, it will not be because they have learned how to think like us but because we have learned how to communicate with them. Esposito proposes that we think of “smart” machines not in terms of artificial intelligence but as artificial communication. To do this, we need a concept of communication that can take into account the possibility that a communication partner may not be a human being but an algor
優惠價: 79 839
庫存:2
Reality Mining ─ Using Big Data to Engineer a Better World
滿額折
出版日:2016/10/07 作者:Nathan Eagle; Kate Greene  出版社:Mit Pr  裝訂:平裝
Big Data is made up of lots of little data: numbers entered into cell phones, addresses entered into GPS devices, visits to websites, online purchases, ATM transactions,
優惠價: 79 600
庫存:1
The Semiotic Engineering Of Human-computer Interaction
79 折
出版日:2005/02/11 作者:Clarisse Sieckenius De Souza  出版社:Mit Pr  裝訂:精裝
In The Semiotic Engineering of Human-Computer Interaction, Clarisse Sieckenius de Souza proposes an account of HCI that draws on concepts from semiotics and computer science to investigate the relati
Semiotic Engineering of Human-Computer Interaction
79 折
出版日:2005/02/11 作者:ClarisseSieckenius De Souza  出版社:Mit Pr  裝訂:平裝
A theory of HCI that uses concepts from semiotics and computer science to focus on the communication between designers and users during interaction. In The Semiotic Engineering of Human-Computer Int
Architects of the Information Society: Thirty-Five Years of the Laboratory for Computer Science at Mit
79 折
出版日:1999/04/12 作者:Simson Garfinkel; Harold Abelson  出版社:Mit Pr  裝訂:精裝
This book, published in celebration of the 35th anniversary of MIT's LCS, chronicles its history, achievements, and continued importance to computer science.
Hal's Legacy: 2001'S Computer As Dream and Reality
79 折
出版日:1998/03/02 作者:David G. Stork  出版社:Mit Pr  裝訂:平裝
How science fiction's most famous computer has influenced the research and design of intelligent machines.
Structure and Interpretation of Computer Programs
79 折
出版日:1996/07/25 作者:Harold Abelson; Gerald Jay Sussman; Julie Sussman  出版社:Mit Pr  裝訂:精裝
Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text.There ar
Humour the Computer
79 折
出版日:1995/05/04 作者:Andrew Davison  出版社:Mit Pr  裝訂:平裝
You don't have to have a degree in computer science to enjoy this unique collection of funny stories, parodies, laughable true-life incidents, comic song lyrics, and jokey poems from the world of comp
Neurorobotics
79 折
出版日:2022/11/15 作者:Tiffany J. Hwu  出版社:Mit Pr  裝訂:精裝
An introduction to neurorobotics that presents approaches and design principles for developing intelligent autonomous systems grounded in biology and neuroscience.Neurorobotics is an interdisciplinary field that draws on artificial intelligence, cognitive sciences, computer science, engineering, psychology, neuroscience, and robotics. Because the brain is closely coupled to the body and situated in the environment, neurorobots―autonomous systems modeled after some aspect of the brain―offer a powerful tool for studying neural function and may also be a means for developing autonomous systems with intelligence that rivals that of biological organisms. This textbook introduces approaches and design principles for developing intelligent autonomous systems grounded in biology and neuroscience. It is written for anyone interested in learning about this topic and can be used in cognitive robotics courses for students in psychology, cognitive science, and computer science.Neurorobotics covers
優惠價: 79 2402
無庫存
Human-Centered Data Science
79 折
出版日:2022/02/01 作者:Cecilia Aragon  出版社:Mit Pr  裝訂:平裝
Best practices for addressing the bias and inequality that may result from the automated collection, analysis, and distribution of large datasets.Human-centered data science is a new interdisciplinary field that draws from human-computer interaction, social science, statistics, and computational techniques. This book, written by founders of the field, introduces best practices for addressing the bias and inequality that may result from the automated collection, analysis, and distribution of very large datasets. It offers a brief and accessible overview of many common statistical and algorithmic data science techniques, explains human-centered approaches to data science problems, and presents practical guidelines and real-world case studies to help readers apply these methods. The authors explain how data scientists’ choices are involved at every stage of the data science workflow―and show how a human-centered approach can enhance each one, by making the process more transparent, aski
優惠價: 79 1051
無庫存
Certified Programming With Dependent Types ― A Pragmatic Introduction to the Coq Proof Assistant
79 折
出版日:2013/12/06 作者:Adam Chlipala  出版社:Mit Pr  裝訂:精裝
The technology of mechanized program verification can play a supporting role in manykinds of research projects in computer science, and related tools for formal proof-checking areseeing increasing ado
The Outer Limits of Reason ─ What Science, Mathematics, and Logic Cannot Tell Us
79 折
出版日:2013/08/23 作者:Noson S. Yanofsky  出版社:Mit Pr  裝訂:精裝
Many books explain what is known about the universe. This book investigates whatcannot be known. Rather than exploring the amazing facts that science, mathematics, and reason haverevealed to us, this
The Elements of Computing Systems ─ Building a Modern Computer from First Principles
79 折
出版日:2008/01/25 作者:Noam Nisan; Shimon Schocken  出版社:Mit Pr  裝訂:平裝
In the early days of computer science, the interactions of hardware, software, compilers, and operating system were simple enough to allow students to see an overall picture of how computers worked. W
優惠價: 79 1051
無庫存
Advanced Topics In Types And Programming Languages
79 折
出版日:2004/12/23 作者:Benjamin C. Pierce  出版社:Mit Pr  裝訂:精裝
The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analy
Interfacing Thought―Cognitive Aspects of Human-Computer Interaction
79 折
出版日:2003/03/17 作者:John M. Carroll  出版社:Mit Pr  裝訂:平裝
Interfacing Thought consolidates and presents theoretically important cognitive science research in the new and intensely active domain of human-computer interaction. It is a valuable survey of the wh
Linear Network Optimization
79 折
出版日:2003/01/01 作者:Dimitri P. Bertsekas  出版社:Mit Pr  裝訂:平裝
Large-scale optimization is becoming increasingly important for students and professionals in electrical and industrial engineering, computer science, management science and operations research, and a
Computability and Complexity
79 折
出版日:1997/01/23 作者:Neil D. Jones  出版社:Mit Pr  裝訂:精裝
A computer science text bridging the gap between the perceived impenetrability of computability and complexity theory and practical programming problems. Jones (computer science, U. of Copenhagen) of
Structure and Interpretation of Computer Programs
79 折
出版日:1996/07/25 作者:Harold Abelson; Gerald Jay Sussman; Julie Sussman; Alan J. Perlis  出版社:Mit Pr  裝訂:平裝
Structure and Interpretation of Computer Programs has had a dramatic impact oncomputer science curricula over the past decade. This long-awaited revision contains changesthroughout the text.There are
Algebraic Semantics of Imperative Programs
79 折
出版日:1996/05/22 作者:Joseph A. Goguen; Grant Malcolm  出版社:Mit Pr  裝訂:精裝
A textbook for undergraduate computer science students, introducing formal reasoning about imperative programs. The semantics of imperative programs are specified in the language OBJ. Assumes a famili
English-Japanese, Japanese-English Dictionary of Computer and Data-Processing Terms
79 折
出版日:1989/02/01 作者:Gene Ferber  出版社:Mit Pr  裝訂:精裝
Winner, 1989, category of Computer Science, Professional/Scholarly Publishing Annual Awards Competition presented by the Association of American Publishers, Inc. With 10,000 entries, this dictionary i
Once Upon an Algorithm
滿額折
出版日:2022/08/09 作者:Martin Erwig  出版社:Mit Pr  裝訂:平裝
How Hansel and Gretel, Sherlock Holmes, the movie Groundhog Day, Harry Potter, and other familiar stories illustrate the concepts of computing.Picture a computer scientist, staring at a screen and clicking away frantically on a keyboard, hacking into a system, or perhaps developing an app. Now delete that picture. In Once Upon an Algorithm, Martin Erwig explains computation as something that takes place beyond electronic computers, and computer science as the study of systematic problem solving. Erwig points out that many daily activities involve problem solving. Getting up in the morning, for example: You get up, take a shower, get dressed, eat breakfast. This simple daily routine solves a recurring problem through a series of well-defined steps. In computer science, such a routine is called an algorithm. Erwig illustrates a series of concepts in computing with examples from daily life and familiar stories. Hansel and Gretel, for example, execute an algorithm to get home from the fore
優惠價: 79 749
無庫存
Computational Thinking Education in K-12
79 折
出版日:2022/05/03 作者:Siu-Cheung Kong  出版社:Mit Pr  裝訂:平裝
A guide to computational thinking education, with a focus on artificial intelligence literacy and the integration of computing and physical objects. Computing has become an essential part of today’s primary and secondary school curricula. In recent years, K–12 computer education has shifted from computer science itself to the broader perspective of computational thinking (CT), which is less about technology than a way of thinking and solving problems―“a fundamental skill for everyone, not just computer scientists,” in the words of Jeanette Wing, author of a foundational article on CT. This volume introduces a variety of approaches to CT in K–12 education, offering a wide range of international perspectives that focus on artificial intelligence (AI) literacy and the integration of computing and physical objects. The book first offers an overview of CT and its importance in K–12 education, covering such topics as the rationale for teaching CT; programming as a general problem-solving
優惠價: 79 1801
無庫存
Student Solutions Manual for Mathematics for Economics, fourth edition
79 折
出版日:2022/04/05 作者:Michael Hoy  出版社:Mit Pr  裝訂:平裝
This student solutions manual contains solutions to odd-numbered exercises in the fourth edition of Mathematics for Economics.
優惠價: 79 1896
無庫存
Allocation in Networks
79 折
出版日:2018/11/06 作者:Jens Leth Hougaard; Herv? Moulin  出版社:Mit Pr  裝訂:精裝
A comprehensive overview of networks and economic design, presenting models and results drawn from economics, operations research, and computer science; with examples and exercises.This book explores
優惠價: 79 1501
無庫存
  • 7583
    190
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 190

暢銷榜

客服中心

收藏

會員專區