Handbook of formal analysis and verification in cryptography /Publisher: Boca Raton, FL : CRC Press, Taylor and Francis Group,
Date: 2024. This title can be found in 1 Iowa libraries.
Making the most of your ILS : a user's guide to evaluating and optimizing library systems /Author: Gates, Lynn E.,
Publisher: Santa Barbara, California : Libraries Unlimited,
Date: [2023] This title can be found in 1 Iowa libraries.
Legacy IT Reduction Act of 2022 : report of the Committee on Homeland Security and Governmental Affairs, United States Senate to accompany S. 3897 to require the reduction of the reliance and expenditures of the federal Government on legacy information technology systems, and for other purposes.Publisher: Washington : U.S. Government Publishing Office,
Date: 2023. This title can be found in 1 Iowa libraries.
The invent to learn : guide to the micro:bit /Author: Maas, Pauline,
Publisher: Torrance, CA, USA : Constructing Modern Knowledge Press,
Date: [2023] This title can be found in 1 Iowa libraries.
Influential machines : the rhetoric of computational performance /Author: Coleman, Miles C.,
Publisher: Columbia, South Carolina : University of South Carolina Press,
Date: [2023] This title can be found in 1 Iowa libraries.
The matrix: Resurrections /Publisher: [Burbank, California] : Warner Bros. Entertainment Inc.,
Date: 2021, 2022. This title can be found in 24 Iowa libraries.
The hardware hacking handbook : breaking embedded security with hardware attacks /Author: Woudenberg, Jasper van,
Publisher: San Francisco, CA : No Starch Press, Inc.,
Date: [2022] This title can be found in 1 Iowa libraries.
A hands-on guide to designing embedded systems /Author: Taylor, Adam
Publisher: Norwood, MA : Artech House,
Date: [2022] This title can be found in 1 Iowa libraries.
Proof of stake : the making of Ethereum, and the philosophy of blockchains /Author: Buterin, Vitalik.
Publisher: New York : Seven Stories Press,
Date: [2022] This title can be found in 2 Iowa libraries.
The Matrix 4-film déja vu collection Format: [dvd]
Publisher: Universal City, CA : Studio Distribution Center,
Date: 2022. This title can be found in 1 Iowa libraries.
Model-checking quantum systems : principles and algorithms /Author: Ying, Mingsheng,
Publisher: Cambridge, UK ; Cambridge University Press,
Date: 2021. This title can be found in 1 Iowa libraries.
The internet of things /Author: Greengard, Samuel,
Publisher: Cambridge, Massachusetts : The MIT Press,
Date: [2021] This title can be found in 3 Iowa libraries.
The matrix resurrectionsFormat: [videorecording].
Publisher: [United States] : Warner Brothers,
Date: 2022. This title can be found in 5 Iowa libraries.
Building micro-frontends : scaling teams and projects empowering developers /Author: Mezzalira, Luca.
Publisher: Sebastopol, CA : O'Reilly,
Date: 2021. This title can be found in 1 Iowa libraries.
Kill it with fire : manage aging computer systems (and future-proof modern ones) /Author: Bellotti, Marianne,
Publisher: San Francisco : No Starch Press, Inc.,
Date: [2021] This title can be found in 1 Iowa libraries.
Virtual reality /Author: Rathburn, Betsy,
Publisher: Minneapolis, MN : Bellwether Media, Inc.,
Date: 2021. This title can be found in 1 Iowa libraries.
Embedded software development for safety-critical systems /Author: Hobbs, Chris
Publisher: Boca Raton : CRC Press,
Date: [2020] This title can be found in 1 Iowa libraries.
Library information systems /Author: Matthews, Joseph R.
Publisher: Santa Barbara, California : Libraries Unlimited,
Date: [2020] This title can be found in 1 Iowa libraries.
Voice technology in healthcare : leveraging voice to enhance patient and provider experiences /Publisher: New York : Productivity Press,
Date: [2020] This title can be found in 1 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.