الكتب الالكترونية

عدد الكتب: 2561 - 2580 /2760
978-0-387-34133-0
Tissue Engineering

This special issue of Advances in Experimental Medicine and Biology includes much of the research presented at the recent ...

اقرأ المزيد
978-3-319-72368-6
Tobacco Control Policy in the Netherlands

Governments have known since the 1960s that smoking results in irreversible health damage. This open access book examines ...

اقرأ المزيد
978-0-387-27445-4
Toll and Toll-Like Receptors:

Toll-Like Receptor (TLR) biology would prove to be one of these secrets. Analyses of the evolution of these receptors (Tolls ...

اقرأ المزيد
978-1-4020-4769-5
Tomato yellow leaf curl virus disease

This book will awaken the interest of breeders, phytopathologists, environmentalists, extension services, plant virologists, ...

اقرأ المزيد
978-3-031-08198-9
Tongue Lesions : Diagnostic Challenges and Therapeutic Strategies / Mahmoud F. Sakr

Offers in a single resource the whole coverage of different diseases and lesions, congenital or acquired, of the tongue, ...

اقرأ المزيد
978-3-7643-7524-9
Tool and Object : A History and Philosophy of Category Theory

The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory ...

اقرأ المزيد
978-3-030-72016-2
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

اقرأ المزيد
978-3-319-89960-2
Tools and Algorithms for the Construction and Analysis of Systems

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

اقرأ المزيد
978-3-319-89963-3
Tools and Algorithms for the Construction and Analysis of Systems

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

اقرأ المزيد
978-3-030-17462-0
Tools and Algorithms for the Construction and Analysis of Systems

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

اقرأ المزيد
978-3-030-17465-1
Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

اقرأ المزيد
978-3-030-17502-3
Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

اقرأ المزيد
978-3-540-78800-3
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

اقرأ المزيد
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

اقرأ المزيد
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

اقرأ المزيد
9781842145302
Tooth Whitening Techniques / Linda Greenwall

The field of tooth whitening has continued to develop as more and more dental practitioners have turned to cosmetic dentistry ...

اقرأ المزيد
978-1-4020-4796-1
Topic and Focus : Cross-Linguistic Perspectives on Meaning and Intonation

This book contains a collection of papers exploring the cross-linguistic expression of topic and focus. A diverse set of ...

اقرأ المزيد
978-3-540-72984-6
Topics in Gravitational Dynamics

This set of lectures collects surveys of open problems in celestial dynamics and dynamical astronomy applied to solar, extra-solar ...

اقرأ المزيد
978-3-540-36546-4
Topics on Concentration Phenomena and Problems with Multiple Scales

This volume includes lecture notes devoted to the asymptotic analysis of such problems when the multi-scale behaviour derives ...

اقرأ المزيد
978-3-211-27254-1
Total Ankle Arthroplasty

Increasing success of arthroplasty of joints like the hip and knee along with concerns about the long-term outcomes of ankle ...

اقرأ المزيد
عدد الكتب: 2561 - 2580 /2760