1. This is absolutely essential in mathematics and computer science.

Das ist absolut wesentlich für die Mathematik und die Informatik.

2. I know Ph.D.s in Computer Science -- this process has brought them to tears, absolute tears.

Ich kenne Doktoren der Computer-Wissenschaften -- dieser Prozess hat sie zum Weinen gebracht, ja, zum Weinen.

3. The programs contain both management methodology, business administration, economics, mathematics, and technical elements and computer science.

Das Studium beinhaltet sowohl Management-Methodik, Betriebswirtschaftslehre, Volkswirtschaftslehre, Mathematik als auch technische Bestandteile und Informatik.

4. Foreign students now dominate many US doctoral programs, accounting for 64% of PhDs in computer science, for example.

Ausländische Studenten dominieren inzwischen viele US-Doktorandenprogramme; im Bereich der Computerwissenschaft etwa entfallen auf sie 64% aller Promotionen.

5. To Verplank, it was an adaptation of the computer science term user interface design for the industrial design profession.

Für Verplank war es eine Adaption des computerwissenschaftlichen Begriffes User Interface Design durch die Industriedesigner.

6. Through the close connections with computer science, algebraic proof theory is expected to contribute to research areas outside traditional mathematics.

Dank ihrer engen Verbindung zur Informatik wird diese neue Disziplin zu Forschungsgebieten außerhalb der traditionellen Mathematik beitragen.

7. Computational Aesthetics bridges the analytic and synthetic by integrating aspects of computer science, philosophy, psychology, and the fine, applied & performing arts.

Computational Aestetics verbindet Analytik und Synthetik durch die Integration von Aspekten aus Computerwissenschaft, Philosophie, Psychologie und aus der angewandten und performativen Kunst.

8. It is also used in Structure and Interpretation of Computer Programs by Harold Abelson and Gerald Jay Sussman as an allegory for the eval and apply functions of programming language interpreters in computer science, which feed each other.

Darüber hinaus wird das Werk in Structure and Interpretation of Computer Programs von Harold Abelson und Gerald Jay Sussman als Allegorie für die in der Informatik bekannten Funktionen eval und apply eines Interpreters für Programmiersprachen angesehen, die sich gegenseitig Werte übergeben.

9. Therefore, the logical and algebraic foundations of computer science will be addressed providing the necessary framework for the development of concurrent systems, efficient parallel and sequential algorithms, specification and verification techniques, as well as the next generation of programming languages and algorithms.

Daher sollen auch die logischen und algebraischen Grundlagen der Informatik behandelt werden, die den notwendigen Rahmen für die Entwicklung von Parallelsystemen, effizienten Algorithmen für die parallele und sequentielle Verarbeitung, von Spezifikations- und Verifikationstechniken sowie für die nächste Generation von Programmiersprachen und Algorithmen bilden.

10. Olderog comes from Bredenbek in Schleswig-Holstein, northern Germany, and studied computer science, mathematics and logic at the University of Kiel, where he received his doctorate in 1981 supervised by Prof. Hans Langmaack on Hoare-style characterization systems for ALGOL-like programming languages.

Olderog stammt aus Bredenbek in Schleswig-Holstein und studierte Informatik, Mathematik und Logik an der Christian-Albrechts-Universität Kiel, wo er 1981 als akademischer Schüler von Hans Langmaack zum Thema Charakterisierung Hoarescher Systeme für ALGOL-ähnliche Programmiersprachen promoviert wurde.