Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Go To Advanced Search
Options
Bibliographic level:
All records
Book
Serial
Analytic
Collection
Material type:
All records
一般圖書
套書區
本校碩士論文
他校碩士論文
電子書
大尺寸
本校博士論文
中小學教科書
他校博士論文
原美崙校區博士論文
參考書
教師指定參考書
縮印本報紙
本校出版品及教師著作
資訊檢索參考書不外借
東方語文期刊
西文期刊
日文期刊
大陸期刊
音樂光碟資料
多媒體及純文字光碟資料
DVD資料
VCD資料
錄影資料
書附磁片或光碟等
錄音資料
LD資料
微片
幻燈片
投影片
1樓兒童讀物
1樓兒童參考書不外借
國小教科書不外借
1樓兒童CD
1樓兒童CD-ROM
1樓兒童DVD
1樓兒童VCD
1樓兒童錄音帶
1樓兒童錄影帶
1樓兒童室玩具
館際借書證(21天)
館際借書證(30天)
複印資料
地圖資料
管制資料
待改至一般書庫_樂譜
專櫃陳覽
借2小時
鄉土教育資料不外借
圖書館學實習書不外借
圖書館會議資料不外借
圖書館行政用書不外借
館內設備(耳機/微縮鏡頭/遙控器)
場地鑰匙(聆賞室/討論室)
研究小間鑰匙
臨時研究小間鑰匙
1樓教具
工具
數位相機
DV攝影機
佈展桌布
雨傘
吳兆棠博士贈書
樂譜區_套譜
English Corner
BD資料(藍光)
電子期刊
楊牧書房
單機版資料庫
王禎和
韋政通
鄭清茂
點字書
方銘健
李元貞
李忠男
林富士
許學仁
林道生
Only with items
Refine search
Associated Subjects
10
20
50
Relevance (Z-A)
Relevance (A-Z)
Subjects (Z-A)
Subjects (A-Z)
All Titles (Z-A)
All Titles (A-Z)
All Authors (Z-A)
All Authors (A-Z)
Place of publication (Z-A)
Place of publication (A-Z)
Year of publication (Z-A)
Year of publication (A-Z)
ISBN/ISSN (Z-A)
ISBN/ISSN (A-Z)
Person name (Z-A)
Person name (A-Z)
Language (Z-A)
Language (A-Z)
RID (Z-A)
RID (A-Z)
Series (Z-A)
Series (A-Z)
Proper title (Z-A)
Proper title (A-Z)
Edition Statement (Z-A)
Edition Statement (A-Z)
ISBN (Z-A)
ISBN (A-Z)
ISSN (Z-A)
ISSN (A-Z)
Content Notes (Z-A)
Content Notes (A-Z)
Publisher (Z-A)
Publisher (A-Z)
Rating (Z-A)
Rating (A-Z)
Search result for
[ subject:"Computable functions."]
29 records (0.023s)
·
Page 1 of 2
•
1
2
1
.
Computability : = a mathematical ske...
~
Bridges, D. S. (1945-)
Linked to FindBook
Google Book
Amazon
博客來
Computability : = a mathematical sketchbook /
by:
Bridges, D. S. (1945-)
Language materials, printed
: Monograph/item
Publisher:
Springer-Verlag,
Place of Publication:
New York :
Year of Publication:
1994
ISBN:
0387941746; 3540941746
Availability
:
2 Copie(s) available
|
2 Copie(s) available for loan
based on 0 review(s)
2
.
Computable structure theory : = with...
~
Montalban, Antonio,
Linked to FindBook
Google Book
Amazon
博客來
Computable structure theory : = within the arithmetic /
by:
Montalban, Antonio,
Language materials, printed
: Monograph/item
Publisher:
Cambridge University Press,
Place of Publication:
Cambridge, UK :
Year of Publication:
2021
ISBN:
9781108423298
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
3
.
Computability : = an introduction to...
~
Cutland, Nigel.
Linked to FindBook
Google Book
Amazon
博客來
Computability : = an introduction to recursive function theory /
by:
Cutland, Nigel.
Language materials, printed
: Monograph/item
Publisher:
Cambridge University Press,
Place of Publication:
New York :
Year of Publication:
1980
ISBN:
0521223849; 0521294657
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
4
.
Structure and randomness in computab...
~
Cenzer, Douglas,
Linked to FindBook
Google Book
Amazon
博客來
Structure and randomness in computability and set theory /
by:
Cenzer, Douglas,; Porter, Christopher; Zapletal, Jindrich,
Language materials, printed
: Monograph/item
Publisher:
World Scientific Publishing Co. Pte. Ltd.,
Place of Publication:
Singapore ;
Year of Publication:
2021
ISBN:
9789813228221
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
5
.
The Theory of computability : = prog...
~
Westrhenen, S. Christiaan van, (1928-)
Linked to FindBook
Google Book
Amazon
博客來
The Theory of computability : = programs, machines, effectiveness, and feasibility /
by:
Westrhenen, S. Christiaan van, (1928-); Sommerhalder, R.
Language materials, printed
: Monograph/item
Publisher:
Addison-Wesley Pub. Co.,
Place of Publication:
Wokingham, England ;
Year of Publication:
1988
ISBN:
0201142147
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
6
.
Introduction to languages and the th...
~
Martin, John C.
Linked to FindBook
Google Book
Amazon
博客來
Introduction to languages and the theory of computation /
by:
Martin, John C.
Language materials, printed
: Monograph/item
Publisher:
McGraw-Hill,
Place of Publication:
New York :
Year of Publication:
1991
ISBN:
0070406596
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
7
.
Computability in analysis and physics /
~
Richards, J. Ian (1936-)
Linked to FindBook
Google Book
Amazon
博客來
Computability in analysis and physics /
by:
Richards, J. Ian (1936-); Pour-El, Marian B. (1928-)
Language materials, printed
: Monograph/item
Publisher:
Springer-Verlag,
Place of Publication:
New York :
Year of Publication:
1989
ISBN:
0387500359; 3540500359
Availability
:
2 Copie(s) available
|
2 Copie(s) available for loan
based on 0 review(s)
8
.
Introduction to languages and the th...
~
Martin, John C. (informaticien).) ((19..-....;)
Linked to FindBook
Google Book
Amazon
博客來
Introduction to languages and the theory of computation
by:
Martin, John C. (informaticien).) ((19..-....;)
Language materials, printed
: Monograph/item
Publisher:
McGraw-Hill,
Place of Publication:
New York :
Year of Publication:
2011
ISBN:
0071289429; 9780071289429
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
9
.
Hilbert's tenth problem /
~
Matiiasevich, IU. V.
Linked to FindBook
Google Book
Amazon
博客來
Hilbert's tenth problem /
by:
Matiiasevich, IU. V.
Language materials, printed
: Monograph/item
Language:
英文
Publisher:
MIT Press,
Place of Publication:
Cambridge, Mass. :
Year of Publication:
1993
ISBN:
0262132958
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
10
.
Linked to FindBook
Google Book
Amazon
博客來
Hilbert's tenth problem
by:
Mati螑駮sevich, 蔾鞗. V.; NetLibrary, Inc.
Electronic resources
: Monograph/item
Language:
英文
Publisher:
MIT Press,
Place of Publication:
Cambridge, Mass. :
Year of Publication:
1993
ISBN:
0585355002
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
11
.
Computability and logic. /
~
Burgess, John P., (1948-)
Linked to FindBook
Google Book
Amazon
博客來
Computability and logic. /
by:
Burgess, John P., (1948-); Jeffrey, Richard C.; Boolos, George.
Language materials, printed
: Monograph/item
Publisher:
Cambridge University Press,
Place of Publication:
New York :
Year of Publication:
2002
ISBN:
0521007585; 0521809754
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
12
.
Computability in context = computati...
~
Cooper, S. B.
Linked to FindBook
Google Book
Amazon
博客來
Computability in context = computation and logic in the real world /
by:
Cooper, S. B.; Sorbi, Andrea, (1956-)
Electronic resources
: Monograph/item
Publisher:
Distributed by World Scientific,; Imperial College Press ;
Place of Publication:
London :
Year of Publication:
2011
ISBN:
1848162774; 9781848162778
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
13
.
Linked to FindBook
Google Book
Amazon
博客來
Computability and logic
by:
Boolos, George.; Burgess, John P., (1948-); Jeffrey, Richard C.; NetLibrary, Inc.
Electronic resources
: Monograph/item
Publisher:
Cambridge University Press,
Place of Publication:
New York :
Year of Publication:
2002
ISBN:
0511078064
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
14
.
Higher-order computability
~
Longley, John.
Linked to FindBook
Google Book
Amazon
博客來
Higher-order computability
by:
Longley, John.; Normann, Dag.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer Berlin Heidelberg :
Place of Publication:
Berlin, Heidelberg :
Year of Publication:
2015
ISBN:
9783662479919; 9783662479926
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
15
.
An introduction to the technique of ...
~
Cantone, Domenico.
Linked to FindBook
Google Book
Amazon
博客來
An introduction to the technique of formative processes in set theory
by:
Cantone, Domenico.; Ursino, Pietro.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2018
ISBN:
9783319747774; 9783319747781
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
16
.
An invitation to analytic combinator...
~
Melczer, Stephen.
Linked to FindBook
Google Book
Amazon
博客來
An invitation to analytic combinatorics = from one to several variables /
by:
Melczer, Stephen.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2021
ISBN:
9783030670795; 9783030670801
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
17
.
Linked to FindBook
Google Book
Amazon
博客來
Discrete structures, logic, and computability
by:
Hein, James L.; NetLibrary, Inc.
Electronic resources
: Monograph/item
Publisher:
Jones and Bartlett,
Place of Publication:
Boston :
Year of Publication:
1995
ISBN:
0585306613
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
18
.
Algorithmic randomness and complexity
~
Downey, Rodney G.
Linked to FindBook
Google Book
Amazon
博客來
Algorithmic randomness and complexity
by:
Downey, Rodney G.; Hirschfeldt, Denis R.; SpringerLink (Online service)
Language materials, printed
: Monograph/item
Publisher:
Springer Science+Business Media, LLC,
Place of Publication:
New York, NY :
Year of Publication:
2010
ISBN:
9780387684413; 9780387955674
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
19
.
The foundations of computability theory
~
Robic, Borut.
Linked to FindBook
Google Book
Amazon
博客來
The foundations of computability theory
by:
Robic, Borut.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer Berlin Heidelberg :
Place of Publication:
Berlin, Heidelberg :
Year of Publication:
2015
ISBN:
9783662448076; 9783662448083
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
20
.
Turing's revolution = the impact of ...
~
Sommaruga, Giovanni.
Linked to FindBook
Google Book
Amazon
博客來
Turing's revolution = the impact of his ideas about computability /
by:
Sommaruga, Giovanni.; Strahm, Thomas.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Birkhauser,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2015
ISBN:
9783319221557; 9783319221564
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
Diacritics
Close
Diacritics
Close
貨幣
:
¥
£
₤
₣
₢
₡
₠
₥
₦
₧
₨
₩
₪
₫
€
數學符號
:
±
Ω
λ
β
α
θ
π
μ
≠
≤
≥
∑
日文
:
あ
い
う
え
お
か
き
く
け
こ
さ
し
す
せ
そ
た
ち
つ
て
と
な
に
ぬ
ね
の
は
ひ
ふ
へ
ほ
ま
み
む
め
も
や
ゆ
よ
ら
り
る
れ
ろ
わ
を
ん
が
ぎ
ぐ
げ
ご
ざ
じ
ず
ぜ
ぞ
だ
ぢ
づ
で
ど
ば
び
ぶ
べ
ぼ
ぱ
ぴ
ぷ
ぺ
ぽ
ア
イ
ウ
エ
オ
カ
キ
ク
ケ
コ
サ
シ
ス
セ
ソ
タ
チ
ツ
テ
ト
ナ
ニ
ヌ
ネ
ノ
ハ
ヒ
フ
ヘ
ホ
マ
ミ
ム
メ
モ
ヤ
ユ
ヨ
ラ
リ
ル
レ
ロ
ワ
ヲ
ン
ガ
ギ
グ
ゲ
ゴ
ザ
ジ
ズ
ゼ
ゾ
ダ
ヂ
ヅ
デ
ド
バ
ビ
ブ
ベ
ボ
パ
ピ
プ
ペ
ポ
羅馬數字
:
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
Save to Personal SDI
Export
pickup library
Processing
...
Change password
Login