David Schmidt – författare
Visar alla böcker från författaren David Schmidt. Handla med fri frakt och snabb leverans.
57 produkter
Modern Flight Dynamics
Häftad, 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 …
Essence of Computation
Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Av Torben Mogensen, David Schmidt m. fl.
Häftad, 2002
568 kr
Lägg i varukorg
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. …
Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings
Av Michael Main, Austin Melton m. fl.
Häftad, 1988
552 kr
Lägg i varukorg
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 …
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
Häftad, 2004
1465 kr
Lägg i varukorg
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 …
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
E-bok, 2004
1838 kr
Lägg i varukorg
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 …
Essence of Computation
Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Av I. Hal Sudborough, David Schmidt m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
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. …
Mathematical Foundations of Programming Semantics
7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
Av Stephen Brookes, Michael Main m. fl.
Häftad, 1992
552 kr
Lägg i varukorg
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 …
Mathematical Foundations of Programming Semantics
9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
Av Stephen Brookes, Michael Main m. fl.
Häftad, 1994
1129 kr
Lägg i varukorg
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 …
Verification, Model Checking, and Abstract Interpretation
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Av Ranjit Jhala, David Schmidt
Häftad, 2011
568 kr
Lägg i varukorg
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 …
Verification, Model Checking, and Abstract Interpretation
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Av David Schmidt, Ranjit Jhala
E-bok, 2011
755 kr
Lägg i varukorg
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 …
Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Av Antoine Mine, David Schmidt
Häftad, 2012
568 kr
Lägg i varukorg
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 …
Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Av David Schmidt, Antoine Mine
E-bok, 2012
755 kr
Lägg i varukorg
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 …
Bioanalytische Struktur-Funktionsmessungen an Ionenkanälen
Entwicklung optischer Analysemethoden an punktmutierten KcsA und Connexin 26
Häftad, 2017
636 kr
Lägg i varukorg
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 …
Bioanalytische Struktur-Funktionsmessungen an Ionenkanälen
Entwicklung optischer Analysemethoden an punktmutierten KcsA und Connexin 26
E-bok, 2017
638 kr
Lägg i varukorg
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 …
Forschungsdrang und Rollenspiel
Av Annegret Heinrich, Marc-André Karpienski m. fl.
Inbunden
461 kr
Lägg i varukorg
DSA5 - Die Sonnenküste - Regionalband
Av Maria Eckervogt, Alex Spohr m. fl.
Häftad, 2022
517 kr
Lägg i varukorg
DSA5 - Aventurisches Pandämonium 2 (Taschenbuch)
Av Zoe Adamietz, Marcel Blex m. fl.
Häftad, 2021
239 kr
Lägg i varukorg
DSA - Die Winterwacht - Regionalband
Av Philipp Busch, Kilian Lieb m. fl.
Inbunden, 2024
452 kr
Lägg i varukorg
DSA5 - Helden der Winterwacht
Av Nikolai Hoch, Johannes Kaub m. fl.
Inbunden, 2023
349 kr
Lägg i varukorg
DSA - Vademecum des Widderordens
Av Rafael Knop, Felix Pietsch m. fl.
Häftad, 2023
239 kr
Lägg i varukorg
DSA5 - Archiv der Ausrüstung
Av Thomas Craig, Marie Mönkemeyer m. fl.
Häftad, 2024
795 kr
Lägg i varukorg
