 |
|
 Introduction to Real Analysis (2nd Edition)
This text is a single variable real analysis text, designed for the one-year course at the junior, senior, or beginning graduate level. It provides a rigorous and comprehensive treatment of the theoretical concepts of analysis. The book contains most of the topics covered in a text of this nature, but it also includes many... |  |  Getting Started with Microsoft Lync Server 2013
Lync 2013 is a product that enables users to IM, and have audio and video conferences, including multi-party video. The mobile client permits the use of all the features in every device with an access-from-everywhere logic. The company’s Active Directory users, SharePoint documents, and Exchange objects integrate with Lync to deliver... |  |  Makers at Work: Folks Reinventing the World One Object or Idea at a Time
What do you get when you combine an electronics hobbyist, hacker, garage mechanic, kitchen table inventor, tinkerer, and entrepreneur? A “maker,” of course. Playful and creative, makers are—through expertise and experimentation—creating art, products, and processes that change the way we think and interact with the... |
|
|
|
 ISA System Architecture (3rd Edition)
*ISA System Architecture describes the hardware architecture of ISA (Industry Standard Architecture), providing a clear, concise explanation of an ISA system in detail. The authors provide a comprehensive treatment of the bus including: **-bus cycles *-addressing *-I/O *-RAM, ROM, and cache memory *-cache architectures *-decode and reset... |  |  The Correctness-by-Construction Approach to Programming
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time,... |  |  Models and Analysis for Distributed Systems (ISTE)
Verification and hence modeling are a mandatory but intricate problem for engineers
developing embedded distributed real-time systems that are entrusted with critical
safety applications like medical care, transportation, energy production, industrial
processes, military operations. Therefore, while emerging 40 years ago, first for... |
|
| Result Page: 70 69 68 67 66 65 64 63 62 61 60 59 58 57 56 55 54 53 52 |