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