This book constitutes the refereed proceedings of the 19th International Symposium on Algorithms and Computation, ISAAC 2008, ...
Continue reading
The papers in this volume were presented at the 9th Workshop on Algorithmsand Data Structures (WADS 2005). at the University ...
Continue reading
this book present the proceedings of the 5th Workshop on Algorithmsin Bioinformatics (WABI 2005) which took place in Spain, ...
Continue reading
This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, ...
Continue reading
Introduces graph algorithms on an intuitive basis followed by a detailed exposition using structured pseudocode, with correctness ...
Continue reading
This textbook gives an introduction to all three classes of geometry optimization problems of mechanical structures: sizing, ...
Continue reading
Applies deductive reasoning, logic and mathematics to RC. Laying out, deductively, the principles of RC, it encourages researchers ...
Continue reading
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
Continue reading
This monograph deals with approximation and noise cancellation of dynamical systems which include linear and nonlinear input/output ...
Continue reading
The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for ...
Continue reading
The third Workshop on Approximation and Online Algorithms (WAOA 2005) focused on the design and analysis of algorithms for ...
Continue reading
The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for ...
Continue reading
This book constitutes the joint refereed proceedings of the 11th International Workshop on Approximation Algorithms for Combinatorial ...
Continue reading
This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI ...
Continue reading
Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. ...
Continue reading
Introduces AI-based Lagrange optimization techniques that can enable more rational engineering decisions for concrete structures ...
Continue reading
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Continue reading
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Continue reading
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Continue reading
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
Continue reading