27147 publications

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