Your search returned 379 results. Subscribe to this search

|
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg..

by Gregg, John [author.] | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: New York : IEEE Press, c1998Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1998]Online access: Abstract with links to resource Availability: No items available

Digital system clocking : high performance and low-power aspects / Vojin G. Oklobdzija ... [et al.].

by Oklobdzija, Vojin G | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote Publisher: New York : IEEE, c2003Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2005]Online access: Abstract with links to resource Availability: No items available

Tutorial on hardware and software reliability, maintainability, and availability / Norman Schneidewind.

by Schneidewind, Norman [author.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote Publisher: New York : Standards Information Network IEEE Press, c2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available

Arithmetic circuits for DSP applications / edited by Pramod Kumar Meher and Thanos Stouraitis.

by Meher, Pramod Kumar [editor.] | Stouraitis, Th. (Thanos) [editor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Hoboken, NJ : IEEE Press : Wiley, [2017]Copyright date: ©2017Online access: Wiley Online Library Availability: No items available

Cognitive computing using green technologies : modeling techniques and applications / edited by Asis Kumar Tripathy, Chiranji Lal Chowdhary, Mahasweta Sarkar, and Sanjaya Kumar Panda.

by Tripathy, Asis Kumar [editor.] | Chowdhary, Chiranji Lal, 1975- [editor.] | Sarkar, Mahasweta [editor.] | Panda, Sanjaya Kumar [editor.].

Edition: First edition.Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Boca Raton, FL : CRC Press, 2021Copyright date: ©2021Online access: Taylor & Francis | OCLC metadata license agreement Availability: No items available

Computer system reliability : safety and usability / B.S. Dhillon.

by Dhillon, B. S [author.].

Material type: book Book; Literary form: Not fiction Publisher: Boca Raton : Taylor & Francis, 2013Online access: Click here to view. Availability: No items available

Warren's abstract machine : a tutorial reconstruction / Hassan A�it-Kaci.

by A�it-Kaci, Hassan, 1954- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available

Metamodeling : a study of approximations in queueing models / Subhash Chandra Agrawal.

by Agrawal, Subhash Chandra [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1984Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available

The elements of computing systems : building a modern computer from first principles / Noam Nisan and Shimon Schocken.

by Nisan, Noam [author.] | Schocken, Shimon | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2005Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available

Digital system clocking : high performance and low-power aspects / Vojin G. Oklobdzija ... [et al.].

by Oklobdzija, Vojin G | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote Publisher: New York : IEEE, c2003Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2005]Online access: Abstract with links to resource Availability: No items available

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg..

by Gregg, John [author.] | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: New York : IEEE Press, c1998Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1998]Online access: Abstract with links to resource Availability: No items available

Tutorial on hardware and software reliability, maintainability, and availability / Norman Schneidewind.

by Schneidewind, Norman [author.] | IEEE Xplore (Online service) [distributor.].

Material type: book Book; Format: available online remote Publisher: New York : Standards Information Network IEEE Press, c2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available

Arithmetic circuits for DSP applications / edited by Pramod Kumar Meher and Thanos Stouraitis.

by Meher, Pramod Kumar [editor.] | Stouraitis, Th. (Thanos) [editor.] | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.].

Material type: book Book; Format: available online remote Publisher: Hoboken, New Jersey : IEEE Press : Wiley, [2017]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2017]Online access: Abstract with links to resource Availability: No items available

Internet of Things, Smart Spaces, and Next Generation Networking [electronic resource] : 13th International Conference, NEW2AN 2013, and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings / edited by Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy.

by Balandin, Sergey [editor.] | Andreev, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Evolving OpenMP in an Age of Extreme Parallelism [electronic resource] : 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings / edited by Matthias S. Müller, Bronis R. de Supinski, Barbara Chapman.

by Müller, Matthias S [editor.] | de Supinski, Bronis R [editor.] | Chapman, Barbara [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Transactions on Pattern Languages of Programming IV [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford.

by Noble, James [editor.] | Johnson, Ralph [editor.] | Zdun, Uwe [editor.] | Wallingford, Eugene [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers / edited by Ruzica Piskac, Philipp Rümmer.

by Piskac, Ruzica [editor.] | Rümmer, Philipp [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Cloud Computing - CLOUD 2019 [electronic resource] : 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings / edited by Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang.

by Da Silva, Dilma [editor.] | Wang, Qingyang [editor.] | Zhang, Liang-Jie [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Structured Object-Oriented Formal Language and Method [electronic resource] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya.

by Duan, Zhenhua [editor.] | Liu, Shaoying [editor.] | Tian, Cong [editor.] | Nagoya, Fumiko [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Theory and Applications of Satisfiability Testing - SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings / edited by Mikoláš Janota, Inês Lynce.

by Janota, Mikoláš [editor.] | Lynce, Inês [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available