A

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