國立高雄大學圖資館 |

Search result for [ subject:"Computation by Abstract Devices"]

18 records (0.023s)· Page 1 of 2 • 1 2

1.

Computational Intelligence and Bioin...

~
(1998 :)
- Computational Intelligence and BioinformaticsInternational Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part III /
- by: (1998 :); Huang, De-Shuang.; Irwin, George William; Li, Kang; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540372776; 9783540372820
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.
- Design and Analysis of Randomized Algorithms :Introduction to Design Paradigms /
- by: Hromkovic, Juraj.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540239499; 9783540279037
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.
- Complexity Theory and Cryptology :An Introduction to Cryptocomplexity /
- by: Rothe, Jorg.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540221470; 9783540285205
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.
- Coordination of Large-Scale Multiagent Systems /
- by: Mailler, Roger.; Scerri, Paul.; Vincent, Regis.
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media, Inc.,
- Place of Publication: Boston, MA :
- Year of Publication: 2006
- ISBN: 9780387261935; 9780387279725
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Parameterized Complexity Theory /
- by: Flum, Jorg.; Grohe, Martin.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540299523; 9783540299530
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.
- Fuzzy-Neuro Approach to Agent Applications :From the AI Perspective to Modern Ontology /
- by: Lee, Raymond S. T..
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540212034; 9783540309840
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.
- Neural Information Processing14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I /
- by: Ishikawa, Masumi.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2008
- ISBN: 9783540691549; 9783540691587
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.
- Foundations of Genetic Algorithms8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers
- by: (1998 :); SpringerLink (Online service); Wright, Alden H.
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540272373; 9783540320357
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Leveraging applications of formal me...

~
(1998 :)
- Leveraging applications of formal methods, verification, and validation6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
- by: (1998 :); Lamprecht, Anna-Lena.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2016
- ISBN: 9783319516400; 9783319516417
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.
- Evolutionary Synthesis of Pattern Recognition Systems /
- by: Bhanu, Bir.; Krawiec, Krzysztof.; Lin, Yingqiang.
- Electronic resources : Monograph/item
- Publisher: Springer Science+Business Media, Inc.,
- Place of Publication: New York, NY :
- Year of Publication: 2005
- ISBN: 9780387212951; 9780387244525
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items