大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 aspect-oriented-programming 的图书(共2120本)

Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

0
索取号：
作者：Aceto、 Luca.、Damg氓rd、 Ivan.、Goldberg、 Leslie Ann.、Halld贸rsson、 Magn煤s M.、Ing贸lfsd贸ttir、 Anna.、Walukiewicz、 Igor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

0
索取号：
作者：Aceto、 Luca.、Damg氓rd、 Ivan.、Goldberg、 Leslie Ann.、Halld贸rsson、 Magn煤s M.、Ing贸lfsd贸ttir、 Anna.、Walukiewicz、 Igor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

A Practical Programming Model for the Multi-Core Era [electronic resource] : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

0
索取号：
作者：Chapman、 Barbara.、Zheng、 Weiming.、Gao、 Guang R.、Sato、 Mitsuhisa.、Ayguad茅、 Eduard.、Wang、 Dongsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

0
索取号：
作者：Umeda、 Masanobu.、Wolf、 Armin.、Bartenstein、 Oskar.、Geske、 Ulrich.、Seipel、 Dietmar.、Takata、 Osamu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino

0
索取号：
作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Integer Programming and Combinatorial Optimization [electronic resource] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings

0
索取号：
作者：Lodi、 Andrea.、Panconesi、 Alessandro.、Rinaldi、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Future-Oriented Technology Analysis [electronic resource] : Strategic Intelligence for an Innovative Economy

0
索取号：
作者：Cagnin、 Cristiano.、Keenan、 Michael.、Johnston、 Ron.、Scapolo、 Fabiana.、Barr茅、 R茅mi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

0
索取号：
作者：Mueller、 Matthias S.、Chapman、 Barbara M.、Supinski、 Bronis R.、Malony、 Allen D.、Voss、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

50 Years of Integer Programming 1958-2008 [electronic resource] : From the Early Years to the State-of-the-Art

0
索取号：
作者：J眉nger、 Michael.、Liebling、 Thomas M.、Naddef、 Denis.、Nemhauser、 George L.、Pulleyblank、 William R.、Reinelt、 Gerhard.、Rinaldi、 Giovanni.、Wolsey、 Laurence A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings

0
索取号：
作者：Abrahamsson、 Pekka.、Baskerville、 Richard.、Conboy、 Kieran.、Fitzgerald、 Brian.、Morgan、 Lorraine.、Wang、 Xiaofeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

0
索取号：
作者：Perron、 Laurent.、Trick、 Michael A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Service-Oriented Computing-ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings

0
索取号：
作者：Dan、 Asit.、Lamersdorf、 Winfried.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

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

Transactions on Aspect-Oriented Software Development II [electronic resource]

0
索取号：
作者：Rashid、 Awais.、Aksit、 Mehmet.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agent-Oriented Information Systems III [electronic resource] : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers

0
索取号：
作者：Kolp、 Manuel.、Bresciani、 Paolo.、Henderson-Sellers、 Brian.、Winikoff、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

0
索取号：
作者：Hermann、 Miki.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.