الصفحة 4
الصفحة 4
Advances in information system development : New methods and practice for the networked society ; Vol. 1
Advances in Information Systems Development: Bridging the Gap between Academia and Industry, Volumes 1 and 2, are the collected proceedings of the Fourteenth International Conference on Information Systems Development. These latest volumes on Information Systems Development examine the exchange of ideas between academia and industry and aims to explore new solutions.
Advances in Evolutionary Algorithms : Theory, Design and Practice
The goal of this book is to provide effective optimization algorithms for solving a broad class of problems quickly, accurately, and reliably by employing evolutionary mechanisms. In this regard, five significant issues have been investigated: Bridging the gap between theory and practice of GEAs, thereby providing practical design guidelines. Demonstrating the practical use of the suggested road map. Offering a useful tool to significantly enhance the exploratory power in time-constrained and memory-limited applications. Providing a class of promising procedures that are capable of scalably solving hard problems in the continuous domain. Opening an important track for multiobjective GEA research that relies on decomposition principle.
A Modern Perspective on Type Theory : From its Origins until Today
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
