Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيد
Towards Next Generation Grids
Towards Next Generation Grids is the fifth volume of the CoreGRID series. Organized jointly with the Euro-Par 2007 conference, ...
اقرأ المزيد
Towards Sustainable Society on Ubiquitous Networks : The 8th IFIP Conference on e-Business, e-Services, and e-Society (I3E 2008), September 24–16, 2008, Tokyo, Japan
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
اقرأ المزيد
Towards a Service-Based Internet : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings
This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...
اقرأ المزيد
Traffic Grooming for Optical Networks : Foundations, Techniques, and Frontiers
This book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...
اقرأ المزيد
Transactions on Aspect-Oriented Software Development I
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
اقرأ المزيد
Transactions on Aspect-Oriented Software Development II
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
اقرأ المزيد
Transactions on Aspect-Oriented Software Development III
This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...
اقرأ المزيد
Transactions on Aspect-Oriented Software Development IV
This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...
اقرأ المزيد
Transactions on Computational Science I
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
اقرأ المزيد
Transactions on Computational Science II
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
اقرأ المزيد
Transactions on Computational Science XXXVII
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
اقرأ المزيد
Transactions on Computational Systems Biology I
The recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...
اقرأ المزيد
Transactions on Computational Systems Biology II
(Publisher-supplied data) The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary ...
اقرأ المزيد
Transactions on Computational Systems Biology III
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
اقرأ المزيد
Transactions on Computational Systems Biology IV
This issue of the journal reports someContains contributions presented at the first Converging Science conference held at ...
اقرأ المزيد
Transactions on Computational Systems Biology IX
This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
اقرأ المزيد
Transactions on Computational Systems Biology V
This issue of Transactions on Computational Systems Biologycontains a selec-tion of papers presented initially at the 2005 ...
اقرأ المزيد
Transactions on Computational Systems Biology VI
This issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...
اقرأ المزيد
Transactions on Computational Systems Biology VII
This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully ...
اقرأ المزيد
