A

27160 publications

1. Automated Reasoning with Analytic Tableaux and Related Methods
2. Automated Reasoning with Analytic Tableaux and Related Methods
3. Automated Reasoning with Analytic Tableaux and Related Methods
4. Automated Reasoning with Analytic Tableaux and Related Methods
5. Automated Scheduling and Planning
6. Automated Security Management
7. Automated Software Diversity
8. Automated Software Engineering: A Deep Learning-Based Approach
9. Automated Software Testing
10. Automated Software and Service Composition
11. Automated Solution of Differential Equations by the Finite Element Method
12. Automated Taxonomy Discovery and Exploration
13. Automated Technology for Verification and Analysis
14. Automated Technology for Verification and Analysis
15. Automated Technology for Verification and Analysis
16. Automated Technology for Verification and Analysis
17. Automated Technology for Verification and Analysis
18. Automated Technology for Verification and Analysis
19. Automated Technology for Verification and Analysis
20. Automated Technology for Verification and Analysis
21. Automated Technology for Verification and Analysis
22. Automated Technology for Verification and Analysis
23. Automated Technology for Verification and Analysis
24. Automated Technology for Verification and Analysis
25. Automated Technology for Verification and Analysis
26. Automated Technology for Verification and Analysis
27. Automated Technology for Verification and Analysis
28. Automated Technology for Verification and Analysis
29. Automated Technology for Verification and Analysis
30. Automated Technology for Verification and Analysis
31. Automated Technology for Verification and Analysis
32. Automated Technology for Verification and Analysis
33. Automated Technology for Verification and Analysis
34. Automated Theorem Proving
35. Automated Theorem Proving
36. Automated Theorem Proving
37. Automated Theorem Proving in Software Engineering
38. Automated Theory Formation in Pure Mathematics
39. Automated Trading with R
40. Automated Unit Testing with ABAP
41. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
42. Automated Verification of Concurrent Search Structures
43. Automated Web Site Evaluation
44. Automated Workflow Scheduling in Self-Adaptive Clouds
45. Automated and Algorithmic Debugging
46. Automated and Electric Vehicle: Design, Informatics and Sustainability
47. Automaten
48. Automaten
49. Automaten Sprachen Berechenbarkeit
50. Automatentheorie
51. Automatentheorie und Logik
52. Automatic Algorithm Selection for Complex Simulation Problems
53. Automatic Ambiguity Resolution in Natural Language Processing
54. Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
55. Automatic Assessment of Parkinsonian Speech
56. Automatic Autocorrelation and Spectral Analysis
57. Automatic Calibration and Reconstruction for Active Vision Systems
58. Automatic Coding: Choice of Data Structures
59. Automatic Control Systems
60. Automatic Control Systems in Biomedical Engineering
61. Automatic Control and Emerging Technologies
62. Automatic Control of Atmospheric and Space Flight Vehicles
63. Automatic Control of Food Manufacturing Processes
64. Automatic Control with Experiments
65. Automatic Control with Experiments
66. Automatic Control with Interactive Tools
67. Automatic Control, Robotics, and Information Processing
68. Automatic Design of Decision-Tree Induction Algorithms
69. Automatic Detection of Rib Contours in Chest Radiographs
70. Automatic Detection of Verbal Deception
71. Automatic Differentiation of Algorithms
72. Automatic Differentiation: Applications, Theory, and Implementations
73. Automatic Differentiation: Techniques and Applications
74. Automatic Digital Document Processing and Management
75. Automatic Disambiguation of Author Names in Bibliographic Repositories
76. Automatic Extraction of Man-Made Objects from Aerial and Space Images
77. Automatic Extraction of Man-Made Objects from Aerial and Space Images (II)
78. Automatic Fingerprint Recognition Systems
79. Automatic Gain Control
80. Automatic Generation of Combinatorial Test Data
81. Automatic Generation of Computer Animation
82. Automatic Generation of Morphological Set Recognition Algorithms
83. Automatic Indexing and Abstracting of Document Texts
84. Automatic Language Identification in Texts
85. Automatic Layout Modification
86. Automatic Learning Techniques in Power Systems
87. Automatic Logic Synthesis Techniques for Digital Systems
88. Automatic Malware Analysis
89. Automatic Methods for the Refinement of System Models
90. Automatic Modulation Recognition of Communication Signals
91. Automatic Nonuniform Random Variate Generation
92. Automatic Parallelization
93. Automatic Parallelization
94. Automatic Performance Prediction of Parallel Programs
95. Automatic Processing of Natural-Language Electronic Texts with NooJ
96. Automatic Processing of Natural-Language Electronic Texts with NooJ
97. Automatic Program Development
98. Automatic Programming Applied to VLSI CAD Software: A Case Study
99. Automatic Programming and Numerical Methods of Analysis
100. Automatic Quantum Computer Programming
101. Automatic Quantum Computer Programming
102. Automatic Re-engineering of Software Using Genetic Programming
103. Automatic SIMD Vectorization of SSA-based Control Flow Graphs
104. Automatic Speech Analysis and Recognition
105. Automatic Speech Recognition
106. Automatic Speech Recognition
107. Automatic Speech Recognition of Arabic Phonemes with Neural Networks
108. Automatic Speech Recognition on Mobile Devices and over Communication Networks
109. Automatic Speech Signal Analysis for Clinical Diagnosis and Assessment of Speech Disorders
110. Automatic Speech and Speaker Recognition
111. Automatic Structural Synthesis and Creative Design of Mechanisms
112. Automatic Supervision in Manufacturing
113. Automatic Syntactic Analysis Based on Selectional Preferences
114. Automatic Text Simplification
115. Automatic Tools for Designing Office Information Systems
116. Automatic Tuning of Compilers Using Machine Learning
117. Automatic Verification Methods for Finite State Systems
118. Automatic Verification of Sequential Infinite-State Processes
119. Automatic light Control Systems
120. Automatic trend estimation
121. Automatically Ordering Events and Times in Text
122. Automatik · Zubehör · Inbetriebnahme Geräuschbekämpfung Kälteanlagen · Wärmepumpen
123. Automatik · Zubehör · Inbetriebnahme Geräuschbekämpfung Kälteanlagen · Wärmepumpen
124. Automating Business Modelling
125. Automating Cities
126. Automating Crime Prevention, Surveillance, and Military Operations
127. Automating Data-Driven Modelling of Dynamical Systems
128. Automating Instructional Design, Development, and Delivery
129. Automating Instructional Design: Computer-Based Development and Delivery Tools
130. Automating Knowledge Acquisition for Expert Systems
131. Automating Linguistics
132. Automating Linux and Unix System Administration
133. Automating Quality Systems
134. Automating Systems Development
135. Automating Windows Administration
136. Automating the Analysis of Spatial Grids
137. Automating the Design of Data Mining Algorithms
138. Automation 2017
139. Automation 2018
140. Automation 2019
141. Automation 2020: Towards Industry of the Future
142. Automation 2021: Recent Achievements in Automation, Robotics and Measurement Techniques
143. Automation 2022: New Solutions and Technologies for Automation, Robotics and Measurement Techniques
144. Automation 2023: Key Challenges in Automation, Robotics and Measurement Techniques
145. Automation Control Theory Perspectives in Intelligent Systems
146. Automation and Autonomy
147. Automation and Basic Techniques in Medical Microbiology
148. Automation and Collaborative Robotics
149. Automation and Human Solidarity
150. Automation and Innovation with Computational Techniques for Futuristic Smart, Safe and Sustainable Manufacturing Processes
151. Automation and Robotics in the Architecture, Engineering, and Construction Industry
152. Automation and Systems Issues in Air Traffic Control
153. Automation and World Competition
154. Automation and environmental control in plant tissue culture
155. Automation im Geldverkehr
156. Automation in Analytical Chemistry
157. Automation in Anesthesia — A Relief?
158. Automation in Automotive Industries
159. Automation in Hematology
160. Automation in Warehouse Development
161. Automation in blood transfusion
162. Automation in the Food Industry
163. Automation of Finite Element Methods
164. Automation of Reasoning
165. Automation of Trading Machine for Traders
166. Automation on Shipboard
167. Automation regenerativer Wärme- und Kälteversorgung von Gebäuden
168. Automation through Chef Opscode
169. Automation und Computer in der Industrie. Raumzuordnung und Raumform von Büro- und Fabrikgebäuden
170. Automation und Entscheidung
171. Automation und Organisation
172. Automation und Unternehmensverwaltung
173. Automation von Marketing und Sales für B2B-Unternehmer
174. Automation, Communication and Cybernetics in Science and Engineering 2009/2010
175. Automation, Communication and Cybernetics in Science and Engineering 2011/2012
176. Automation, Communication and Cybernetics in Science and Engineering 2013/2014
177. Automation, Communication and Cybernetics in Science and Engineering 2015/2016
178. Automation: The Future of Weed Control in Cropping Systems
179. Automationsgerechte Lohnabzüge
180. Automatische Arbeitsplanerstellung
181. Automatische Auftragsschweißung nach dem Metall-Lichtbogen-Verfahren unter Kohlendioxyd als Schutzgas
182. Automatische Automobilgetriebe
183. Automatische Erzeugung und Optimierung von Taktfahrplänen in Schienenverkehrsnetzen
184. Automatische Fahrzeuggetriebe
185. Automatische Identifikation für Industrie 4.0
186. Automatische Kalibrierung der koppelnden Ortung mobiler Plattformen
187. Automatische Komplexitätsanalyse funktionaler Programme
188. Automatische Konfiguration von Echtzeit-Ethernet
189. Automatische Modellierung von Waldlandschaften für virtuelle Welten und mobile Roboter
190. Automatische Montage von O-Ringen
191. Automatische Rauchwarnmelder zur Brand-Früherkennung
192. Automatische Reparatur elektronischer Baugruppen
193. Automatische Schreibfehlerkorrektur in Texten
194. Automatische Sichtprüfung
195. Automatische Sichtprüfung
196. Automatische Spracherkennung
197. Automatische Synthese rekursiver Programme als Beweisverfahren
198. Automatisieren mit SPS
199. Automatisieren mit SPS Theorie und Praxis
200. Automatisieren mit SPS Theorie und Praxis