Language:
English
繁體中文
Help
圖資館首頁
Login
Go To Advanced Search
Options
Bibliographic level:
All records
Book
Serial
Analytic
Collection
Material type:
All records
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
Only with items
Refine search
Associated Subjects
10
20
50
Relevance (A-Z)
Subjects (A-Z)
Subjects (Z-A)
All Titles (A-Z)
All Titles (Z-A)
All Authors (A-Z)
All Authors (Z-A)
Place of publication (A-Z)
Place of publication (Z-A)
Year of publication (A-Z)
Year of publication (Z-A)
ISBN/ISSN (A-Z)
ISBN/ISSN (Z-A)
Person name (A-Z)
Person name (Z-A)
Language (A-Z)
Language (Z-A)
RID (A-Z)
RID (Z-A)
Series (A-Z)
Series (Z-A)
Proper title (A-Z)
Proper title (Z-A)
Edition Statement (A-Z)
Edition Statement (Z-A)
ISBN (A-Z)
ISBN (Z-A)
ISSN (A-Z)
ISSN (Z-A)
Content Notes (A-Z)
Content Notes (Z-A)
Publisher (A-Z)
Publisher (Z-A)
Rating (A-Z)
Rating (Z-A)
Search result for
[ subject:"Lambda calculus."]
6 records (0.023s)
·
Page 1 of 1
•
1
1
.
Fifth Ifip International Conference ...
~
Ausiello, Giorgio.
Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008
by:
Ausiello, Giorgio.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer Science+Business Media, LLC,
Place of Publication:
Boston, MA :
Year of Publication:
2008
ISBN:
9780387096797; 9780387096803
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
2
.
Semantics of the probabilistic typed...
~
Draheim, Dirk.
Semantics of the probabilistic typed lambda calculusMarkov chain semantics, termination behavior, and denotational semantics /
by:
Draheim, Dirk.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer Berlin Heidelberg :
Place of Publication:
Berlin, Heidelberg :
Year of Publication:
2017
ISBN:
9783642551970; 9783642551987
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
3
.
Pattern calculuscomputing with funct...
~
Jay, Barry.
Pattern calculuscomputing with functions and structures /
by:
Jay, Barry.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer-Verlag Berlin Heidelberg,
Place of Publication:
Berlin, Heidelberg :
Year of Publication:
2009
ISBN:
9783540891840; 9783540891857
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
4
.
Processes, Terms and Cycles: Steps o...
~
Middeldorp, Aart.
Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
Middeldorp, Aart.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer-Verlag GmbH.,
Place of Publication:
Berlin Heidelberg :
Year of Publication:
2005
ISBN:
9783540309116; 9783540324256
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
5
.
Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
Capretta, Venanzio.; Geuvers, Herman, (1964-); Krebbers, Robbert.; SpringerLink (Online service); Wiedijk, Freek.
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer Nature Switzerland :
Place of Publication:
Cham :
Year of Publication:
2024
ISBN:
9783031617157; 9783031617164
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
6
.
Adapting Proofs-as-ProgramsThe Curry...
~
Crossley, John Newsome.
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
by:
Crossley, John Newsome.; Poernomo, Iman Hafiz.; SpringerLink (Online service); Wirsing, Martin.
Electronic resources
: Monograph/item
Publisher:
Springer Science+Business Media Inc.,
Place of Publication:
New York, NY :
Year of Publication:
2005
ISBN:
9780387237596; 9780387281834
Availability
:
1 Copie(s) available
|
1 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