Z-Library پر تلاش کریں David Schmidt (eds.):

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

Don't use scam websites

کتابیں (39)
سب سے مشہور
فہرست
- فہرست
- جدول

1

Planetary Astrobiology

Planetary Astrobiology

University of Arizona Press

Victoria Meadows, Giada Arney, Britney Schmidt, David J. Des Marais (eds.)

سال:

2020

زبان:

english

فائل:

PDF, 40.51 MB

0 / 0

english, 2020

2

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

سال:

2002

زبان:

english

فائل:

PDF, 4.61 MB

0 / 0

english, 2002

3

Image-Guided IMRT

Image-Guided IMRT

Springer Berlin Heidelberg

Wilfried De Neve (auth.), Thomas Bortfeld, Rupert Schmidt-Ullrich, Wilfried De Neve, David E. Wazer (eds.)

سال:

2006

زبان:

english

فائل:

PDF, 14.04 MB

0 / 0

english, 2006

4

Reduction in Science: Structure, Examples, Philosophical Problems

Reduction in Science: Structure, Examples, Philosophical Problems

Springer Netherlands

Wolfgang Balzer, David Pearce, Heinz-Jürgen Schmidt (auth.), Wolfgang Balzer, David A. Pearce, Heinz-Jürgen Schmidt (eds.)

سال:

1984

زبان:

english

فائل:

PDF, 11.96 MB

0 / 0

english, 1984

5

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

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

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 8.33 MB

0 / 0

english, 2004

6

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 5.01 MB

0 / 0

english, 2011

7

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

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

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 3.71 MB

0 / 0

english, 2004

8

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

سال:

1992

زبان:

english

فائل:

DJVU, 4.91 MB

0 / 0

english, 1992

9

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 16.55 MB

0 / 0

english, 2008

10

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Schmidt (auth.), Alan Mycroft (eds.)

سال:

1995

زبان:

english

فائل:

DJVU, 4.09 MB

0 / 0

english, 1995

11

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Kalman Babković, László Nagy, Damir Krklješ (auth.), Achim Gottscheber, David Obdržálek, Colin Schmidt (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 5.88 MB

0 / 0

english, 2010

12

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

R. C. Hardie (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

سال:

1985

زبان:

english

فائل:

PDF, 6.88 MB

0 / 0

english, 1985

13

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

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

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 3.97 MB

0 / 0

english, 2004

14

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

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

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 5.57 MB

0 / 0

english, 2012

15

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 74.10 MB

0 / 0

english, 2008

16

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

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

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 5.79 MB

0 / 0

english, 2012

17

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

سال:

2002

زبان:

english

فائل:

PDF, 3.25 MB

0 / 0

english, 2002

18

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Springer-Verlag New York

David Richard Schmidt, Heather Waldeck (auth.), David A. Puleo, Rena Bizios (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 2.10 MB

0 / 0

english, 2009

19

Socio-technical Design of Ubiquitous Computing Systems

Socio-technical Design of Ubiquitous Computing Systems

Springer International Publishing

Klaus David, Kurt Geihs, Jan Marco Leimeister, Alexander Roßnagel, Ludger Schmidt, Gerd Stumme, Arno Wacker (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 8.67 MB

0 / 0

english, 2014

20

Designing Socially Embedded Technologies in the Real-World

Designing Socially Embedded Technologies in the Real-World

Springer-Verlag London

Volker Wulf, Kjeld Schmidt, David Randall (eds.)

سال:

2015

زبان:

english

فائل:

PDF, 7.11 MB

0 / 0

english, 2015

21

Query Processing in Database Systems

Query Processing in Database Systems

Springer-Verlag Berlin Heidelberg

Matthias Jarke, Jürgen Koch, Joachim W. Schmidt (auth.), Dr. Won Kim, Dr. David S. Reiner, Dr. Don S. Batory (eds.)

سال:

1985

زبان:

english

فائل:

PDF, 22.25 MB

0 / 0

english, 1985

22

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Springer-Verlag Berlin Heidelberg

David Masser, Yuri V. Nesterenko, Hans Peter Schlickewei, Wolfgang Schmidt, Michel Waldschmidt (auth.), Francesco Amoroso, Umberto Zannier (eds.)

سال:

2003

زبان:

english

فائل:

PDF, 2.58 MB

0 / 0

english, 2003

23

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Petia Wohed, David Truffet, Gustaf Juell-Skielse (auth.), Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 10.78 MB

0 / 0

english, 2011

24

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Springer Vienna

David Hilbert, Erhard Schmidt (auth.), Albrecht Pietsch (eds.)

سال:

1989

زبان:

german

فائل:

PDF, 16.20 MB

0 / 0

german, 1989

25

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

سال:

2002

زبان:

english

فائل:

PDF, 2.30 MB

0 / 0

english, 2002

26

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

سال:

1994

زبان:

english

فائل:

DJVU, 5.58 MB

0 / 0

english, 1994

27

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

T. B. van Wimersma Greidanus, A. B. Grossman (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

سال:

1991

زبان:

english

فائل:

PDF, 9.78 MB

0 / 0

english, 1991

28

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

N. Mei (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

سال:

1983

زبان:

english

فائل:

PDF, 7.83 MB

0 / 0

english, 1983

29

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

سال:

2002

زبان:

english

فائل:

PDF, 4.92 MB

0 / 0

english, 2002

30

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

سال:

2002

زبان:

english

فائل:

PDF, 3.74 MB

0 / 0

english, 2002

31

Progress in Sensory Physiology 6

Progress in Sensory Physiology 6

Springer-Verlag Berlin Heidelberg

T. Sato (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

سال:

1986

زبان:

english

فائل:

PDF, 17.52 MB

0 / 0

english, 1986

32

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 5.45 MB

0 / 0

english, 2009

33

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 5.50 MB

0 / 0

english, 2009

34

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.)

سال:

1996

زبان:

english

فائل:

DJVU, 5.74 MB

0 / 0

english, 1996

35

Progress in Sensory Physiology 9

Progress in Sensory Physiology 9

Springer-Verlag Berlin Heidelberg

R. D. Foreman (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis, Professor Dr. David Ottoson (eds.)

سال:

1989

زبان:

english

فائل:

PDF, 6.33 MB

0 / 0

english, 1989

36

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

G. Westheimer (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Eduard Roy Perl, Professor Dr. Robert F. Schmidt, Professor Dr. David Ottoson (eds.)

سال:

1981

زبان:

english

فائل:

PDF, 6.86 MB

0 / 0

english, 1981

37

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

W. Skrandies (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

سال:

1987

زبان:

english

فائل:

PDF, 4.82 MB

0 / 0

english, 1987

38

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 4.74 MB

0 / 0

english, 2009

39

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 7.68 MB

0 / 0

english, 2011