Welcome to the Kids' Library!

Co-verification of hardware and software for ARM SoC design

Andrews, Jason R.
Amsterdam ; Boston : Elsevier, ©2005. 2005

Metamodeling-driven IP reuse for SoC integration and microprocessor design

Mathaikutty, Deepak A.
Boston ; London : Artech House, c2009. 2009

Principles of model checking

Baier, Christel.
Cambridge, Mass. : MIT Press, 2008. 2008

Robot framework test automation

Bisht, Sumit.
Birmingham : Packt Publishing, 2013. 2013

Software verification and validation for practitioners and managers

Rakitin, Steven R.
Boston : Artech House, c2001. 2001

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Yoeli, Michael, 1917-
Hoboken, N.J. : Wiley-Interscience, c2008. 2008

Dependable software systems engineering

Amsterdam, Netherlands : IOS Press, 2015. 2015

Engineering dependable software systems

NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Amsterdam ; Washington, D. C. : IOS Press, [2013] 2013

Software safety and security tools for analysis and verification

NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Washington, D.C. : IOS Press, 2012. 2012

Verification of infinite-state systems with applications to security

NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania)
Amsterdam ; Washington, D.C. : IOS Press, c2006. 2006

Audio processes : musical analysis, modification, synthesis, and control

Creasey, D. J. (David J.), author.
New York, New York ; London, [England] : Routledge, 2017. 2017

Automated Sound Design

Lyon, Eric, 1962- author.
Middleton, Wisconsin : A-R Editions, Inc., [2023] 2023

The beginner's guide to computer-based music production

Price, Zack.
New York : Cherry Lane Music, c2004. 2004

Beyond Dolby (stereo) cinema in the digital sound age

Kerins, Mark.
Bloomington : Indiana University Press, 2010. 2010

The complete guide to digital audio : a comprehensive introduction to digital sound and music-making

Middleton, Chris.
Boston, MA : Muska & Lipman Pub., c2003. 2003