Welcome to the Kids' Library!

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Boldo, Sylvie, author.
London : ISTE Press ; Oxford, UK : Elsevier, 2017. 2017

Providing for further consideration of the bill (H.R. 5303) to provide for improvements to the river

United States. Congress. House. Committee on Rules, author.
[Washington, D.C.] : [U.S. Government Publishing Office], [2016] 2016

Biologically inspired computer vision : fundamentals and applications

Weinheim, Germany : Wiley-VCH Verlag GmbH & Co. KGaA, 2016. 2016

Supply chain management and its applications in computer science

Krichen, Saoussen, author.
London, England ; Hoboken, New Jersey : iSTE : Wiley, 2016. 2016

Computer interpretation of metaphoric phrases

Russell, Sylvia Weber, author.
Boston, Massachusetts ; Berlin, Germany : De Gruyter, 2016. 2016

Concepts of proof in mathematics, philosophy, and computer science

Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016. 2016

Computer support for successful project management : using MS Project 2016 with construction project

Samant, Ulhaus M., author.
New York, New York (222 East 46th Street, New York, NY 10017) : Business Expert Press, 2016. 2016

Brain-computer interfaces : technology and applications

London, England ; Hoboken, New Jersey : ISTE : Wiley, 2016. 2016

Learning computer architecture with Raspberry Pi

Indianapolis, Indiana : Wiley, 2016. 2016

Brain-computer interfaces.

Hoboken, New Jersey : ISTE Ltd/John Wiley and Sons Inc, 2016. 2016

English in computer-mediated communication : variation, representation, and change

Boston, [Massachusetts] ; Berlin, [Germany] : De Gruyter Mouton, 2016. 2016

Birthing the computer : from relays to vacuum tubes

Kaisler, Stephen H., author.
Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2016. 2016

Conducting computer security assessments at nuclear facilities.

Vienna, Austria : International Atomic Energy Agency, 2016. 2016

Computer security incident response planning at nuclear facilities

Vienna, Austria : International Atomic Energy Agency, 2016. 2016

What's inside my computer?

Zuchora-Walske, Christine.
Minneapolis : Lerner Publications, c2016. 2016

Language-learner computer interactions : theory, methodology and CALL applications

Amsterdam, [Netherlands] ; Philadelphia, [Pennsylvania] : John Benjamins Publishing Company, 2016. 2016

Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 20

Providence, Rhode Island : American Mathematical Society, 2016. 2016

Machine analysis with computer applications for mechanical engineers

Doane, James, author.
Chichester, England : Wiley, 2016. 2016

Optimization of computer networks : modeling and algorithms : a hands-on approach

Marino, Pablo Pavon, author.
Chichester, West Sussex, United Kingdom : John Wiley & Sons, Incorporated, 2016. 2016

What is computer coding?

Pratt, Mary K.
Minneapolis : Lerner Publications, c2016. 2016

Computer science : a very short introduction

Dasgupta, Subrata, author.
New York, New York : Oxford University Press, 2016. 2016

A dictionary of computer science

[Oxford] : Oxford University Press, 2016. 2016

26th European Symposium on Computer Aided Process Engineering

European Symposium on Computer Aided Process Engineering (26th : 2016 : Portoro, Slovenia), author.
Amsterdam, Netherlands : Elsevier, 2016. 2016

EPA can better assure continued operations at National Computer Center through complete and up-to-da

United States. Environmental Protection Agency. Office of the Inspector General, author.
[Washington, D.C.] : U.S. Environmental Protection Agency, Office of Inspector General, 2015. 2015

Big practical guide to computer simulations

Hartmann, Alexander K., author.
Singapore ; New Jersey : World Scientific Publishing Co. Pte. Ltd., [2015] 2015

Computer-aided graphing and simulation tools for AutoCAD users

Simionescu, P. A., 1968- author.
Boca Raton, Florida : CRC Press : Taylor & Francis Group, [2015] 2015

Computer-aided detection and diagnosis in medical imaging

Boca Raton, Florida ; London, [England] ; New York, [New York] : CRC Press, 2015. 2015

Performance evaluation by simulation and analysis with applications to computer networks

Chen, Ken, author.
London, [England] ; Hoboken, New Jersey : ISTE Limited : John Wiley & Sons, 2015. 2015

12th International Symposium on Process Systems Engineering and 25th European Symposium on Computer

International Symposium on Process Systems Engineering (12th)
Amsterdam, Netherlands : Elsevier, 2015. 2015

Computer games and software engineering

Boca Raton, Florida ; London, [England] ; New York : CRC Press, 2015. 2015

Computer principles and design in Verilog HDL

Li, Yamin, author.
Singapore : Wiley, 2015. 2015

The 12 biggest breakthroughs in computer technology

Ventura, Marne.
North Mankato, MN : 12 Story Library, c2015. 2015

Computer : a history of the information machine

Campbell-Kelly, Martin, author.
Boulder, Colorado : Westview Press, a member of the Perseus Books Group, [2014] 2015

Computer networking

Vasudevan, Shriram K., author.
Oxford, England : Alpha Science International Ltd., 2015. 2015

Mathematical structures for computer graphics

Janke, Steven J., 1947- author.
Hoboken, New Jersey : Wiley, 2015. 2015

Emerging trends in image processing, computer vision, and pattern recognition

Amsterdam ; Waltham, MA : Elsevier/Morgan Kaufmann, [2015] 2015

Modeling and simulation of computer networks and systems : methodologies and applications

Amsterdam : Elsevier : Morgan Kaufmann, [2015] 2015

12th International Symposium on Process Systems Engineering and 25th European Symposium on Computer

International Symposium on Process Systems Engineering (12th : 2015 : Copenhagen, Denmark)
Amsterdam : Elsevier, 2015. 2015

Audit of the Executive Office for United States Attorneys' laptop computer and electronic tablet enc

United States. Department of Justice. Audit Division, author.
[Washington, D.C.] : U.S. Department of Justice, Office of the Inspector General, Audit Division, 2014. 2014

Computer games designer

Featherstone, Mark, 1969-
Chicago, Ill. : Raintree, c2014. 2014

TV watching and computer use in U.S. youth aged 12-15, 2012

Herrick, Kirsten A., author.
Hyattsville, MD : U.S. Department of Health and Human Services, Centers for Disease Control and Prevention, National Center for Health Statistics, 2014. 2014

Computer incident response and forensics team management : conducting a successful incident response

Johnson, Leighton.
Amsterdam : Elsevier, [2014] 2014

Clinical application of computer-guided implant surgery

Parashis, Andreas, author.
Boca Raton, [Florida] ; London, [England] ; New York : CRC Press, 2014. 2014

Practical algorithms for 3D computer graphics

Ferguson, R. Stuart, author.
Boca Raton, Florida ; London, [England] ; New York : CRC Press, 2014. 2014

Dictionary of computer vision and image processing

Fisher, R. B.
Chichester, West Sussex : John Wiley & Sons Inc., 2014. 2014

Computer vision in medical imaging

Singapore ; Hackensack, New Jersey : World Scientific Publishing Company, [2014] 2014

Computer simulation, rhetoric, and the scientific imagination : how virtual evidence shapes science

Roundtree, Aimee Kendall, 1972-
Lanham, Maryland : Lexington Books, 2014. 2014

Best practices in computer network defense : incident detection and response

Washington, DC : IOS Press, [2014] 2014

Computer security handbook

Hoboken, New Jersey : Wiley, 2014. 2014

Literary detective work on the computer

Oakes, Michael P., author.
Amsterdam (Netherlands) ; Philadelphia, Pennsylvania : John Benjamins Publishing Company, 2014. 2014