Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(28)
Zelkowitz, Marvin V., 1945-
(3)
Berger, Arnold S.
(2)
Honick, Ron.
(2)
Rasmussen, Søren, 1971-
(2)
Material Type
Language
Subject
Electronic books.
(45)
Computer software -- Development.
(13)
Computer software -- Management.
(4)
Computer security.
(3)
Data recovery (Computer science) -- Software.
(3)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
49 Results Found Subscribe to search results
000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for A student guide to object-oriented development
      37. 
      A student guide to object-oriented development
      by 
      Britton, Carol, 1947-
      ScienceDirect http://www.sciencedirect.com/science/book/9780750661232
      Format: 
      Excerpt: 
      Computer software -- Development.
      Cover image for Advances in computers. Volume 64, New programming paradigms
      38. 
      Cover image for Co-verification of hardware and software for ARM SoC design
      39. 
      Co-verification of hardware and software for ARM SoC design
      by 
      Andrews, Jason R.
      ScienceDirect http://www.sciencedirect.com/science/book/9780750677301
      Format: 
      Excerpt: 
      Computer software -- Verification.
      Cover image for Understanding your users : a practical guide to user requirements methods, tools, and techniques
      40. 
      Cover image for Modelling and planning dialogue from formal semantics
      41. 
      Modelling and planning dialogue from formal semantics
      by 
      Funk, John Adam, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10836293
      Format: 
      Excerpt: 
      user's goal and to solve any necessary queries, while maintaining a structured model of the human-computer
      Cover image for Embedded systems architecture : a comprehensive guide for engineers and programmers
      42. 
      Embedded systems architecture : a comprehensive guide for engineers and programmers
      by 
      Noergaard, Tammy.
      ScienceDirect http://www.sciencedirect.com/science/book/9780750677929
      Format: 
      Excerpt: 
      , including processors, memory, buses, and I/O system software, including device drivers and operating systems
      Cover image for Advanced graphics programming using openGL
      43. 
      Advanced graphics programming using openGL
      by 
      McReynolds, Tom.
      ScienceDirect http://www.sciencedirect.com/science/book/9781558606593
      Format: 
      Excerpt: 
      progress has been impressive, widespread gains in software expertise have come more slowly. Information
      Cover image for Buffer overflow attacks : detect, exploit, prevent
      44. 
      Buffer overflow attacks : detect, exploit, prevent
      by 
      Foster, James C.
      ScienceDirect http://www.sciencedirect.com/science/book/9781932266672
      Format: 
      Excerpt: 
      most devastating computer attacks to hit the Internet in recent years including SQL Slammer, Blaster
      Cover image for Advances in computers. Vol. 65.
      45. 
      Advances in computers. Vol. 65.
      by 
      Zelkowitz, Marvin V., 1945-
      to access electronic resource
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121656
      Format: 
      Excerpt: 
      -- Chapter 2. Software model checking with SPIN by Gerard J. Holzmann -- Chapter 3. Early Cognitive Computer
      Cover image for Parallel computational fluid dynamics : multidisciplinary applications : proceedings of the Parallel CFD 2004 Conference, Las Palmas de Gran Canaria, Spain (May 24-27, 2004)
      46. 
      Parallel computational fluid dynamics : multidisciplinary applications : proceedings of the Parallel CFD 2004 Conference, Las Palmas de Gran Canaria, Spain (May 24-27, 2004)
      by 
      Parallel CFD Conference (2004 : Las Palmas, Canary Islands)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444520241
      Format: 
      Excerpt: 
      solving large fluid dynamics problems. - It is of interest to researchers in computer science, engineering
      Cover image for Simply Lean Simulations: Bridging dynamic discrete-event simulation and Lean Six-Sigma process improvement techniques
      47. 
      Cover image for Virtual machines : versatile platforms for systems and processes
      48. 
      Virtual machines : versatile platforms for systems and processes
      by 
      Smith, James E. (James Edward), 1950-
      MacEwan University Access (Unlimited Concurrent Users) from ScienceDirect
      ScienceDirect https://www.sciencedirect.com/science/book/9781558609105
      Format: 
      Excerpt: 
      of software portability and flexibility. Virtual machines are rapidly becoming an essential element
      Select an Action