[PDF] type system free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


60 books found   ►also search"type system" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
1484219 Christopher R. H. Hanusa A Gessel-Viennot-Type Method for Cycle Systems with Applications to Aztec Pillows [PhD thesis] University of Washington 2005 91 English 858 kb pdf GET
907310 Jürgen Uhl, Hans Albrecht Schmid (auth.) Lecture Notes in Computer Science 460
A Systematic Catalogue of Reusable Abstract Data Types [1 ed.]
3540532293, 9783540532293, 0387532293, 9780387532295
Springer-Verlag Berlin Heidelberg 1990 344 English 10 Mb pdf GET
963523 Jürgen Uhl, Hans Albrecht Schmid (auth.) Lecture Notes in Computer Science 460
A Systematic Catalogue of Reusable Abstract Data Types [1 ed.]
978-3-540-53229-3, 978-3-540-46777-9
Springer-Verlag Berlin Heidelberg 1990 344 English 5 Mb pdf GET
595420 Jürgen Uhl, Hans Albrecht Schmid (auth.) Lecture Notes in Computer Science 460
A Systematic Catalogue of Reusable Abstract Data Types [1 ed.]
3540532293, 9783540532293
Springer-Verlag Berlin Heidelberg 1990 344 English 2 Mb djvu GET
1249613 Richard W. Spjut Memoirs of the New York Botanical Garden Vol. 70
A Systematic Treatment of Fruit Types
9780893273835, 0-89327-383-X
The New York Botanical Garden Press 1994 94 English 4 Mb djvu GET
961676 Jerry M. Mendel (auth.), Alireza Sadeghian, Jerry M. Mendel, Hooman Tahayori (eds.) Studies in Fuzziness and Soft Computing 301
Advances in Type-2 Fuzzy Sets and Systems: Theory and Applications [1 ed.]
978-1-4614-6665-9, 978-1-4614-6666-6
Springer-Verlag New York 2013 262 English 5 Mb pdf GET
64819 Hideya Matsumoto (auth.) Lecture Notes in Mathematics 590
Analyse Harmonique dans les Systèmes de Tits Bornologiques de Type Affine [1 ed.]
9780387082493, 0-387-08249-2
Springer-Verlag Berlin Heidelberg 1977 219 English 2 Mb djvu GET
74892 H. Matsumoto Lecture Notes in Mathematics
Analyse Harmonique dans les Systemes de Tits Bornologiques de Type Affine [1 ed.]
3540082492, 9783540082491
Springer 1977 222 French 1 Mb djvu GET
1534294 Hongyi Li, Ligang Wu, Hak-Keung Lam, Yabin Gao (auth.) Analysis and Synthesis for Interval Type-2 Fuzzy-Model-Based Systems [1 ed.]
978-981-10-0592-3, 978-981-10-0593-0
Springer Singapore 2016 XIX, 257 English 5 Mb pdf GET
951859 Dr. Kai Rudolph (auth.) Lecture Notes in Economics and Mathematical Systems 577
Bargaining Power Effects in Financial Contracting: A Joint Analysis of Contract Type and Placement Mode Choices [1 ed.]
978-3-540-34495-7, 978-3-540-34496-4
Springer-Verlag Berlin Heidelberg 2006 342 English 14 Mb pdf GET
404344 Kai Rudolph Bargaining Power Effects in Financial Contracting: A Joint Analysis of Contract Type and Placement Mode Choices (Lecture Notes in Economics and Mathematical Systems, 577) [1 ed.]
3540344950, 9783540344964, 9783540344957
2006 348 English 10 Mb pdf GET
595533 Francois Bronsard, Uday S. Reddy (auth.), S. Kaplan, M. Okada (eds.) Lecture Notes in Computer Science 516
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings [1 ed.]
3540543171, 9783540543176
Springer-Verlag Berlin Heidelberg 1991 464 English 7 Mb djvu GET
964776 Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.) Lecture Notes in Computer Science 968
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings [1 ed.]
978-3-540-60381-8, 978-3-540-45513-4
Springer-Verlag Berlin Heidelberg 1995 384 English 6 Mb pdf GET
337118 Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.) Lecture Notes in Computer Science 968
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings [1 ed.]
3540603816, 9783540603818
Springer-Verlag Berlin Heidelberg 1995 384 English 4 Mb djvu GET
939347 Stanislav V. Emelyanov PhD, Sergey K. Korovin PhD (auth.) Communications and Control Engineering
Control of Complex and Uncertain Systems: New Types of Feedback [1 ed.]
978-1-4471-1198-6, 978-1-4471-0771-2
Springer-Verlag London 2000 322 English 13 Mb pdf GET
1048932 G. Mourier (Eds.) Crossed-field microwave devices, v. 2
Crossed-field Microwave Device. Principal Types of Crossed-Field Devices Analysis of Oscillator system Performances Regional Progress and Trends
978-0-12-395553-1
Academic Press 1961 648 English 11 Mb pdf GET
963037 Malcolm P. Atkinson, Ronald Morrison (auth.), Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (eds.) Topics in Information Systems
Data Types and Persistence [1 ed.]
978-3-642-64870-0, 978-3-642-61556-6
Springer-Verlag Berlin Heidelberg 1988 294 English 8 Mb pdf GET
1020923 Dr. Rudolf Bienenfeld (auth.) Die Haftungen ohne Verschulden: Typenlehre und System der aussergeschäftlichen Obligationen im Deutschen, Österreichischen und Schweizerischen Recht
978-3-7091-3046-9, 978-3-7091-3062-9
Springer Vienna 1933 522 German 24 Mb pdf GET
900875 Narain Gehani Document formatting and typesetting on the UNIX system [1st ed]
0961533609, 9780961533601
Silicon Press 1986 382 English 102 Mb pdf GET
961592 Suril Vijaykumar Shah, Subir Kumar Saha, Jayanta Kumar Dutt (auth.) Intelligent Systems, Control and Automation: Science and Engineering 62
Dynamics of Tree-Type Robotic Systems [1 ed.]
978-94-007-5005-0, 978-94-007-5006-7
Springer Netherlands 2013 252 English 6 Mb pdf GET
1207257 Bruce Kitchens, Selim Tuncil 338
Memoirs of the American Mathematical Society
Finitary Measures for Subshifts of Finite Type and Sofic Systems
082182340X, 9780821823408
Amer Mathematical Society 1985 68 English 5 Mb pdf GET
1505250 Darwen, Hugh; Date, C. J Foundation for future database systems : the third manifesto : a detailed study of the impact of type theory on the relational model of data, including a comprehensive model of type inheritance [2ed.]
0-201-70928-7, 9780201709285, 0-201-30978-5, 310-315-316-3
Addison-Wesley Professional 2000 547 English 5 Mb djvu GET
1291806 Michaela Laupheimer (auth.) Springer Theses
Gelled Bicontinuous Microemulsions: A New Type of Orthogonal Self-Assembled Systems [1 ed.]
978-3-319-07718-5, 978-3-319-07719-2
Springer International Publishing 2014 161 English 6 Mb pdf GET
139138 Naotatsu Shikazono (Eds.) Developments in Geochemistry 8
Geochemical and Tectonic Evolution of Arc-Backarc Hydrothermal Systems: Implication for the Origin of Kuroko and Epithermal Vein-Type Mineralizations and the Global Geochemical Cycle [1 ed.]
0-444-51-1504, 9780444511508
Elsevier Science 2003 1-463 English 22 Mb pdf GET
583085 Naotatsu Shikazono (Eds.) Developments in Geochemistry 8
Geochemical and Tectonic Evolution of Arc-Backarc Hydrothermal Systems: Implication for the Origin of Kuroko and Epithermal Vein-Type Mineralizations and the Global Geochemical Cycle [1 ed.]
0444511504, 9780444511508, 9780080532431
Elsevier, Academic Press 2003 1-463 English 21 Mb pdf GET
  ►
 Коган А.Б.
Zhilin Li, Qing Zhu, Chris Gold
Rainer Dahlhaus, Jürgen Kurths, Peter Maass, Jens Timmer
Michael Metcalf, John K. Reid
Editors of The American Heritage Dictionaries
Розенталь Д.Э.
Lagrange J.L.
Shang-Ching Chou
J. G Semple
Гребеников Е.А.
Осипов В.Ф.
Бейкер Дж., Грейвс-Моррис П. (Baker,Graves-Morris)
Gill G.S.
Бугров Я.С, Никольский С.М.
Peter Harmand, Dirk Werner, Wend Werner
Канторович Л.В., Вулих Б.З., Пинскер А.Г.
Ленг С.
Audin M.
James Stasheff
Мандельбаум Р.

toxicologymathematical modelwaterphysicsironshape optimizationindexing termsevent related potentialsbrownian motionland degradationepoxy coatinginjury preventiong proteinsstrategiesmagnetohydrodynamicsdifference equationschemokine receptorhologramsvibrational modes