Technical Sciences: Computer Science, Engineering, IT, & Math

Showing 571 - 600 of 1730 results

Sort

Showing 571 - 600 of 1730 results

Sort

Book cover: Certifying System Translations Using Higher Order Theorem Provers Certifying System Translations Using Higher Order Theorem Provers

By (author) Jan Olaf Blech

Book cover: Diagnostics of Rotor Asymmetries in Inverter-Fed, Variable Speed Induction Machines Diagnostics of Rotor Asymmetries in Inverter-Fed, Variable Speed Induction Machines

By (author) Eva Teresa Serna Calvo

Book cover: Distributed Memetic Algorithms for Graph-Theoretical Combinatorial Optimization Problems Distributed Memetic Algorithms for Graph-Theoretical Combinatorial Optimization Problems

By (author) Thomas Fischer

Book cover: Efficient Algorithms for Structuring Wireless Sensor Networks Efficient Algorithms for Structuring Wireless Sensor Networks

By (author) Olga Saukh

Book cover: Heterojunction Solar Cells (a-Si/c-Si) Heterojunction Solar Cells (a-Si/c-Si)

Investigations on PECV Deposited Hydrogenated Silicon Alloys for use as High-Quality Surface Passivation and Emitter/BSF

By (author) Thomas Mueller

Book cover: Iron and Steel in Art Iron and Steel in Art

Corrosion, Colorants, Conservation

By (author) Gerhard Eggert By (author) David A. Scott

Book cover: Mathematical Practice and Development throughout History Mathematical Practice and Development throughout History

Proceedings of the 18th Novembertagung on the History, Philosophy and Didactics of Mathematics

Edited by Ingo Witzke

Book cover: Metallurgy and Civilisation Metallurgy and Civilisation

Eurasia and Beyond

Edited by Jianjun Mei Edited by Thilo Rehren

Book cover: Model Driven Software Engineering – Transformations and Tools Model Driven Software Engineering – Transformations and Tools

Edited by Roland Petrasch Edited by Florian Fieber Edited by Mirjana Ivanovic Edited by Zoran…

Book cover: Multimodal Human-Machine Interaction in Different Application Scenarios Multimodal Human-Machine Interaction in Different Application Scenarios

International DAAD-PhD Summer Academy at the University of Chile, Santiago de Chile, August 27 to September 10, 2008

Edited by Nelson Baloian Edited by Wolfram Luther Edited by Dirk Soffker Edited by Yoshiyori…

Book cover: On the Formalization of Model-Driven Software Engineering On the Formalization of Model-Driven Software Engineering

By (author) Miguel Alfredo Garcia Gutierrez

Book cover: Plasma Technology for Deposition and Surface Modification Plasma Technology for Deposition and Surface Modification

Volume 4

By (author) Mohammad Mokbul Hossain

Book cover: Proceedings of the 1st International Conference on Business Innovation and Information Technology Proceedings of the 1st International Conference on Business Innovation and Information Technology

Edited by Markus Helfert Edited by Regina Connolly

Book cover: Regularization of inverse problems and inexact operator evaluations Regularization of inverse problems and inexact operator evaluations

By (author) Thomas Bonesky

Book cover: TEM Investigations on Magnetic and Structural Phase Transitions at Low Temperatures TEM Investigations on Magnetic and Structural Phase Transitions at Low Temperatures

Volume 8

By (author) Jurgen Grundmayer

Book cover: Towards an unambiguous Electron Magnetic Chiral Dichroism (EMCD) measurement in a Transmission Electron Microscope (TEM) Towards an unambiguous Electron Magnetic Chiral Dichroism (EMCD) measurement in a Transmission Electron Microscope (TEM)

Volume 7

By (author) Christian Hurm

Book cover: Agentenbasierte Modellierung urbaner Transformationsprozesse Agentenbasierte Modellierung urbaner Transformationsprozesse

Smart Utilities And Sustainable Infrastructure Change

Volume 12

Edited by Simon Johanning Edited by Fabian Scheller Edited by Stefan Kuhne Edited by Thomas…

Book cover: Analyse der Befeuchtung von Luft in einer Blasensaule zur thermischen Wasseraufbereitung Analyse der Befeuchtung von Luft in einer Blasensaule zur thermischen Wasseraufbereitung

Volume 40

By (author) Elias Eder

Book cover: Atomare Demokratie Atomare Demokratie

Eine Geschichte der Kernenergie in Deutschland

By (author) Frank Uekötter

Book cover: Balance de l’equation dans la science d’algebre et al-muqabala Balance de l’equation dans la science d’algebre et al-muqabala

Volume 28

by 'Izz al-Din al-Zanjani, edited and translated by Eleonora Sammarchi

Book cover: Bestrafte Innovation? Bestrafte Innovation?

Strafrechtliche Verantwortlichkeit für das Inverkehrbringen autonomer cyber-physischer Systeme.

Volume 386

By (author) Maximilian Münster

Book cover: Das dialektologische Informationssystem von Bayerisch-Schwaben Das dialektologische Informationssystem von Bayerisch-Schwaben

Dokumentation und mögliche Präsentation von Sprachdaten mit Multimedia im Internet

By (author) Brigitte Schwarz

Book cover: Das Führen eines Fahrzeugs im Strafrecht. Das Führen eines Fahrzeugs im Strafrecht.

Ein dogmatischer Neuansatz unter Betrachtung der strafrechtlichen Verantwortung von Nutzern automatisierter Fahrzeuge.

Volume 384

By (author) Stephan Berndt

Book cover: Das System der abhängigen Schöpfungen im digitalen Zeitalter – Eine Untersuchung am Beispiel von Internet-Memen. Das System der abhängigen Schöpfungen im digitalen Zeitalter – Eine Untersuchung am Beispiel von Internet-Memen.

Volume 34

By (author) Alexandra Wachtel

Book cover: Die Bedeutung der Elementarisierung fur den Erfolg von Mechanikunterricht in der Sekundarstufe I Die Bedeutung der Elementarisierung fur den Erfolg von Mechanikunterricht in der Sekundarstufe I

Volume 331

By (author) Marco Seiter

Book cover: Die enttauschte Erkenntnis Die enttauschte Erkenntnis

Paramathematische Denkzettel

By (author) Alfred Schreiber

Book cover: Die Forschungsanstalt Graf Zeppelin 1937-1945 Die Forschungsanstalt Graf Zeppelin 1937-1945

Ein Uberblick

Volume 17

By (author) Christian Elsasser

Book cover: Die Kompetenz von Studierenden, Schulerschwierigkeiten beim eigenstandigen Experimentieren zu diagnostizieren Die Kompetenz von Studierenden, Schulerschwierigkeiten beim eigenstandigen Experimentieren zu diagnostizieren

Volume 329

By (author) Christopher Kurth

Book cover: Die Underground Economy des Darknets. Die Underground Economy des Darknets.

Die Strafbarkeit des Betreibens "illegaler" Handelsplattformen.

Volume 31

By (author) Marlene Wüst

Book cover: Digitale Weisungen. Digitale Weisungen.

Arbeitgeberentscheidungen auf Grundlage algorithmischer Berechnungen.

Volume 372

By (author) Philipp Knitter

Showing 571 - 600 of 1730 results

Sort