大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 theory 的图书(共5984本)

Enterprise Ontology [electronic resource] : Theory and Methodology

0
索取号:
作者:Dietz、 Jan L. G.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Quantum Computation and Information [electronic resource] : From Theory to Experiment

0
索取号:
作者:Imai、 Hiroshi.、Hayashi、 Masahito.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号:
作者:Sestoft、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号:
作者:Baresi、 Luciano.、Heckel、 Reiko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

0
索取号:
作者:Hermanns、 Holger.、Palsberg、 Jens.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

0
索取号:
作者:Mycroft、 Alan.、Zeller、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

0
索取号:
作者:Aceto、 Luca.、Ing贸lfsd贸ttir、 Anna.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Qualitative Theory of Planar Differential Systems [electronic resource]

0
索取号:
作者:Dumortier、 Freddy.、Llibre、 Jaume.、Art茅s、 Joan C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Group Theory [electronic resource]

0
索取号:
作者:Dresselhaus/Dresselhaus/Jorio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theory of the Muon Anomalous Magnetic Moment [electronic resource]

0
索取号:
作者:Melnikov、 Kirill.、Vainshtein、 Arkady.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Theory of Cryptography [electronic resource] : Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings

0
索取号:
作者:Halevi、 Shai.、Rabin、 Tal.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Data Mining [electronic resource] : Theory, Methodology, Techniques, and Applications

0
索取号:
作者:Williams、 Graham J.、Simoff、 Simeon J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fuzzy Quantifiers [electronic resource] : A Computational Theory

0
索取号:
作者:Gl枚ckner、 Ingo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Integration of Fuzzy Logic and Chaos Theory [electronic resource]

0
索取号:
作者:Li、 Zhong.、Halang、 Wolfgang A.、Chen、 Guanrong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Genetic Systems Programming [electronic resource] : Theory and Experiences

0
索取号:
作者:Nedjah、 Nadia.、Mourelle、 Luiza de Macedo.、Abraham、 Ajith.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Practice and Theory of Automated Timetabling V [electronic resource] : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

0
索取号:
作者:Burke、 Edmund.、Trick、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.