Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
WeiterlesenThe volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your ...
WeiterlesenWelcome to the proceedings of the 5th International Conference on Scale-Space and PDE Methods in Computer Vision. The scale-space ...
WeiterlesenThis book is organized in topical sections on applied topic maps in industry and administration, visualisation and representation ...
WeiterlesenVisual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...
WeiterlesenThis book on scheduling covers theoretical models as well as scheduling problems in the real world. The book consists of ...
Weiterlesenthis well-written and thought-provoking book presents the state-of-the-art in science education for kindergarten and primary ...
WeiterlesenThis book constitutes the refereed proceedings of the 5th Annual Smart City 360° Summit, held in Braga, Portugal, in December ...
WeiterlesenThis workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web ...
WeiterlesenThis book is composed of papers presented at the Conference on Scientific Computing in Electrical Engineering, which was ...
WeiterlesenThis book is a collection of papers presented at the last Scientific Computing in Electrical Engineering (SCEE) Conference, ...
WeiterlesenThis textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of ...
WeiterlesenThe scope of the workshop included the following topics: – design of distributed applications – development methodologies ...
WeiterlesenThis book synthesizes the most current literature and research on scientific inquiry and nature of science in K-12 instruction. ...
WeiterlesenThe profession of pharmacist and pharmacology is a science that researches drugs, their properties, the composition of drugs ...
WeiterlesenThe first part of "Screw Compressors" gives a review of recent developments in screw compressor design.The second part ...
WeiterlesenThis book - the authors' second book on screw compressors – presents the results of the most up to date methods of three-dimensional ...
WeiterlesenIn this book experts in 26 areas of seagrass biology present their work in chapters which are state-of–the-art and designed ...
WeiterlesenPresents actual design projects that have been implemented at various seaside locations Covers all aspects of seaside building, ...
WeiterlesenData science techniques being applied not only for cyber security but also for every application area—including healthcare, ...
Weiterlesen