Search Results - Computer names Programming Computer programs.

Continuation of the national emergency with respect to securing the information and communications technology and service supply chain : message from the President of the United St...

by Biden, Joseph R., Jr
Published 2023

Creating precision robots : a project-based approach to the study of mechatronics and robotics /

by Nickols, Francis, Lin, Yueh-Jaw
Published 2019

Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010, Revised selected papers /

Published 2011

Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /

Published 2008

Web services and formal methods : 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers /

Published 2010

Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 ; revised selected papers /

Published 2008

Quality of software architectures : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeraas, Sweden, June 27-29, 2006 : revised papers /

Published 2006

Intelligent tutoring systems : 10th international conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010 ; proceedings.

Published 2010

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings /

Published 2007

China : challenges for U.S. commerce : hearing before the Subcommittee on Security of the Committee on Commerce, Science, and Transportation, United States Senate, One Hundred Sixt...

Published 2023

Leading practices: iterative cycles enable rapid delivery of complex, innovative products : report to congressional committees /

Published 2023

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /

Published 2010

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings /

Published 2010

Is the OPM data breach the tip of the iceberg? : joint hearing before the Subcommittee on Oversight & Subcommittee on Research and Technology, Committee on Science, Space, and Tech...

Published 2016

Software architectures, components and applications : third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007 : revised s...

Published 2007

Charley Chase Comedy Collection.

Published 2005

Charley Chase Comedy Collection.

Published 2005

NSTIC pilots : catalyzing the identity ecosystem /

by Megas, Katerina
Published 2015

Using novel image-based interactional proofs and source randomization for prevention of web bots /

by Vikram, Shardul
Published 2012

Does it cost more to train residents or to replace them? : a look at the costs and benefits of operating graduate medical education programs /

by Wynn, Barbara O., Smalley, Robert, Cordasco, Kristina M.
Published 2013