Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(26)
Chellappa, Rama.
(2)
Drusinsky, Doron.
(2)
Kenward, Michael.
(2)
Morris, R. G. M. (Richard G. M.)
(2)
Material Type
Language
Subject
Electronic books.
(56)
Computer science.
(10)
0984
(5)
Formal methods (Computer science)
(3)
Algorithms.
(2)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
72 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 science an engineering.
      1. 
      Computer science an engineering.
      Format: 
      Excerpt: 
      Computer science an engineering.
      Cover image for Modeling and simulation : the computer science of illusion
      2. 
      Modeling and simulation : the computer science of illusion
      by 
      Raczynski, Stanislaw, author.
      Click to View
      Format: 
      Excerpt: 
      Modeling and simulation : the computer science of illusion / Raczynski, Stanislaw, author.
      Cover image for Quantum information processing from theory to experiment
      3. 
      Quantum information processing from theory to experiment
      by 
      NATO Advanced Study Institute on Quantum Computation and Quantum Information (2005 : Chania, Greece)
      Click to View
      Format: 
      Excerpt: 
      NATO science series. Series III, Computer and systems sciences,
      Cover image for Proof technology and computation
      4. 
      Proof technology and computation
      by 
      NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)
      Click to View
      Format: 
      Excerpt: 
      NATO science series. Series III, Computer and systems sciences ;
      Cover image for Computer system performance modeling in perspective a tribute to the work of Professor Kenneth C. Sevcik
      5. 
      Computer system performance modeling in perspective a tribute to the work of Professor Kenneth C. Sevcik
      by 
      Gelenbe, E., 1945-
      Click to View
      Format: 
      Excerpt: 
      Advances in computer science and engineering: Texts ;
      Cover image for Hyperbolic partial differential equations
      6. 
      Hyperbolic partial differential equations
      by 
      Witten, Matthew, 1951-
      ScienceDirect https://www.sciencedirect.com/science/book/9780080302546
      Format: 
      Excerpt: 
      International series in modern applied mathematics and computer science ;
      Cover image for Analysis of Data Recovery Techniques for Use with Patterned Media Storage Systems
      7. 
      Cover image for Hardware Support for Embedded Java
      8. 
      Hardware Support for Embedded Java
      by 
      Capewell, Paul, 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:13870713
      Format: 
      Excerpt: 
      The University of Manchester (United Kingdom). School of Computer Science. degree granting
      Cover image for Integrated Architecture and Routing Protocols for Heterogeneous Wireless Networks
      9. 
      Integrated Architecture and Routing Protocols for Heterogeneous Wireless Networks
      by 
      Cavalcanti, Dave Alberto Tavares, 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:10857145
      Format: 
      Excerpt: 
      University of Cincinnati. Computer Science and Engineering. degree granting institution.
      Cover image for Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
      10. 
      Cover image for Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking
      11. 
      Cover image for Introduction to computer concepts : lecture notes
      12. 
      Introduction to computer concepts : lecture notes
      by 
      Aydın, Emin Doğan
      Format: 
      Excerpt: 
      Computer science.
      Select an Action