Search results for "Formstecher"
Items we need to order for you
R 683.00
R 1,208.42
R 1,728.29
R 520.00
R 5,705.22
Formeln und Aufgaben zur Technischen Mechanik 2
Der Weg zum erfolgreichen Studium der Technischen Mechanik führt über das selbständige Lösen von Aufgaben. Die Aufgabensammlung zum Marktführer „Technische Mechanik 2 - Elastostatik" wurde in der Neuauflage überarbeitet und korrigiert. Alle Bilder sind in Anlehnung an das Standardwerk „Technische Mechanik 2 - Elastostatik“ jetzt durchgehend vierfarbig gestaltet. Die aktuelle Auflage enthält die wichtigsten Formeln und jetzt mehr als 150 didaktisch gut aufbereitete, vollständig gelöste Aufgaben. Besonderer Wert wird auf das Finden des Lösungsweges und das Erstellen der Grundgleichungen gelegt.Der InhaltSpannung, Verzerrung, Elastizitätsgesetz.- Zug und Druck.- Biegung.- Torsion.- Der Arbeitsbegriff in der Elastostatik.- Stabilität.- Hydrostatik.- Literaturhinweise.- Bezeichnungen.
R 1,282.00
Herstellung geformter Schläuche mit Formdornen aus Formgedächtnislegierung
Die vorliegende Arbeit entstand wah rend meiner Tatigkeit als wissenschaftlicher Mit- arbeiter am Fraunhofer-Institut fUr Produktionstechnik und Automatisierung (IPA), Stuttgart. Mein besonderer Dank gilt Herrn Prof. Dr.-Ing. h.c. mult. H.-J. Warnecke, Prasident der Fraunhofer Gesellschaft, fUr seine groBzugige UnterstUtzung und Ferderung, die zur erfolgreichen DurchfUhrung dieser Arbeit beigetragen hat. Herrn Prof. Dr.-Ing. K. Langenbeck danke ich fUr die Obernahme des Mitberichts und die eingehende Durchsicht der Arbeit. Bedanken mechte ich mich bei Herrn Prof. Dr.-Ing. R.-D. Schraft und Herrn Dr.-Ing. M. Schweizer, bei allen Kolleginnen und Kollegen sowie Studenten, die mich am Institut durch ihre konstruktive Mitarbeit unterstUtzt haben. Vor all em die Zusammen- arbeit mit Herrn Dr.-Ing. T. Leicht, Herrn Dipl.-Ing. G. Vegele und Frau Dipl.-Ing. (FH) A. Hasenclever hat mir viel bedeutet. Meiner Familie und ganz besonders meiner Frau Evelyn danke ich fUr das Ver- standnis, mit dem sie das Entstehen dieser Arbeit begleitet haben.
R 1,654.11
Paarformeln in mittelalterlichen Stadtrechtstexten
Die Autorin behandelt die Bedeutung und Funktion von Paarformeln in mittelalterlichen Stadtrechtstexten. Neben einer genauen Definition werden unter Verwendung moderner Rechtsbegriffe Paarformeln erfasst und kategorisiert. Letztlich zeigt sich, dass Paarformeln in definitorischer Funktion als Mittel zur Erfassung von Rechtsbegriffen fungieren.
R 2,837.00
R 7,535.95
R 6,287.62
R 1,639.87
Formale Sprachen
Der Inhalt dieses Buches gehort zum mittlerweile festen Reper- toire des theoretischen Teils der Informatik. Den Schwerpunkt der angestellten Untersuchungen bilden die kontextfreien Sprachen, deren An endungen bei weitem die interessantesten sind. Die Theorie w rd in "klassischen Bahnen" entwickelt, urn eine breite Darstellung der spezifischen Beweismethoden zu er- moglichen, da diese ja haufig auch schon Losungsalgorithmen fur die zentralen Problemstellungen implizieren. Dadurch ist der Charakter einer Einfuhrung weitgehend gewahrt. Wir hoffen, daE so einerseits dem theoretisch Interessierten ein Zugang zu den formalen Sprachen eroffnet und somit auch der Einstieg in die neuere Theorie auf diesem Gebiet ermoglicht wird, daE anderer- seits derjenige, der formale Sprachen weitgehend fur verschie- dene Probleme der Programmierung, insbesondere fur den Ober- setzerbau verwendet, einen Oberblick uber die sprachtheoreti- schen Hilfsmittel gewinnt. Dieser Zielsetzung dienen auch die im AnschluE an die einzelnen Kapitel aufgefuhrten Aufgaben. Unter diesen befinden sich daher solche, die weiterfuhrenden Problemstellungen gewidmet sind, wie auch solche, die die innerhalb des Textes vermittelten Ge- dankengange vertiefen sollen. Die Angabe von Losungen solI nach unserer Vorstellung den Leser in die Lage versetzen, sein Ver- standnis des Textes selbst zu kontrollieren. Wir glauben, daE einfuhrende Bucher stets diese Moglichkeit offenhalten sollten. Auf ein umfangreiches Literaturverzeichnis haben wir verzichtet, da uber die zitierten Bucher leicht der AnschluE an neuere Ent- wicklungen in der Theorie der formalen Sprachen hergestellt werden kann. Bei der Losung der Aufgaben haben wir groEe Unterstutzung seitens Frau Dr. B. Schinzel, Dipl. -Math. W. Kern, Dipl. -Math.
R 1,957.09
R 1,091.24
R 772.27
R 1,982.00
R 618.00
R 654.37
R 374.00
R 3,055.14
R 891.54
Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2-5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC. The scope covered formal description techniques (MSC, UML, Use cases, ...), semantic foundations, model-checking, SAT-based techniques, process algebrae, - stractions, protocol testing, protocol veri?cation, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and s- eral promising new techniques.In total, we received 88 submissions and accepted 33 regular papers and 6 short papers. All submissions received three reviews. The ?nal program also included 3 keynote speeches, respectively by Prof. Amir Pnueli, Dr. C- stance Heitmeyer, and Prof. Teruo Higashino, and 3 tutorials, respectively by Prof. Rance Cleaveland, Dr. Constance Heitmeyer, and Prof. Teruo Higashino. The proce- ings also include the text of the keynote speeches. In addition, there were social events, including a reception, a banquet, and an excursion.
R 3,082.42
Formeln und Sätƶe für die Speƶiellen Funktionen der Mathematischen Physik
VI Vorwort zur zweiten Auflage. Die neue Auflage unterseheidet sieh yon rlpr ersten dureh die Vel' besserung einiger Irrttimer und Druekfehler und dureh kleinere und gro13ere Zllsatze. Das Kapitel liber elliptisehe Fuuktioncn wunI(' yollig- neu ge sehrieben; sein Umfang hat sieh verdoppelt. QrUBere Zusatze finden sieh bei der allgemeinen und del' konfluenten hypergeometrisehen Funktion, den Zylinderfunktionen und der Gammafunktion. Als Anhang wurde ein Ab sehnitt libel' elementare Funktioncn angefUgt, cler einige Fourierreihen und solehe Formeln enthalt, die bei der Untersuehung
R 2,304.43
R 1,367.36
Umformtechnik
Umfonntechnik -Ideen, Konzepte und Entwicklungen -ist der Titel und das Motto dieser Festschrift, unter dem sich die ehemaligen und jetzigen Doktoranden von Herrn Professor Dr.-Ing. Eberhard v. Finckenstein zu sammengefunden haben, um ihren Lehrer, Förderer und Doktorvater zum 60. Geburtstag zu ehren. 1992 ist zudem ein weiteres Jubiläumsjahr: mit der Berufung von Herrn Professor v. Finckenstein auf den Lehrstuhl für Umfonnende Fertigungs verfahren im Jahre 1972 ist die Umfonntechnik in Lehre und Forschung seit 20 Jahren an der Universität Dortmund vertreten. Zu diesem doppelten Anlaß soll jedoch keine Rückschau auf diese schaffens reichen Jahre gehalten werden, denn die Ergebnisse dieser Arbeit sind in vielen Veröffentlichungen, Forschungsberichten, Vorträgen, aber auch als Anwendungslösungen in der Betriebspraxis dokumentiert. Es soll vielmehr der Versuch unternommen werden, in einer Momentauf nahme Forschungen und Entwicklungen festzuhalten, die in Dortmund be trieben werden oder aus Dortmund im engeren und weiteren Sinne initiiert oder inspiriert wurden. Die Beiträge dieser Festschrift stehen als .Beispiele für eine Vielfalt von Forschungsthemen und Entwicklungsprojekten. Sie zeigen, in welcher Breite die Umformtechnik als Ingenieurwissenschaft heute nicht nur in klassischer Weise Verfahren, Maschinen und Werkzeuge untersucht, sondern mehr und mehr die Gesamtheit des Fertigungsprozesses betrachtet. Dies betrifft Fragen der Technologie, der Kombination verschiedener Ver fahren, sowie der Planung und Realisierung beispielsweise der Komplett bearbeitung vom Halbzeug bis zur einbaufertigen Baugruppe.
R 1,649.00
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.
R 1,538.58
R 1,194.25
R 1,127.38
Formal Techniques in Real-Time and Fault-Tolerant Systems
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
R 1,565.19
![Sechs Figuren FÃ1/4r Die Liebhaber Der Schönen KÃ1/4nste, in Holz Geschnitten, Und Mit Einer Abhandlung Begleitet [By F.J. Wippel], Worinn Etwas Von Märkischen Formscheneidern Und in Der Mark Gedruckten BÃ1/4chern, in Welchen Sich Holzschnitte Befinden...](http://exclusivebooks.co.za/cdn/shop/files/9781023672016.jpg?height=645&pad_color=fff&v=1762779214&width=315)
![Sechs Figuren FÃ1/4r Die Liebhaber Der Schönen KÃ1/4nste, in Holz Geschnitten, Und Mit Einer Abhandlung Begleitet [By F.J. Wippel], Worinn Etwas Von Märkischen Formscheneidern Und in Der Mark Gedruckten BÃ1/4chern, in Welchen Sich Holzschnitte Befinden...](http://exclusivebooks.co.za/cdn/shop/files/9781023665605.jpg?height=645&pad_color=fff&v=1762779215&width=315)
