• Index
  • Resources
  • Search & Browse
  • Library Catalog

Library Catalog

Start Over Brief DisplayFilter ResultsKeyword Search

Search for: Keyword: 限制可取得館藏

Previous  Next 
註記   年
Three-dimensional display systems -- Computer programs : Dann, Wanda   
      Learning to program with Alice / Wanda P. Dann, Stephen Cooper, Randy Pausch 總館  c2009
Time management -- Computer programs  
      Outlook 2007 [electronic resource] : beyond the manual / Tony Campbell, Jonathan Hassell 網際網路  2007
      Special edition using Microsoft Office Outlook 2007 [electronic resource] / Patricia DiGiacomo 網際網路  c2007
Time-series analysis -- Computer programs  
      Applied time series analysis and forecasting with Python / by Changquan Huang, Alla Petukhina 網際網路  2022
      Artificial higher order neural networks for economics and business [electronic resource] / Ming Zhang 網際網路  c2008
      Introduction to time series analysis and forecasting : with applications of SAS and SPSS / Robert A. 公館分館  c2000
      Practical time series analysis in natural sciences / by Victor Privalsky 網際網路  2023
4 其他項目  
User interfaces (Computer systems) -- Computer programs : Bowley, David   
      Rapid portlet development with WebSphere portlet factory : step-by-step guide for building your own p 總館  c2009
Computer programs -- Validation : Nicolescu, Gabriela   
      Global Specification and Validation of Embedded Systems [electronic resource] : Integrating Heterogen 網際網路  2007
Computer programs -- Verification  
      The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verifica 網際網路  2007
      Privately and publicly verifiable computing techniques : a survey / by Denise Demirel, Lucas Schabhus 網際網路  2017
      Programming logics : an introduction to verification and semantics / Raymond D. Gumb 總館  c1989
Computer programs -- Verification -- Congresses  
      Computer aided verification [electronic resource] : 16th international conference, CAV 2004 / Alur, R 網際網路  c2004
      Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 1 網際網路  2019
      Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 1 網際網路  2019
      Critical systems : formal methods and automated verification : Joint 21st International Workshop on F 網際網路  2016
37 其他項目  
Verification (Logic) -- Computer programs : Pendyala, Vishnu   
      Veracity of big data [electronic resource] : machine learning and other approaches to verifying truth 網際網路  2018
Visual programming (Computer science) -- Computer programs  
      Visual Studio LightSwitch 2012 [electronic resource] / by Tim Leung 網際網路  2013
      Visual Studio LightSwitch 2015 [electronic resource] / by Tim Leung 網際網路  2015
Water-supply engineering -- Computer programs : Araghinejad, Shahab,   
      Data-driven modeling : using MATLAB in water resources and environmental engineering / by Shahab Arag 網際網路  2014
Web portals -- Computer programs  
      Hands-On liferay DXP : learn portlet development and customization using OSGi modules / by Apoorva Pr 網際網路  2022
      Rapid portlet development with WebSphere portlet factory : step-by-step guide for building your own p 總館  c2009
Web servers -- Computer programs  
      Apache essentials : install, configure, maintain / by Darren James Harkness 網際網路  2022
      Beginning Object-Oriented ASP.NET 2.0 with VB.NET [electronic resource] : From Novice to Professional 網際網路  2005
      Expert ASP.NET 2.0 [electronic resource] : Advanced Application Design / by Dominic Selly, Andrew Tro 網際網路  2006
      Migrating from WebSphere Application server community edition to WebSphere Application server / [Rufu 總館  c2007
4 其他項目  
no.

Previous  Next 
Go to Top