國立高雄大學圖資館 |

查詢結果 [ subject:"Theory of Computation"]

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

1.
- Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 :IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile /
- by: (1998 :); Bertossi, Leopoldo.; Kohayakawa, Yoshiharu.; Navarro, Gonzalo.
- 書目-電子資源 : Monograph/item
- 出版者: International Federation for Information Processing,
- 出版地: Boston, MA :
- 出版年: 2006
- ISBN: 9780387346335; 9780387347356
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.
- Super-Recursive Algorithms /
- by: Burgin, Mark.
- 書目-電子資源 : Monograph/item
- 出版者: Springer Science+Business Media Inc.,
- 出版地: New York, NY :
- 出版年: 2005
- ISBN: 9780387268064; 9780387955698
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.
- Self-Organizing Natural Intelligence :Issues of Knowing, Meaning, and Complexity /
- by: Estep, Myrna.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: Dordrecht :
- 出版年: 2006
- ISBN: 9781402052750; 9781402052996
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.
- Evolvable Hardware /
- by: Higuchi, Tetsuya.; Liu, Yong.; Yao, Xin.
- 書目-電子資源 : Monograph/item
- 出版者: Springer Science+Business Media, LLC.,
- 出版地: Boston, MA :
- 出版年: 2006
- ISBN: 9780387243863; 9780387312385
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.
- SAT 2005 :Satisfiability Research in the Year 2005 /
- by: Giunchiglia, Enrico.; Walsh, Toby.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: Dordrecht :
- 出版年: 2006
- ISBN: 9781402045523; 9781402055713
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

High performance computing for compu...

~
(1998 :)
- High performance computing for computational science - VECPAR 20088th international conference, Toulouse, France, June 24-27, 2008 : revised selected papers /
- by: (1998 :); Laginha, Jose M.; SpringerLink (Online service)
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Springer Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2008
- ISBN: 9783540928584; 9783540928591
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.
- Adaptive Learning of Polynomial Networks :Genetic Programming, Backpropagation and Bayesian Methods /
- by: Iba, Hitoshi.; Nikolaev, Nikolay Y..
- 書目-電子資源 : Monograph/item
- 出版者: Springer Science+Business Media, Inc.,
- 出版地: Boston, MA :
- 出版年: 2006
- ISBN: 9780387312392; 9780387312408
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.
- Interactive Computation :The New Paradigm /
- by: Goldin, Dina.; Smolka, Scott A..; Wegner, Peter.
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2006
- ISBN: 9783540346661; 9783540348740
- 館藏流通狀態: 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.

Engineering Theories of Software Int...

~
(1998 :)
- Engineering Theories of Software Intensive SystemsProceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
- by: (1998 :); Broy, Manfred.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: Dordrecht :
- 出版年: 2005
- ISBN: 9781402035302; 9781402035326
- 館藏流通狀態: 0 本館藏 | 0 本館藏在館內
- 筆 0 讀者評論

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