topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Automatisierung Von Terminierungsbeweisen
ISBN: 9783528047719 / Niemiecki / Miękka / 1991 / 253 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei sers, die sich im Erfinden einer Hypothese manifestiert, deren Giiltigkeit hinrei chend flir die Terminierung eines Algorithmus ist. In dieser Arbeit wird ein Ver fahren vorgestellt, mit dem diese KreativiUit durch ein Computerprogramm nachgebildet werden soIl. Mit diesem Verfahren konnen Terminierungsbeweise in vielen Hillen vollautomatisch, d.h. ohne jegliche menschliche Unterstutzung, gefiihrt werden. Es wird gezeigt, - wie flir einen...
Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Be...
|
cena:
208,82 |
 |
Low Frequency and Circuit based Quantum Cascade Lasers
ISBN: 9783838128573 / Angielski / Miękka / 2011 / 244 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Quantum cascade lasers are unipolar semiconductor lasers based on intersubband transitions in quantum wells. They have shown laser operation from above 100 THz down to the terahertz region and are promising sources for the terahertz region (0.3-10 THz) which is lacking of efficient narrowband radiation sources. A low frequency quantum cascade laser design is developed that faces the emerging challenges when the photon energy approaches the broadening of the energy levels. A record lowest operation frequency of 1.2 THz is demonstrated. A hybrid laser-oscillator for the terahertz is developed...
Quantum cascade lasers are unipolar semiconductor lasers based on intersubband transitions in quantum wells. They have shown laser operation from abov...
|
cena:
405,90 |
 |
Gottfried Nagel, Präsident der Evangelisch-lutherischen Kirche in Preußen
ISBN: 9783846903438 / Niemiecki / Twarda / 240 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Eine neue Biografie zu Gottfried Nagel (1876 bis 1944), einer der herausragenden kirchenleitenden Persönlichkeiten im Luthertum des 20. Jahrhunderts. Als Präsident der Evangelisch-lutherischen Kirche in Preußen, der Altlutheraner, während der Zeit der Verfolgungen des Nationalsozialismus umging er geschickt die Verbote z.B. größerer Versammlungen und sorgte mit regionalen Treffen für den Zusammenhalt seiner Kirche. Die seit Beginn seiner Amtszeit 1921 gepflegten Kontakte im deutschen und weltweiten Luthertum ermöglichten ihm, dort um Unterstützung zu bitten. Verfasst vom jüngsten...
Eine neue Biografie zu Gottfried Nagel (1876 bis 1944), einer der herausragenden kirchenleitenden Persönlichkeiten im Luthertum des 20. Jahrhunderts....
|
cena:
176,09 |
 |
Semantik Und Programmverifikation
ISBN: 9783519003366 / Niemiecki / Miękka / 2001 / 211 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.
Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden di...
|
cena:
144,26 |
 |
3. Bubenreuther Literaturwettbewerb 2017
ISBN: 9783743970373 / Niemiecki / Miękka / 2017 / 852 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
117,35 |
 |
3. Bubenreuther Literaturwettbewerb 2017
ISBN: 9783743970380 / Niemiecki / Twarda / 2017 / 852 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
157,98 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
