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