Search Results

The coevolution : the entwined futures of humans and machines / Edward Ashford Lee. by Lee, Edward A., 1957-

Request via ILL

Insolvent : how to reorient computing for just sustainability / Christoph Becker. by Becker, Christoph (Director of the Digital Curation Institute)

Request via ILL

Mechanizing proof : computing, risk, and trust / Donald MacKenzie. by MacKenzie, Donald A.

Request via ILL

Finite state machines in hardware : theory and design (with VHDL and SystemVerilog) / Volnei A. Pedroni. by Pedroni, Volnei A.

Request via ILL

Untold. countdown to catastrophe / produced by Makematic.

Request via ILL

Performance modeling and design of computer systems queueing theory in action / Mor Harchol-Balter. by Harchol-Balter, Mor, 1966-

Request via ILL

Safety of computer architectures edited by Jean-Louis Boulanger.

Request via ILL

Meta-algorithmics patterns for robust, low cost, high quality systems / Steven J. Simske. by Simske, Steven J.

Request via ILL

Building mobile applications using Kendo UI Mobile and ASP.NET Web API / Nishanth Nair, Ragini Kumbhat Bhandari. by Nair, Nishanth, Bhandari, Ragini Kumbhat

Request via ILL

Green computing : large-scale energy efficiency / edited by Wu-chun Feng.

Request via ILL

Roadmap to greener computing / Raoul-Abelin Choumin Nguemaleu, Lionel Montheu. by Nguemaleu, Raoul-Abelin Choumin, Montheu, Lionel

Request via ILL

Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus.

Request via ILL

Building dependable distributed systems / Wenbing Zhao. by Zhao, Wenbing, Ph.D

Request via ILL

Computer system performance modeling in perspective a tribute to the work of Professor Kenneth C. Sevcik / editor Erol Gelenbe.

Request via ILL

Micro nano devices, structure and computing systems III : selected, peer reviewed papers from the 2014 3rd International Conference on Micro Nano Devices, Structure and Computing S...

Request via ILL

Architecting enterprise solutions patterns for high-capability Internet-based systems / Paul Dyson, Andy Longshaw. by Dyson, Paul

Request via ILL

Authoring scientific and technical documents with Microsoft Word 2000 [Igor Podlubny and Katarina Kassayova].

Request via ILL

Quantitative assessments of distributed systems : methodologies and techniques / edited by Dario Bruneo and Salvatore Distefano ; cover design by Russell Richardson.

Request via ILL

Open systems dependability : dependability engineering for ever-changing systems / editor, Mario Tokoro.

Request via ILL

A practitioner's guide to software test design Lee Copeland. by Copeland, Lee

Request via ILL