國立高雄大學圖資館 |

查詢結果 [ subject:"Mathematical Logic and Formal Languages"]

30 筆 (0.029s)· 頁 1 of 3 • 1 2 3

1.

Programming Sudoku /

~
Lee, Wei-Meng.
- Programming Sudoku /
- by: Lee, Wei-Meng.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: Berkeley, CA :
- 出版年: 2006
- ISBN: 9781430201380; 9781590596623
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.
- Agent Technology from a Formal Perspective /
- by: Rouff, Christopher A..
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag London Limited,
- 出版地: London :
- 出版年: 2006
- ISBN: 9781846282713; 9781852339470
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.
- Notes on Set Theory /
- by: Moschovakis, Yiannis.
- 書目-電子資源 : Monograph/item
- 出版者: Springer Science+Business Media, Inc.,
- 出版地: New York, NY :
- 出版年: 2006
- ISBN: 9780387287225; 9780387316093
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.
- Finite Model Theory /
- by: Ebbinghaus, Heinz-Dieter.; Flum, Jorg.
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2006
- ISBN: 9783540287872; 9783540287889
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.
- Contributions to the Science of Text and Language :Word Length Studies and Related Issues /
- by: Grzybek, Peter.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: Dordrecht :
- 出版年: 2006
- ISBN: 9781402040672; 9781402040689
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.
- Comprehensive Mathematics for Computer Scientists 2 :Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
- by: Mazzola, Guerino.; Milmeister, Gerard.; Weissmann, Jody.
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2005
- ISBN: 9783540208617; 9783540269373
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.
- A Theory of Distributed Objects :Asynchrony, Mobility, Groups, Components /
- by: Caromel, Denis.; Henrio, Ludovic.
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2005
- ISBN: 9783540208662; 9783540272458
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.
- Logica Universalis :Towards a General Theory of Logic /
- by: Beziau, Jean-Yves.
- 書目-電子資源 : Monograph/item
- 出版者: Birkhauser Verlag,
- 出版地: Basel :
- 出版年: 2005
- ISBN: 9783764372590; 9783764373047
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Central European Functional Programm...

~
(1998 :)
- Central European Functional Programming Schoolsecond summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected /
- by: (1998 :); Horvath, Zoltan, (1962-); SpringerLink (Online service)
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2008
- ISBN: 9783540880585; 9783540880592
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Artificial Intelligence and Symbolic...

~
(1998 :)
- Artificial Intelligence and Symbolic Computation8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
- by: (1998 :); Calmet, Jaques.; Ida, Tetsuo.; SpringerLink (Online service); Wang, Dongming
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2006
- ISBN: 9783540397281; 9783540397304
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

書目性質:
資料類型:
查找有館藏的資料