Wiley-Interscience
Books by this publisher
-
F# for Scientists
Published 12 years ago
by Jon Harrop, Wiley-Interscience
If you’re a computationally-oriented researcher, scientist, or developer who needs to learn the basics of functional programming, .NET and scientific computing, F# for Scientists will bring you up to speed with basic syntax and programming language concepts. Written in a clear and concise style with practical and enlightening examples, this book is accessible and easy to understand.
-
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computin
Published 13 years ago
by Michael Yoeli, Rakefet Kol, Wiley-Interscience
This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. It presents theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.
-
Computing for Numerical Methods Using Visual C++
Published 13 years ago
by Shaharuddin Salleh, Albert Y. Zomaya, Sakhinah A. Bakar, Wiley-Interscience
Computing for Numerical Methods Using Visual C++ fills the need for a complete, authoritative book on the visual solutions to problems in numerical methods using C++. The book takes an interdisciplinary approach to the subject and demonstrates how solving problems in numerical methods using C++ is dominant and practical for implementation due to its flexible language format, object-oriented methodology, and support for high numerical precisions.
-
Modern Multithreading : Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs
Published 15 years ago
by Richard H. Carver, KuoChung Tai, Wiley-Interscience
Master the essentials of concurrent programming,including testing and debugging This textbook examines languages and libraries for multithreaded programming. Readers learn how to create threads in Java and C++, and develop essential concurrent programming and problem-solving skills. Moreover, the textbook sets itself apart from other comparable works by helping readers to become proficient in key testing and debugging techniques.
-
Numerical Simulations and Case Studies Using Visual C++.Net
Published 15 years ago
by Shaharuddin Salleh, Albert Y Zomaya, Stephen Olariu Bahrom Sanugi, Wiley-Interscience
Master the numerical simulation process required to design, test and support mobile and parallel computing systems. An accompanying ftp site contains all the Visual C++ based programs discussed in the text to help readers create their own programs. With its focus on problems and solutions, this is an excellent text for upper-level undergraduate and graduate students, and a must-have reference for researchers and professionals in the field of simulations.
-
Programming Converged Networks: Call Control in Java, XML, and Parlay/OSA
Published 17 years ago
by Ravi Jain, JohnLuc Bakker, Farooq Anjum, Wiley-Interscience
One of the key characteristics of the next generation of communications networks is that they will be open for software vendors to create services for customers. These services will hinge on the development of flexible application programming interfaces (APIs) for call control. This book examines next generation APIs, emphasizing Java Call Control throughout. Readers will also find valuable insights into the pros and cons of various call control models.
Comments