David Schmidt – författare

Visar alla böcker från författaren David Schmidt. Handla med fri frakt och snabb leverans.

58 produkter

Kategorier

58 produkter

Modern Flight Dynamics
AvDavid Schmidt
Häftad, Engelska, 2011
597 kr
Kommande
Flight Dynamics is a senior first year graduate course taught in departments of Mechanical and/or Aerospace Engineering. This book is written primarily as a textbook, but with today's extensive military emphasis on unmanned flight drones, practicing engineers in the aerospace industry as well as electrical engineering pursuing problems in flight control stability will find this book a valuable reference. The field of flight dynamics has evolved considerably, and is still evolving because of the prevalence of feedback control systems that now control the dynamic stability of most new aircraft in flight. Thus, this book provides a much more rigorous emphasis on dynamics coupled with linear-system analysis to meet the needs of today's engineers and designers.
El grito del chaneque
AvDavid Schmidt
Häftad, Spanska
163 kr
Skickas inom 3-6 vardagar
Más frío que la nieve: cuentos sobrenaturales de Rusia
AvDavid Schmidt
Häftad, Spanska
181 kr
Skickas inom 3-6 vardagar
Más frío que la nieve
AvDavid Schmidt
Häftad, Spanska
210 kr
Skickas inom 3-6 vardagar
Essence of Computation
Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
AvTorben Mogensen,David Schmidtm. fl.
Häftad, Engelska, 2002
574 kr
Skickas inom 10-15 vardagar
By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself.The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.
Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings
AvMichael Main,Austin Meltonm. fl.
Häftad, Engelska, 1988
558 kr
Skickas inom 10-15 vardagar
This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from category theory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.
Programming Languages and Systems
13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
AvDavid Schmidt
Häftad, Engelska, 2004
1 482 kr
Skickas inom 10-15 vardagar
This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29– 31, 2004. The ESOP series began in 1986 with the goal of bridging the gap between theory and practice, and the conferences continue to be devoted to explaining fundamental issues in the speci?cation, analysis, and implementation of programming languages and systems. The volume begins with a summary of an invited contribution by Peter O’Hearn,titledResources,ConcurrencyandLocalReasoning,andcontinueswith the 27 papers selected by the Program Committee from 118 submissions. Each submission was reviewed by at least three referees, and papers were selected during a ten-day electronic discussion phase. I would like to sincerely thank the members of the Program Committee, as well as their subreferees, for their diligent work; Torben Amtoft, for helping me collect the papers for the proceedings; and Tiziana Margaria, Bernhard Ste?en, and their colleagues at MetaFrame, for the use of their conference management software.
Programming Languages and Systems
13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
AvDavid Schmidt
E-bok
PDF, Engelska, 2004
1 798 kr
Läs direkt efter köp
This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29– 31, 2004. The ESOP series began in 1986 with the goal of bridging the gap between theory and practice, and the conferences continue to be devoted to explaining fundamental issues in the speci?cation, analysis, and implementation of programming languages and systems. The volume begins with a summary of an invited contribution by Peter O’Hearn,titledResources,ConcurrencyandLocalReasoning,andcontinueswith the 27 papers selected by the Program Committee from 118 submissions. Each submission was reviewed by at least three referees, and papers were selected during a ten-day electronic discussion phase. I would like to sincerely thank the members of the Program Committee, as well as their subreferees, for their diligent work; Torben Amtoft, for helping me collect the papers for the proceedings; and Tiziana Margaria, Bernhard Ste?en, and their colleagues at MetaFrame, for the use of their conference management software.
Essence of Computation
Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
AvI. Hal Sudborough,David Schmidtm. fl.
E-bok
PDF, Engelska, 2003
732 kr
Läs direkt efter köp
By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself.The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift''s subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.
Mathematical Foundations of Programming Semantics
7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
AvStephen Brookes,Michael Mainm. fl.
Häftad, Engelska, 1992
558 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the SeventhInternational Conferenceon the Mathematical Foundations ofProgramming Semantics, held at Carnegie Mellon University,March 1991.The conference continued a series of annual meetings,alternating between workshop and conference formats,intended to bring together computer scientists andmathematicians for discussion of research problems, resultsand directions in programming language semantics and relatedareas. A major goalof the series is to improvecommunication and interaction between researchers in theseareas and to establish ties between related areas ofresearch.The volume contains revised and refereed versions of each ofthe contributed papers and refereed papers by three invitedspeakers:Jon Barwise, John Reynolds, and Mitchell Wand.
Mathematical Foundations of Programming Semantics
9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
AvStephen Brookes,Michael Mainm. fl.
Häftad, Engelska, 1994
1 142 kr
Skickas inom 10-15 vardagar
This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics.
Verification, Model Checking, and Abstract Interpretation
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
AvRanjit Jhala,David Schmidt
Häftad, Engelska, 2011
574 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Verification, Model Checking, and Abstract Interpretation
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
AvDavid Schmidt,Ranjit Jhala
E-bok
PDF, Engelska, 2011
732 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
AvAntoine Mine,David Schmidt
Häftad, Engelska, 2012
574 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
AvDavid Schmidt,Antoine Mine
E-bok
PDF, Engelska, 2012
739 kr
Läs direkt efter köp
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
Controlling und seine Instrumente in Nonprofit-Organisationen
AvDavid Schmidt
Häftad, Tyska, 2014
297 kr
Skickas inom 3-6 vardagar
Bioanalytische Struktur-Funktionsmessungen an Ionenkanälen
Entwicklung optischer Analysemethoden an punktmutierten KcsA und Connexin 26
AvDavid Schmidt
Häftad, Tyska, 2017
643 kr
Skickas inom 10-15 vardagar
David Schmidt überprüft, ob der molekulare Schaltmechanismus, der kürzlich in Connexin 26 als rotameres Glu47 mit Fixierung an Lys188 identifiziert wurde, über Aminosäurenaustauschexperimente auf den Kaliumkanal KcsA übertragen werden kann. Die Untersuchung struktureller und funktioneller Einflüsse der Punktmutationen erfolgte mittels unterschiedlicher Methoden, darunter die Analyse des Schmelzverhaltens mittels SDS-Gel und spektroskopischer Methoden wie der konfokalen Raman-Mikroskopie oder der Microarray-Technologie. Transporteigenschaften von KcsA und Connexin 26 konnten zudem mittels eines Liposom-Transportassays in Abhängigkeit des pH-Wertes sowie dem Vorhandensein von Inhibitoren untersucht werden.
Bioanalytische Struktur-Funktionsmessungen an Ionenkanälen
Entwicklung optischer Analysemethoden an punktmutierten KcsA und Connexin 26
AvDavid Schmidt
E-bok
PDF, Tyska, 2017
638 kr
Läs direkt efter köp
David Schmidt überprüft, ob der molekulare Schaltmechanismus, der kürzlich in Connexin 26 als rotameres Glu47 mit Fixierung an Lys188 identifiziert wurde, über Aminosäurenaustauschexperimente auf den Kaliumkanal KcsA übertragen werden kann. Die Untersuchung struktureller und funktioneller Einflüsse der Punktmutationen erfolgte mittels unterschiedlicher Methoden, darunter die Analyse des Schmelzverhaltens mittels SDS-Gel und spektroskopischer Methoden wie der konfokalen Raman-Mikroskopie oder der Microarray-Technologie. Transporteigenschaften von KcsA und Connexin 26 konnten zudem mittels eines Liposom-Transportassays in Abhängigkeit des pH-Wertes sowie dem Vorhandensein von Inhibitoren untersucht werden.
Das perfekte Buch für Klemmbaustein-Fans
AvDavid Schmidt
Inbunden, Tyska, 2025
249 kr
Skickas inom 3-6 vardagar
Controlling und seine Instrumente in Nonprofit-Organisationen
AvDavid Schmidt
Häftad, Tyska, 2014
403 kr
Skickas inom 5-8 vardagar
DSA5 - Rabenkrieg 1 - Die Zähne des Kaimans
AvArmin Abele,David Schmidt
Häftad, Tyska, 2022
212 kr
Skickas inom 3-6 vardagar
Rabenkrieg 3 - Der Sturz des Adlers
AvArmin Abele,David Schmidt
Tyska, 2020
178 kr
Skickas inom 3-6 vardagar
Rabenkrieg 4 - Die Krallen der Löwin
AvArmin Abele,David Schmidt
Häftad, Tyska, 2021
179 kr
Skickas inom 3-6 vardagar
Forschungsdrang und Rollenspiel
AvAnnegret Heinrich,Marc-André Karpienskim. fl.
Inbunden, Tyska
447 kr
Skickas inom 3-6 vardagar
DSA5 - Die Sonnenküste - Regionalband
AvMaria Eckervogt,Alex Spohrm. fl.
Häftad, Tyska, 2022
502 kr
Skickas inom 3-6 vardagar
DSA - Almanach der Ungeheuer
AvKatja Jacobi,Lena Kalupnerm. fl.
Häftad, Tyska
452 kr
Skickas inom 3-6 vardagar
DSA - Mada-Vademecum
AvFelix Pietsch,David Schmidt
Häftad, Tyska, 2022
210 kr
Skickas inom 3-6 vardagar
DSA5 - Aventurisches Pandämonium 2 (Taschenbuch)
AvZoe Adamietz,Marcel Blexm. fl.
Häftad, Tyska, 2021
232 kr
Skickas inom 3-6 vardagar
DSA - Die Winterwacht - Regionalband
AvPhilipp Busch,Kilian Liebm. fl.
Inbunden, Tyska, 2024
452 kr
Skickas inom 3-6 vardagar
DSA5 - Helden der Winterwacht
AvNikolai Hoch,Johannes Kaubm. fl.
Inbunden, Tyska, 2023
343 kr
Skickas inom 3-6 vardagar

David Schmidt – författare

Modern Flight Dynamics

El grito del chaneque

Más frío que la nieve: cuentos sobrenaturales de Rusia

Más frío que la nieve

Essence of Computation

Mathematical Foundations of Programming Language Semantics

Programming Languages and Systems

Programming Languages and Systems

Essence of Computation

Mathematical Foundations of Programming Semantics

Mathematical Foundations of Programming Semantics

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Static Analysis

Static Analysis

Controlling und seine Instrumente in Nonprofit-Organisationen

Bioanalytische Struktur-Funktionsmessungen an Ionenkanälen

Bioanalytische Struktur-Funktionsmessungen an Ionenkanälen

Das perfekte Buch für Klemmbaustein-Fans

Controlling und seine Instrumente in Nonprofit-Organisationen

DSA5 - Rabenkrieg 1 - Die Zähne des Kaimans

Rabenkrieg 3 - Der Sturz des Adlers

Rabenkrieg 4 - Die Krallen der Löwin

Forschungsdrang und Rollenspiel

DSA5 - Die Sonnenküste - Regionalband

DSA - Almanach der Ungeheuer

DSA - Mada-Vademecum

DSA5 - Aventurisches Pandämonium 2 (Taschenbuch)

DSA - Die Winterwacht - Regionalband

DSA5 - Helden der Winterwacht