This survey book reviews four interrelated areas: (i) the relevance of heuristics in problem-solving approaches – why they ...
Lee mas
This is the first comprehensive collection of problems in set theory. Most of classical set theory is covered, classical ...
Lee mas
This is the first comprehensive collection of problems in set theory. Most of classical set theory is covered, classical ...
Lee mas
The book covers topics ranging from elementary number theory (such as the unique factorization of integers or Fermat's little ...
Lee mas
This book gives a problem-solving approach to the difficult subject of analytic number theory. It is primarily aimed at graduate ...
Lee mas
The major characteristic pathological findings of pulmonary vascular remodelling are increased wall thickening of pulmonary ...
Lee mas
Provides a comprehensive collection of practical problems on the design, analysis and verification of algorithms Includes ...
Lee mas
The book introduces the major activities of ICME-13, namely articles from the four plenary lecturers and two plenary panels, ...
Lee mas
Covers numerical simulations with industrial civil engineering applications such as bridges and dams, cyclic loading, fluid ...
Lee mas
Brings together papers presenting results covering areas of applied mathematics and scientific computing. This work offers ...
Lee masCutting edge scientific researches on various social phenomena are reviewed. New methods for analysis of big data such as ...
Lee mas
PROCESS OPTIMIZATION: A Statistical Approach is a textbook for a course in experimental optimization techniques for industrial ...
Lee mas
This textbook provides a comprehensive modeling, reformulation and optimization approach for solving production planning ...
Lee mas
This textbook provides a comprehensive modeling, reformulation and optimization approach for solving production planning ...
Lee mas
This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Lee mas
This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
Lee masThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
Lee mas
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received ...
Lee masThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
Lee mas
The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...
Lee mas