Bantam Doubleday Dell, 1982. — 394 p. — ISBN 978-0440189763. He feared nothing...wanted everything. Every thrill. Every danger. Every woman. But most of all, he wanted freedom-the exhilaration of falling free into a vastness of sky; the intoxication of the thundering surf; the arousal of sudden, dangerous passion; the thrill of careening-reckless, defiant-into the face of death...
Leanpub, 2022. — 170 p. Dependent types are a powerful concept that allows us to write proof-carrying code. Idris is a programming language that supports dependent types. We will learn about the mathematical foundations, and then write correct software and mathematically prove properties about it. This book aims to be accessible to novices that have no prior experience beyond...
London: Pelican Books, 1963. — 306 p. From Craps to Probability Curves, Montmort’s Problem to the St Petersburg Paradox, this book traces the "highways and byways of Dame Fortune in all her aspects. Never was Lady Luck so well portrayed - her curves, her vital statistics, her chances and your chances. Warren Weaver gives a practical and readable account of the probability...
NY: Apress, 2022. — 144 p. — ISBN 13 — 9781484279779 Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's...
Yutopian Enterprises, 1995. — 224 p. — ISBN 0964184753. This is an exhaustive manual that details how sparkling technique may bring one's game alive. 61 Model situations are examined, in which deadly hane, exquisite placements, and stunning attachments, among many other skillful finesse, are shown to be surprisingly effective. The flip side of the matter, crude moves (or...
NY: Viking Books for Young Readers, 1936. — 70 p. — ISBN 9780670674244. ‘Once upon a time in Spain there was a little bull and his name was Ferdinand. All the other little bulls he lived with would run and jump and butt their heads together, but not Ferdinand.’
Москва: Олимп–Бизнес, 2017. — 420 p. — ISBN 978-5-9909050-2-3 Восточная стратегическая игра Го — самая древняя и самая сложная игра на планете. На протяжении тысячелетий она была прочно связана с политической, военной и деловой элитой стран Востока. Неудивительно, что и в современном мире особый интерес к игре проявляют политики и бизнесмены. Среди них — Билл Гейтс, который в...
New York: Harper Voyager, 2014. — 304 p. — ISBN10: 0007529872. Josh Malerman’s debut novel BIRD BOX is a terrifying, Hitchcockesque psychological horror that is sure to stay with you long after reading. Malorie raises the children the only way she can: indoors. The house is quiet. The doors are locked, the curtains are closed, mattresses are nailed over the windows. They are...
Fukuoka: Springer, 2020. — 324 p. — (Perspectives In Law, Business And Innovation). — ISBN10: 9811503486 Two of the most important developments of this new century are the emergence of cloud computing and big data. However, the uncertainties surrounding the failure of cloud service providers to clearly assert ownership rights over data and databases during cloud computing...
Boca Raton, CRC Press, 2011. — 450 p. — (Modern Insights Into Disease from Molecules to Man). — ISBN10: 1578086906. Cytokines are a group of peptides secreted by cells of the immune system such as macrophages, lymphocytes, and T cells. They can be divided into functional families and have-wide ranging impacts that affect cells and molecular pathways to the whole individual....
Boston: Free Software Foundation, 2012. — 575 p. GNU Manual Group, volume 1 . Edition 3.1 of the GNU Emacs Lisp Reference Manual. For Emacs Version 24.1
Boston: Free Software Foundation, 2012. — 551 p. GNU Manual Group, volume 2 . Edition 3.1 of the GNU Emacs Lisp Reference Manual. For Emacs Version 24.1
Totowa, New Jersey: Humana Press, 2008. — 334 p. — (Methods in Molecular Biology, № 454). — ISBN: 1588298671. In 2003, the word "coronavirus" spread across the globe, somewhat further than the virus that sparked the panic. In SARS- and Other Coronaviruses: Laboratory Protocols, expert researchers examine these devastating viruses through detailed laboratory protocols. Chapters...
М.: Современный писатель, 1926. — 101 c. Роман о том, как переустройство быта и теория "свободной любви" покалечили судьбы молодых рабочих и студентов.
Natick, Massachusetts: AK Peters, 2010. — 243 p. — ISBN10: 1568814267 — ISBN13: 9781568814261 Geometry processing, or mesh processing, is a fast-growing area of research that uses concepts from applied mathematics, computer science, and engineering to design efficient algorithms for the acquisition, reconstruction, analysis, manipulation, simulation, and transmission of complex...
Wiley-Blackwell, 2005. — 559 p. — ISBN10: 9781405122764 — ISBN13: 978-1405122764 The books and journals currently available are directed at pancreatologists and the information does not reach most general clinicians and surgeons who treat patients suffering from pancreatic diseases. The aim of this book is to provide practising gastroenterologists and surgeons with clear...
San Diego, California: Elsevier Academic Press, 2006. — 384 p. — ISBN13: 978-0-12-088484-1 — ISBN10: 0-12-088484-4 The somatotropic axis is one of the major hormonal systems regulating postnatal growth in mammals. It interacts with the central nervous system on several levels. Growth hormone (GH) and insulin-like growth factor-I (IGF-I) receptors are expressed in many brain...
Alfred Jost, Solange Magre (auth.), Jose M. Cuezva, Ana M. Pascual-Leone, Mulchand S. Patel (eds.). — New York: Plenum Press. 1990. — 316 p. — ISBN13: 978-1-4615-9569-4. Softcover reprint of the hardcover 1 st edition 1990, Springer US. The annual meeting of the Perinatal Biochemical Group of the Spanish Biochemical Society held in Madrid on December 15-16, 1989, provided an...
Heather Adkins, Betsy Beyer, Paul Blankinship, Piotr Lewandowski, Ana Oprea, Adam Stubblefield. — O’Reilly Media, 2020. — 558 p. — ISBN13: 978-1492083122. Can a system be considered truly reliable if it isn’t fundamentally secure? Or can it be considered secure if it’s unreliable? Security is crucial to the design and operation of scalable systems in production, as it plays an...
Leanpub, 2020. — 429 p. — ISBN: 978-0-9863934-0-2 In the beginning, there were sysadmins Since the beginning of networked computing, deploying and managing servers reliably and efficiently has been a challenge. Historically, system administrators were walled off from the developers and users who interact with the systems they administer, and they managed servers by hand,...
Leanpub, 2020. — 429 p. — ISBN: 978-0-9863934-0-2 In the beginning, there were sysadmins Since the beginning of networked computing, deploying and managing servers reliably and efficiently has been a challenge. Historically, system administrators were walled off from the developers and users who interact with the systems they administer, and they managed servers by hand,...
Leanpub, 2020. — 429 p. — ISBN: 978-0-9863934-0-2 In the beginning, there were sysadmins Since the beginning of networked computing, deploying and managing servers reliably and efficiently has been a challenge. Historically, system administrators were walled off from the developers and users who interact with the systems they administer, and they managed servers by hand,...
Leanpub, 2020. — 176 p This book is 46% complete This version was published on 2020-03-13. Automate app deployment on any scale with Ansible and K8s. Many of the developers and sysadmins I work with are at least moderately comfortable administering a Linux server via SSH, and manage between 1-100 servers, whether bare metal, virtualized, or using containers. Some of these people...
Leanpub, 2020. — 176 p This book is 46% complete This version was published on 2020-03-13. Automate app deployment on any scale with Ansible and K8s. Many of the developers and sysadmins I work with are at least moderately comfortable administering a Linux server via SSH, and manage between 1-100 servers, whether bare metal, virtualized, or using containers. Some of these people...
Leanpub, 2020. — 176 p This book is 46% complete This version was published on 2020-03-13. Automate app deployment on any scale with Ansible and K8s. Many of the developers and sysadmins I work with are at least moderately comfortable administering a Linux server via SSH, and manage between 1-100 servers, whether bare metal, virtualized, or using containers. Some of these people...
DWARF Debugging Information Format Committee. — 2017. — 477 p. DWARF is a widely used, standardized debugging file format used by many compilers and debuggers to support source level debugging. It addresses the requirements of a number of procedural languages, such as C, C++, and Fortran, and is designed to be extensible to other languages. DWARF is architecture independent and...
Amsterdam: Amsterdam University Press, 2009. — 191 p. — ISBN10: 9089640452 ISBN13: 9789089640451 The result of five years of intensive research on citizenship in the Arab world, this volume uses the multidisciplinary approach of comparative legal studies in order to consider the multifaceted reality of nationality and citizenship. Gianluca P. Parolin brings together...
London: Springer-Verlag 1998. — 340 p. ISBN13: 9781447115946 This book updates the thesis I produced for my PhD at the Department of Artificial Intelligence of the University of Edinburgh, correcting errors, and improving some of the formatting and readability. Since the original work was completed (early 1996), research has progressed. Most notably, the public profile of AI...
Пер. Ильи Чернова (2002) — Лондон: Роберт Хейл, 1980. — 86 с. Easley Rutland Blackwood один из самых известных игроков в бридж, создатель конвенции названной в его честь, автор множества книг по бриджу.
М.: Наука, 1971. — 297 c. Монография является первым наиболее полным исследованием по лексике всех дагестанских языков в сравнительно-историческом аспекте: привлекается материал пяти письменных (даргинского, аварского, лезгинского, лакского и табасаранского) и 21 одного бесписьменного языков Дагестана. Работа состоит из двух частей. Первая объединяет три теоретические главы....
Выходные данные не известны, 1988. — 52 с. История об упыре, поедателе коров и зеленых людей, Гуле, скупом, нечестном, хромом, лживом, лицемерном и льстивом ростовщике.
Выходные данные не известны, 1988. — 52 с. Зеленый город. Зеленый, красивый город, хорошие жители, которые любят землю и находят счастье только в том, чтобы жить и работать в ней. Когда они работают, они не чувствуют усталости, потому что работают с радостью и удовольствием. Даже тяжелая работа им казалась легкой. Солнце присутствует в зеленых домах, большую часть дня. Он входит...
Выходные данные не известны, 1988. — 52 с. Младший сын читал вслух стихи, которые арабский учитель попросил его запомнить. В стихах говорится: крыша моего дома железная. Когда отец услышал эти стихи (из нитей), он улыбнулся и сказал тихим голосом: — «У большинства домов железные крыши. И его углы из камня. Но многим из тех, кто жил в нем, пришлось оставить их изгнанными, чтобы...
Cairo: Dar al'-Maaref, 1719. — 140 с. — ISBN: 9770238384. الطبعة الثانية عشرةٍ. > как будто непреодолимая воля прошла над мной и одолевала меня, поэтому я не поддался на предложение отца.
Baltimore: Ottenheimer Publishers Inc, 2002. — 28 с. Детская книга из серии почему и кто: динозавры, первый компьютер, как делают игрушки и кто изобрел телефон.
Выходные данные не известны — 84 с. و أبنائي الأعزاء كل حديث - يا أبنائي - نبدأوه بحمد الله ، والصلاة والسلام على رسول الله - سيدنا محمد وعلى آله وصحابته وسلم . نحن - يا أبنائي - سوف نعيش في هذا الكتاب الذي ألفته من أجلكم ، وأنا به وبكم سعيد ، لأني أقدم لكم أحسن القصص - قصص القرآن الكريم . . الذي هو أصدق القول . . لأن من خلال قصصه نتعلم العقيدة السليمة - والتربية الصحيحة...تعيش...
Отпечатано в Англии, 1980. — 56 с., иные выходные данные не приведены. This book was donated by the German Women Association, Alexandria to the Children ' s Library of the Bibliotheca Alexandria. عندما أقلعت ثلاث سفن من پالوس عام ۱۹۹۲ ، غيرت مجرى التاريخ . وهذو قصه کریستوفر کولمبس ، الرجل الذي قاد تلك السفن ، وقصة أغظم رحلة بحرية ، ذات شأن عظيم ، قام بها الإنسان.
Выходные данные не известны — 28 с. Объединение географических фактов со связкой легенд. ا كان اهتمام « كامل كيلاني » بالأساطير بالغ الغاية ، إذ اعتبر العالم الأسطوري مورداً عذبا لاجتذاب عقليّة الناشىء الفضة ، وإمدادها بما يملؤها أنا وانْشَراهَا . والجديد فيما اتجه إليه « كامل كيلاني » : أنه لم يقتصر على الأساطير الشرقية في آداب الهند والفَرَس وغيرها . . ولم يقتصر على الأساطير...
Выходные данные не известны — 32 с. قصة شهاب سلطان. رسم رانيا البغدادي. في ضوء القمر اجتمعت عائلة الأراميه كعادتها كل ليلة برقصون ويعنون ويقضون ساعات ممتعة في جو من الحب والسعادة والهناء
Бейрут: иные выходные данные не известны — 56 с. تأليف : جمس وبستر نقله الى العربية : محمد العدنان وضع الرسوم : جيرالد ويتكوم مكتبة لبنان إلى المعلمين والآباء هذا هُوَ أَحَهُ كُتُب ليديبرد الرّائدةِ ، وهُوَ حَلْقة مِن سلسلة وضعت خاصّةً لتفي بالحاجة الماسة جدّا إلى كُتُب تَحَتوي على معلومات أولية أساسية للناشئين ، وقد خُطط لها بعناية تامّة ، يتجتذب إليها بلهفة العقول المحبّة...