TOP
0
0
12/26年度盤點作業,門市店休一天,網路書店將暫停出貨,12/27將恢復正常營業,造成不便敬請見諒

縮小範圍


商品類型

繁體書 (1)
原文書 (12)
商品狀況

可訂購商品 (13)
庫存狀況

無庫存 (13)
商品定價

$800以上 (13)
出版日期

2020~2021 (1)
2018~2019 (1)
2016年以前 (11)
裝訂方式

平裝 (7)
精裝 (5)
作者

Arto Salomaa (2)
Dexter C. Kozen (2)
Nicholas Pippenger (2)
Ganesh Gopalakrishnan (1)
Juraj Hromkovic (1)
Luis M. Auguston (1)
Martin Davis/ Ron Sigal/ Elaine J. Weyuker (1)
RICH (1)
Rigo (1)
Wayne Goddard (1)
出版社/品牌

Cambridge Univ Pr (4)
Springer-Verlag New York Inc (2)
College Publications (1)
John Wiley & Sons Inc (1)
Jones & Bartlett Learning (1)
Morgan Kaufmann Pub (1)
PBKTYFRL (1)
PRENTICE-HALL,INC. (1)
Springer Verlag (1)

三民網路書店 / 搜尋結果

13筆商品,1/1頁
作者:Dexter C. Kozen  出版社:Springer-Verlag New York Inc  出版日:1997/02/01 裝訂:精裝
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the b
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
作者:Dexter C. Kozen  出版社:Springer-Verlag New York Inc  出版日:2012/10/13 裝訂:平裝
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the b
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
Automata and Computability:A Programmer's Perspective
90折
作者:Ganesh Gopalakrishnan  出版社:PBKTYFRL  出版日:2020/09/30 裝訂:平裝
無庫存,下單後進貨(到貨天數約45-60天)
定價:2794 元, 優惠價:9 2515
作者:Rigo  出版社:John Wiley & Sons Inc  出版日:2014/11/07 裝訂:精裝
The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
AUTOMATA, COMPUTABILITY AND COMPLEXITY: THEORY AND APPLICATIONS (PIE)
滿額折
作者:RICH  出版社:PRENTICE-HALL;INC.  出版日:2008/01/01 裝訂:平裝
Combining classic theory with unique applications, this crisp narrative is supported by abundant examples and clarifies key concepts by introducing important uses of techniques in real systems. Broad-
無庫存,下單後進貨(採購期約4~10個工作天)
定價:1080 元, 優惠價:1 1080
作者:Nicholas Pippenger  出版社:Cambridge Univ Pr  出版日:1997/05/28 裝訂:精裝
This book gives an introduction to theories of computability from a mathematically sophisticated point of view. It treats not only 'the' theory of computability (created by Alan Turing and others in the 1930s), but also a variety of other theories (of Boolean functions, automata and formal languages). These are addressed from the classical perspective of their generation by grammars and from the modern perspective as rational cones. The treatment of the classical theory of computable functions and relations takes the form of a tour through basic recursive function theory, starting with an axiomatic foundation and developing the essential methods in order to survey the most memorable results of the field. This authoritative account by one of the leading lights of the subject will prove exceptionally useful reading for graduate students, and researchers in theoretical computer science and mathematics.
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
Theories of Computability
90折
作者:Nicholas Pippenger  出版社:Cambridge Univ Pr  出版日:2010/06/10 裝訂:平裝
This book gives an introduction to theories of computability from a mathematically sophisticated point of view. It treats not only 'the' theory of computability (created by Alan Turing and others in the 1930s), but also a variety of other theories (of Boolean functions, automata and formal languages). These are addressed from the classical perspective of their generation by grammars and from the modern perspective as rational cones. The treatment of the classical theory of computable functions and relations takes the form of a tour through basic recursive function theory, starting with an axiomatic foundation and developing the essential methods in order to survey the most memorable results of the field. This authoritative account by one of the leading lights of the subject will prove exceptionally useful reading for graduate students, and researchers in theoretical computer science and mathematics.
無庫存,下單後進貨(到貨天數約45-60天)
定價:2534 元, 優惠價:9 2281
Theoretical Computer Science ― Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
90折
作者:Juraj Hromkovic  出版社:Springer Verlag  出版日:2010/12/01 裝訂:平裝
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of s
無庫存,下單後進貨(到貨天數約45天)
定價:3750 元, 優惠價:9 3375
作者:Arto Salomaa  出版社:Cambridge Univ Pr  出版日:1985/05/23 裝訂:精裝
In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
作者:Arto Salomaa  出版社:Cambridge Univ Pr  出版日:2010/10/07 裝訂:平裝
In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
作者:Martin Davis; Ron Sigal; Elaine J. Weyuker  出版社:Morgan Kaufmann Pub  出版日:1994/02/03 裝訂:平裝
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book i
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
作者:Luis M. Auguston  出版社:College Publications  出版日:2019/02/04 裝訂:平裝
Languages, machines, and classical computation is a new undergraduate course book on the conjoined subjects of Formal Languages and Automata & Computability and Complexity. By new, we mean more th
無庫存,下單後進貨(到貨天數約30-45天)
定價:1080 元, 優惠價:1 1080
作者:Wayne Goddard  出版社:Jones & Bartlett Learning  出版日:2008/01/18 裝訂:精裝
Introducing the Theory of Computation is the ideal text for any undergraduate, introductory course on formal languages, automata, and computability. The author provides a concise, yet complete, intro
若需訂購本書,請電洽客服
02-25006600[分機130、131]。

暢銷榜

客服中心

收藏

會員專區