Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(380)
SpringerLink (Online service)
(182)
International Business Machines Corporation. International Technical Support Organization.
(22)
International Federation of Automatic Control.
(12)
Design Studio Press.
(10)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(1178)
Engineering.
(157)
Virtual computer systems.
(94)
Embedded computer systems.
(87)
User interfaces (Computer systems)
(86)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
1561 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 Computer programming and formal systems
      25. 
      Computer programming and formal systems
      by 
      Braffort, P. (Paul), editor.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444534002
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/35
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=35
      Format: 
      Excerpt: 
      Computer programming and formal systems Braffort, P. (Paul), editor.
      Cover image for Computer programming and formal systems
      26. 
      Computer programming and formal systems
      by 
      Braffort, P. (Paul)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
      Format: 
      Excerpt: 
      Computer programming and formal systems / Braffort, P. (Paul)
      Cover image for Pharmaceutical computer systems validation quality assurance, risk management and regulatory compliance
      27. 
      Pharmaceutical computer systems validation quality assurance, risk management and regulatory compliance
      by 
      Wingate, Guy.
      Click to View
      Format: 
      Excerpt: 
      Pharmaceutical computer systems validation quality assurance, risk management and regulatory
      Cover image for Automation, production systems, and computer-integrated manufacturing
      28. 
      Automation, production systems, and computer-integrated manufacturing
      by 
      Groover, Mikell P.
      Format: 
      Excerpt: 
      Automation, production systems, and computer-integrated manufacturing / Groover, Mikell P.
      Cover image for Automation, production systems, and computer-integrated manufacturing
      29. 
      Automation, production systems, and computer-integrated manufacturing
      by 
      Groover, Mikell P.
      Format: 
      Excerpt: 
      Automation, production systems, and computer-integrated manufacturing / Groover, Mikell P.
      Cover image for Data communications, computer networks and open systems.
      30. 
      Data communications, computer networks and open systems.
      by 
      Halsall, Fred
      Format: 
      Excerpt: 
      Data communications, computer networks and open systems. Halsall, Fred
      Cover image for Computer-mediated communication systems : status and evaluation
      31. 
      Computer-mediated communication systems : status and evaluation
      by 
      Kerr, Elaine B.
      ScienceDirect http://www.sciencedirect.com/science/book/9780124049802
      Format: 
      Excerpt: 
      Computer-mediated communication systems : status and evaluation / Kerr, Elaine B.
      Cover image for 12th International Symposium on Process Systems Engineering and 25th European Symposium on Computer Aided Process Engineering
      32. 
      12th International Symposium on Process Systems Engineering and 25th European Symposium on Computer Aided Process Engineering
      by 
      International Symposium on Process Systems Engineering (12th)
      Click to View
      Format: 
      Excerpt: 
      12th International Symposium on Process Systems Engineering and 25th European Symposium on Computer
      Cover image for Proceedings of the 2009 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'09), July 13-16, 2009
      33. 
      Proceedings of the 2009 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'09), July 13-16, 2009
      by 
      International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'09) (2009 : İstanbul)
      Format: 
      Excerpt: 
      International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS
      Cover image for Computer aided design in control systems 1988 : selected papers from the 4th IFAC Symposium, Beijing, PRC, 23-25 August 1988
      34. 
      Computer aided design in control systems 1988 : selected papers from the 4th IFAC Symposium, Beijing, PRC, 23-25 August 1988
      by 
      IFAC Symposium on Computer Aided Design of Control Systems (4th : 1988 : Beijing, China)
      ScienceDirect https://www.sciencedirect.com/science/book/9780080357386
      Format: 
      Excerpt: 
      , Beijing, PRC, 23-25 August 1988 / IFAC Symposium on Computer Aided Design of Control Systems (4th : 1988
      Cover image for Distributed computer control systems 1982 : proceedings of the IFAC 4th Workshop, Tallinn, U.S.S.R., 24-26 May, 1982
      35. 
      Distributed computer control systems 1982 : proceedings of the IFAC 4th Workshop, Tallinn, U.S.S.R., 24-26 May, 1982
      by 
      IFAC Workshop on Distributed Computer Control Systems (4th : 1982 : Tallinn, Estonia)
      ScienceDirect https://www.sciencedirect.com/science/book/9780080286754
      Format: 
      Excerpt: 
      Distributed computer control systems 1982 : proceedings of the IFAC 4th Workshop, Tallinn, U.S.S.R
      Cover image for Computer aided design in control and engineering systems : advanced tools for modern technology : proceedings of the 3rd IFAC/IFIP symposium, Lyngby, Denmark, 31 July-2 August 1985
      36. 
      Select an Action