國立高雄大學圖資館 |

Search result for [ subject:"Theory of Computation"]

38 records (0.03s)· Page 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.
- Electronic resources : Monograph/item
- Publisher: International Federation for Information Processing,
- Place of Publication: Boston, MA :
- Year of Publication: 2006
- ISBN: 9780387346335; 9780387347356
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.
- Super-Recursive Algorithms /
- by: Burgin, Mark.
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media Inc.,
- Place of Publication: New York, NY :
- Year of Publication: 2005
- ISBN: 9780387268064; 9780387955698
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.
- Self-Organizing Natural Intelligence :Issues of Knowing, Meaning, and Complexity /
- by: Estep, Myrna.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: Dordrecht :
- Year of Publication: 2006
- ISBN: 9781402052750; 9781402052996
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.
- Evolvable Hardware /
- by: Higuchi, Tetsuya.; Liu, Yong.; Yao, Xin.
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media, LLC.,
- Place of Publication: Boston, MA :
- Year of Publication: 2006
- ISBN: 9780387243863; 9780387312385
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- SAT 2005 :Satisfiability Research in the Year 2005 /
- by: Giunchiglia, Enrico.; Walsh, Toby.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: Dordrecht :
- Year of Publication: 2006
- ISBN: 9781402045523; 9781402055713
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Language materials, printed : Monograph/item
- Publisher: Springer Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2008
- ISBN: 9783540928584; 9783540928591
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.
- Adaptive Learning of Polynomial Networks :Genetic Programming, Backpropagation and Bayesian Methods /
- by: Iba, Hitoshi.; Nikolaev, Nikolay Y..
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media, Inc.,
- Place of Publication: Boston, MA :
- Year of Publication: 2006
- ISBN: 9780387312392; 9780387312408
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.
- Interactive Computation :The New Paradigm /
- by: Goldin, Dina.; Smolka, Scott A..; Wegner, Peter.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540346661; 9783540348740
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Language materials, printed : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2008
- ISBN: 9783540880585; 9783540880592
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: Dordrecht :
- Year of Publication: 2005
- ISBN: 9781402035302; 9781402035326
- Availability: 0 Copie(s) available | 0 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items