Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(331)
SpringerLink (Online service)
(30)
Zelkowitz, Marvin V., 1945-
(26)
International Business Machines Corporation. International Technical Support Organization.
(6)
Fujita, Hamido.
(5)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(777)
Computer software -- Development.
(208)
Computer science.
(44)
Computer software.
(44)
Computer software -- Testing.
(39)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
945 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 Point-based graphics
      793. 
      Point-based graphics
      by 
      Gross, Markus, 1963-
      ScienceDirect http://www.sciencedirect.com/science/book/9780123706041
      Format: 
      Excerpt: 
      -source software for the design of new algorithms for point-based graphics. Both editors have worked in computer
      Cover image for Fault-tolerant systems
      794. 
      Fault-tolerant systems
      by 
      Koren, Israel, 1945-
      ScienceDirect http://www.sciencedirect.com/science/book/9780120885251
      Format: 
      Excerpt: 
      hardware and software fault tolerance, as well as information and time redundancy * Incorporated case
      Cover image for Advanced derivatives pricing and risk management : theory, tools and hands-on programming application
      795. 
      Advanced derivatives pricing and risk management : theory, tools and hands-on programming application
      by 
      Albanese, Claudio.
      ScienceDirect http://www.sciencedirect.com/science/book/9780120476824
      Format: 
      Excerpt: 
      finance from the sheer impressive range of ready-to-use software and accessible theoretical tools that are
      Cover image for Why programs fail : a guide to systematic debugging
      796. 
      Why programs fail : a guide to systematic debugging
      by 
      Zeller, Andreas.
      ScienceDirect http://www.sciencedirect.com/science/book/9781558608665
      Format: 
      Excerpt: 
      -of-the-pants techniques, which are of little help with large software systems or to those learning to program. The author
      Cover image for Design of industrial information systems
      797. 
      Design of industrial information systems
      by 
      Boucher, Thomas O.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123704924
      Format: 
      Excerpt: 
      industrial and manufacturing systems. New software systems, such as Enterprise Resource Planning, and new
      Cover image for System requirements analysis
      798. 
      System requirements analysis
      by 
      Grady, Jeffrey O.
      ScienceDirect http://www.sciencedirect.com/science/book/9780120885145
      Format: 
      Excerpt: 
      , TRADITIONAL STRUCTURED ANALYSIS -- 4PART 4, COMPUTER SOFTWARE STRUCTURED ANALYSIS -- 5PART 5, SPECIFICATION
      Cover image for Modelling and planning dialogue from formal semantics
      799. 
      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 Advances in computers. Vol. 65.
      800. 
      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 Embedded systems architecture : a comprehensive guide for engineers and programmers
      801. 
      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
      802. 
      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
      803. 
      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 Parallel computational fluid dynamics : multidisciplinary applications : proceedings of the Parallel CFD 2004 Conference, Las Palmas de Gran Canaria, Spain (May 24-27, 2004)
      804. 
      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
      Select an Action