大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 pro*c 的图书(共20808本)

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

0
索取号:
作者:Baral、 Chitta.、Brewka、 Gerhard.、Schlipf、 John.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Strategic Supply Chain Management in Process Industries [electronic resource] : An Application to Specialty Chemicals Production Network Design

0
索取号:
作者:H眉bner、 Reinhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Information Security Practice and Experience [electronic resource] : Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007. Proceedings

0
索取号:
作者:Dawson、 Ed.、Wong、 Duncan S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Lasers in the Conservation of Artworks [electronic resource] : LACONA VI Proceedings, Vienna, Austria, Sept. 21鈥⵬ 2005

0
索取号:
作者:Nimmrichter、 Johann.、Kautek、 Wolfgang.、Schreiner、 Manfred.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Ultrasonic Processes and Machines [electronic resource] : Dynamics, Control and Applications

0
索取号:
作者:Astashev、 Vladimir K.、Babitsky、 Vladimir I.、Khusnutdinova、 Karima.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Pervasive Computing [electronic resource] : 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings

0
索取号:
作者:LaMarca、 Anthony.、Langheinrich、 Marc.、Truong、 Khai N.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Business Information Systems [electronic resource] : 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007. Proceedings

0
索取号:
作者:Abramowicz、 Witold.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Bioinformatics Research and Applications [electronic resource] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007. Proceedings

0
索取号:
作者:M膬ndoiu、 Ion.、Zelikovsky、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号:
作者:Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Progress in Industrial Mathematics at ECMI 2006 [electronic resource]

0
索取号:
作者:Bonilla、 Luis L.、Moscoso、 Miguel.、Platero、 Gloria.、Vega、 Jose M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Process Modelling, Identification, and Control [electronic resource]

0
索取号:
作者:Mikle拧、 J谩n.、Fikar、 Miroslav.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

0
索取号:
作者:Bordini、 Rafael H.、Dastani、 Mehdi.、Dix、 J眉rgen.、Seghrouchni、 Amal El Fallah.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Architecture in Practice [electronic resource] : A Software Production Environment Based on Conceptual Modeling

0
索取号:
作者:Pastor、 Oscar.、Molina、 Juan Carlos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog. Proceedings

0
索取号:
作者:Giacobini、 Mario.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics [electronic resource] : 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings

0
索取号:
作者:Marchiori、 Elena.、Moore、 Jason H.、Rajapakse、 Jagath C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Databases: Concepts, Systems and Applications [electronic resource] : 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007. Proceedings

0
索取号:
作者:Kotagiri、 Ramamohanarao.、Krishna、 P. Radha.、Mohania、 Mukesh.、Nantajeewarawat、 Ekawit.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类