Automatic text summarization (ATS) : 中央研究院 ;
2016
1
Automatic theorem proving
93
Automatic theorem proving -- Computer programs : Loh, Clara,; 中央研究院 ;
2022
1
Automatic theorem proving -- Congresses
261
Automatic theorem proving -- Congresses.;Computer programming -- Congresses.;Computer software -- Development -- Congresses Department of Information Technology Services ;
2006
1
Automatic theorem proving -- Congresses.;Logic, Symbolic and mathematical -- Congresses
2
Automatic theorem proving -- Congresses.;Nonclassical mathematical logic -- Congresses.;Logic, Symbolic and mathematical -- Congresses : Ruiz, Pablo; Department of Information Technology Services ;
2010
1
Automatic theorem proving -- Periodicals : Information Sci. Lib. ;
c1985-
1
Automatic tracking
9
Automatic tracking.;Bayesian statistical decision theory.;Expert systems (Computer science);Multisensor data fusion -- Mathematics.;Signal processing.;Target acquisition.;Tracking radar : Mahler, Ronald P.S; Department of Information Technology Services ;
2007
1
Automatic tracking -- Congresses : Information Sci. Lib. ;
c1992
1
Automatic tracking -- Mathematical models : Betke, Margrit,; Information Sci. Lib. ;
2017
1
Automatic tracking -- Mathematics
2
Automatic tracking -- Mathematics.;Computer vision -- Mathematical models.;Three-dimensional imaging -- Mathematics : Panin, Giorgio; Department of Information Technology Services ;
2011
1
automatic training of agents : Kim, Eun-Youn,; Information Sci. Lib. ;
2017
1
Automation -- See also Automatic control
1
Automation
179
Academic libraries -- Automation
3
Academic libraries -- United States -- Automation : 中央研究院 ;
1996
1
Academic libraries -- United States -- Automation -- Case studies : Cline, Hugh F; Information Sci. Lib. ;
c1983
1
Accounting -- Automation : Langmann, Christian,; 中央研究院 ;
2022
1
Administrative acts -- Germany -- Automation : Herold, Viktoria,; 人文社會聯圖 ;
2020
1
Agricultural industries -- California -- Automation : Marez, Curtis,; Euro-Am Studies Lib ;
2016
1
Agriculture -- Automation
4
Agriculture -- Automation -- Congresses : International Conference on Agriculture Digitalization and Organic Production; 中央研究院 ;
2022
1
Air traffic control -- Automation : Aviation Safety Assurance Committee,; Department of Information Technology Services ;
2018
1
Airframes -- Design and construction -- Automation : Bullen, George N.,; Computing Center Lib. ;
2013
1
Automation and control engineering : Mühlhause, Mathias,; 中央研究院 ;
2012
1
Automation and Robotics
99
Application program interfaces (Computer software) -- Testing -- Automation : Jain, Jagdeep,; Information Sci. Lib. ;
2022
1
Application software -- Development -- Automation
2
Application software -- Testing -- Automation : Das, Koushik,; 中央研究院 ;
2022
1
Archives -- Automation : Cotton, Justine; 中央研究院 ;
2011
1
Archives -- Automation -- Handbooks, manuals, etc : Stielow, Frederick J.,;
Modern History Library, 人文社會聯圖
;
c2003
1
Archives -- Automation -- Management : Cook, Michael,; Fu Ssu-Nien Library ;
c1999
1
Assembling machines -- Automation -- Congresses : Conference on Intelligent Robotic Systems for Space Exploration; Information Sci. Lib. ;
1991
1
Assembly-line methods -- Automation : Department of Information Technology Services ;
2020
1
Astronomical observatories -- Automation : Astronomy Library ;
1995
1
Automobile driving -- Automation
2
Automobile industry and trade -- United States -- Automation -- History : Gartman, David,;
Ethnology Library, Euro-Am Studies Lib
;
c1986
1
Automoble industry and trade -- Automation -- Congresses : International Conference on Robots in the Automative Industry; Information Sci. Lib. ;
1985
1
Banks and banking -- Automation
3
Biochemical engineering -- Automation -- Congresses : IFAC Workshop on Modelling and Control of Biotechnical Processes; Statistics Sci. Lib. ;
1983
1
Building -- Automation -- Congresses : International Symposium on Automation and Robotics in Construction; Information Sci. Lib. ;
1993
1
Building management -- Automation -- Standards -- United States. : Newman, H. Michael,; Computing Center Lib. ;
2013
1
Bullying in schools -- Automation
3
Business enterprises -- Automation
2
Business logistics -- Automation
5
Cartography -- Automation
4
Automation -- Case studies : Shiromoto, Humberto Stein; 中央研究院 ;
2017
1
