David Schmidt – författare

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

43 produkter

Kategorier

43 produkter

Modern Flight Dynamics

AvDavid Schmidt

Häftad, Engelska, 2011

583 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.

Essence of Computation

Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

AvTorben Mogensen,David Schmidtm. fl.

Häftad, Engelska, 2002

551 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

535 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 422 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004. The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems.

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

535 kr

Skickas inom 10-15 vardagar

This volume contains the proceedings of the 7th international Conference on the mathematical Foundations of Programming 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 and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. A major goal of the series is to improve communication and interaction between researchers in these areas and to establish ties between related areas of research. The volume contains revised and refereed versions of each of the contributed papers and refereed papers by three invited speakers: 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 095 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

551 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.

Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

AvAntoine Mine,David Schmidt

Häftad, Engelska, 2012

551 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.

Controlling und seine Instrumente in Nonprofit-Organisationen

AvDavid Schmidt

Häftad, Tyska, 2014

294 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

617 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.