Electronic Books

Total Books: 41 - 60 /400

Algorithms and Computation : 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 19th International Symposium on Algorithms and Computation, ISAAC 2008, ...

Algorithms and Data Structures

The papers in this volume were presented at the 9th Workshop on Algorithmsand Data Structures (WADS 2005). at the University ...

Algorithms in Bioinformatics (vol. # 3692)

this book present the proceedings of the 5th Workshop on Algorithmsin Bioinformatics (WABI 2005) which took place in Spain, ...

Algorithms in Bioinformatics : 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, ...

Algorithms on Trees and Graphs : With Python Code / Gabriel Valiente

Introduces graph algorithms on an intuitive basis followed by a detailed exposition using structured pseudocode, with correctness ...

An Introduction to Structural Optimization

This textbook gives an introduction to all three classes of geometry optimization problems of mechanical structures: sizing, ...

Analytical Approaches for Reinforced Concrete / Yufei Wu

Applies deductive reasoning, logic and mathematics to RC. Laying out, deductively, the principles of RC, it encourages researchers ...

Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...

Approximate and Noisy Realization of Discrete-Time Dynamical Systems

This monograph deals with approximation and noise cancellation of dynamical systems which include linear and nonlinear input/output ...

Approximation and Online Algorithms (vol. # 3351)

The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for ...

Approximation and Online Algorithms (vol. # 3879)

The third Workshop on Approximation and Online Algorithms (WAOA 2005) focused on the design and analysis of algorithms for ...

Approximation and Online Algorithms :5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers

The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for ...

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques : 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings

This book constitutes the joint refereed proceedings of the 11th International Workshop on Approximation Algorithms for Combinatorial ...

Arithmetic of Finite Fields : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings

This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI ...

Artificial Intelligence in Mechatronics and Civil Engineering : Bridging the Gap / Ehsan Momeni, Danial Jahed Armaghani, Aydin Azizi

Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. ...

Artificial Neural Network-based Optimized Design of Reinforced Concrete Structures / Won‐Kee Hong

Introduces AI-based Lagrange optimization techniques that can enable more rational engineering decisions for concrete structures ...

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

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

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

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Automatic Program Development : A Tribute to Robert Paige

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

Total Books: 41 - 60 /400