Electronic Books

Total Books: 121 - 140 /225
978-3-540-72845-0
Experimental Algorithms

Fostering and disseminating high quality research results focused on the experimental analysis of algorithms the papers are ...

Continue reading
978-3-540-34598-5
Experimental Algorithms

This book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, ...

Continue reading
978-3-540-68552-4
Experimental Algorithms : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings

The Workshop on Experimental Algorithms, WEA, is intended to be an international forum for research on the experimental evaluation ...

Continue reading
978-3-540-32078-4
Experimental and Efficient Algorithms

This proceedings volume contains the accepted papers and invited talks p- sented at the 4th International Workshop of E?cient ...

Continue reading
978-3-540-72952-5
Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Continue reading
978-3-540-77684-0
Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...

Continue reading
978-3-540-73814-5
Frontiers in Algorithmics

This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...

Continue reading
9781259584732
Goodman & Gilman's : The Pharmacological Basis of Therapeutics / Laurence L. Brunton, Björn C. Knollmann, Randa Hilal-Dandan

Correlates pharmacology with related medical sciences, to reinterpret the actions and uses of drugs in light of advances ...

Continue reading
978-3-540-45265-2
Grammatical Inference: Algorithms and Applications

The topics discussed range from theoretical results of learning algorithms to innovative applications of grammatical inference ...

Continue reading
978-3-540-88009-7
Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings

This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...

Continue reading
978-3-540-70904-6
Graph Drawing

The 33 revised full papers and 5 revised short papers presented together with 2 invited talks, 1 system demo, 2 poster papers ...

Continue reading
978-3-540-31843-9
Graph Drawing (vol. # 3383)

This book constitutes the thoroughly refereed post-proceedings of the 12th International Symposium on Graph Drawing, GD 2004, ...

Continue reading
978-3-540-31667-1
Graph Drawing (vol. # 3843)

The 13th International Symposium on Graph Drawing (GD 2005) was held in Limerick, Ireland, September 12-14, 2005. One hundred ...

Continue reading
978-3-540-77537-9
Graph Drawing : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers

The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September ...

Continue reading
978-3-540-38872-2
Graph Transformations

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and ...

Continue reading
978-3-540-31468-4
Graph-Theoretic Concepts in Computer Science (vol. # 3787)

that aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer ...

Continue reading
978-3-540-69262-1
Grid Computing

Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...

Continue reading
978-3-540-70889-6
Hardware and Software, Verification and Testing

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

Continue reading
978-3-540-32605-2
Hardware and Software, Verification and Testing

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...

Continue reading
978-3-540-32427-0
High Performance Computing – HiPC 2005

Contains the refereed proceedings of the 12th International Conference on High-Performance Computing. Beginning with the ...

Continue reading
Total Books: 121 - 140 /225