Download or read book Selected Papers on Automath written by R.P. Nederpelt and published by Elsevier. This book was released on 1994-10-20 with total page 1045 pages. Available in PDF, EPUB and Kindle. Book excerpt: The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations.

Download or read book Essential 120000 English Polish Words Dictionary written by Nam H Nguyen and published by Nam H Nguyen. This book was released on 2018-03-16 with total page 2431 pages. Available in PDF, EPUB and Kindle. Book excerpt: The entire dictionary is an alphabetical list of English words and their French equivalent translations. It will be very useful for everyone (home, school, students, travel, interpreting and learning French or English). Cały słownik jest alfabetyczną listą angielskich słów i ich francuskich odpowiedników. Będzie to bardzo przydatne dla wszystkich (dom, szkoła, studenci, podróże, tłumaczenie ustne i nauka języka francuskiego lub angielskiego).

Download or read book Inform Katalog written by and published by . This book was released on 1996 with total page 720 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Kybernetika written by and published by . This book was released on 1984 with total page 668 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Ci z Dziesi tego Tysi ca written by Jerzy Broszkiewicz and published by Wydawnictwo Estymator. This book was released on 2021-06-23 with total page 83 pages. Available in PDF, EPUB and Kindle. Book excerpt: Przygodowa powieść dla młodzieży w konwencji science-fiction. Solidna, radosna, pełna normalnego humoru i ciepła, pozytywna powieść na dobre i gorsze dni. Bohaterami jest trójka nastolatków: Ion Soggo oraz bliźniacy Alka i Alek Roj, którzy spotykają się podczas wakacji na stacji badawczej „Pierwszy Zwiadowca” – sztucznej planetoidzie, gdzie pracują ich rodzice. Rojowie są Ziemianami, zaś Ion Saturnianinem. Opiekuje się nimi android Robik. Mechanoplaneta ma przetestować możliwość lotu wielkiego statku kosmicznego poza granice Układu Słonecznego. Pewnego dnia w kolejną misją badawczą startują dwa kosmoloty, których załogi stanowią wszyscy naukowcy pracujący na Zwiadowcy. Nastolatki zostają same pod opieką maszyn. Niespodziewanie na skutek kolizji z rzeką meteorów awarii ulega jeden z kosmolotów. Na ratunek rusza mu drugi kosmolot, niestety, także zostaje wciągnięty w strumień. Jedynej pomocy mogą zagrożonym dorosłym udzielić nasi młodzi bohaterowie. Skąd wziął się tytuł książki? Otóż jej akcja toczy się w odległości dziesięciu tysięcy milionów kilometrów od Słońca! Dlaczego na stacji badawczej znalazły się dzieci? Dlatego, że planowane w przyszłości dalekie loty kosmiczne będą trwać wiele lat – postanowiono więc, że będą w nich uczestniczyć całe rodziny – wraz z dziećmi (które po latach kosmicznych podróży dorosną i staną się pełnoprawnymi astronautami). Dalsze losy bohaterów „Ci z Dziesiątego Tysiąca” (1962) znajdziemy w wydanej dwa lata później (1964), kolejnej powieści Jerzego Broszkiewicza „Oko Centaura”, w której zmierzą się z jeszcze większym wyzwaniem – z próbą nawiązania kontaktu z obca cywilizacją. Retrofuturyzm w całej okazałości. Książka miała wiele wydań i ogromne nakłady. Przykładowo wydanie IV z 1969 roku miało nakład blisko 100 tysięcy egzemplarzy (dokładnie: 92235 egzemplarzy). Przetłumaczono ją m.in. na niemiecki, japoński, czeski, słowacki, rumuński i bułgarski. Łączny nakład uwzględniając tłumaczenia, to ponad milion egzemplarzy. Autorka okładki: Anna Niemierko

Download or read book Poezje wybrane written by Tadeusz Różewicz and published by . This book was released on 1994 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Host Bibliographic Record for Boundwith Item Barcode 30112027721726 and Others written by and published by . This book was released on 2013 with total page 718 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Thirty Five Years of Automating Mathematics written by F.D. Kamareddine and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of 1946 and the de Bruijn-Erdos theorem of 1948. De Bruijn's contributions to mathematics also included his work on generalized function theory, analytic number theory, optimal control, quasicrystals, the mathematical analysis of games and much more. In the 1960s de Bruijn became fascinated by the new computer technology and as a result, decided to start the new AUTOMATH project where he could check, with the help of the computer, the correctness of books of mathematics. In each area that de Bruijn approached, he shed a new light and was known for his originality and for making deep intellectual contributions. And when it came to automating mathematics, he again did it his way and introduced the highly influential AUTOMATH. In the past decade he has also been working on theories of the human brain.

Download or read book Evolutionary Urban Development written by Katarzyna Sadowy and published by Taylor & Francis. This book was released on 2023-02-24 with total page 185 pages. Available in PDF, EPUB and Kindle. Book excerpt: Drawing on a range of disciplinary approaches, this text explores the drivers of urban development. Through an evolutionary lens, cities are shown to find a development path amidst an ever-changing landscape, sometimes facing extreme externalities such as wars and economic crises. Key themes covered include urban growth, decentralisation, path dependence, institutional change, governance, entrepreneurship and culture. Detailed case studies of the history-rich metropolises of Berlin, Budapest and Warsaw allow the author to examine the adaptive abilities of cities in flux and draw conclusions with broader international relevance. This text will be valuable reading for advanced students and researchers in urban economics, evolutionary economics, institutional economics and Central European studies.

Download or read book American Journal of Pharmacy and the Sciences Supporting Public Health written by and published by . This book was released on 1928 with total page 868 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Recueil Des Trait s written by League of Nations and published by . This book was released on 1928 with total page 894 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Recent Advances in Thermo and Fluid Dynamics written by Mofid Gorji-Bandpy and published by BoD – Books on Demand. This book was released on 2015-12-21 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: Thermodynamics is a branch of physics concerned with heat and temperature and their relation to energy and work. It defines macroscopic variables, such as internal energy, entropy, and pressure, that partly describe a body of matter or radiation. It states that the behavior of these variables is subject to general constraints that are common to all materials, not to the peculiar properties of particular materials. These general constraints are expressed in the three laws of thermodynamics which had a deep influence on the development of physics and chemistry. The book aims to present novel ideas that are crossing traditional disciplinary boundaries and introducing a wide spectrum of viewpoints and approaches in applied thermodynamics of the third millennium. The book will be of interest to those working in the fields of propulsion systems, power generation systems, chemical industry, quantum systems, refrigeration, fluid flow, combustion, and other phenomena.

Download or read book Prophets of Computing written by Dick van Lente and published by Morgan & Claypool. This book was released on 2022-12-14 with total page 556 pages. Available in PDF, EPUB and Kindle. Book excerpt: When electronic digital computers first appeared after World War II, they appeared as a revolutionary force. Business management, the world of work, administrative life, the nation state, and soon enough everyday life were expected to change dramatically with these machines’ use. Ever since, diverse prophecies of computing have continually emerged, through to the present day. As computing spread beyond the US and UK, such prophecies emerged from strikingly different economic, political, and cultural conditions. This volume explores how these expectations differed, assesses unexpected commonalities, and suggests ways to understand the divergences and convergences. This book examines thirteen countries, based on source material in ten different languages—the effort of an international team of scholars. In addition to analyses of debates, political changes, and popular speculations, we also show a wide range of pictorial representations of "the future with computers."

Download or read book Pevnost v Mrazu written by Stephen Hunt and published by Green Nebula. This book was released on 2024-06-01 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: Pevnost v Mrazu Píše se poslední rok 18. století, ale svět, který by poznal jen málokdo. Obyvatelé Evropy se ukrývají na malých ostrůvcích bezpečí, útočištích před začarovanou divočinou - podivnými bezbřehými lesy, kterým lidé říkají Tumble. Právě touto démony pronásledovanou krajinou musí vést své muže důstojník Taliesin, který se zapletl do nejsmrtelnějších intrik a zároveň bojuje ve válkách za šlechtickou vrstvu, která jím pohrdá. Když za ním pochodují krutí vrazi z nejhorších spodin říše a proti němu se staví síly nejmocnějších národů pevniny, je Taliesinovi přáno. Těžce. Přesto bude bojovat dál, bojovat s armádami, čaroději, zabijáky, bestiemi a překročit tvář samotného pekla. Ne kvůli loajalitě nebo nelibé úctě ke svému intrikánskému panovníkovi - dokonce ani ne kvůli malé hoře stříbra, kterou mu ostrovní královna slíbila, pokud uspěje. Ale proto, že boj je to jediné, co on a jeho stlačená banda hrdlořezů a zlodějů kdy znali. *** Druhá kniha duologie Trojí říše. 1. Za Korunu a Draka. 2. Pevnost v Mrazu. *** O AUTOROVI Stephen Hunt je tvůrcem velmi oblíbené fantasy série "Dalekozvaný" (Gollancz/Hachette) a také série "Jackelian", která vychází po celém světě prostřednictvím nakladatelství HarperCollins spolu s dalšími jejich autory fantasy: Georgem R. R. Martinem, J. R. R. Tolkienem, Raymondem E. Feistem a C. S. Lewisem. *** RECENZE Chvála románů Stephena Hunta: "Pan Hunt se rozjíždí závodní rychlostí. - THE WALL STREET JOURNAL "Huntova představivost je pravděpodobně viditelná z vesmíru. Koncepty, které by jiní spisovatelé vydolovali pro trilogii, rozhazuje jako obaly od čokoládových tyčinek. - TOM HOLT "Všemožné bizarní a fantastické extravagance. - DAILY MAIL "Nutkavé čtení pro všechny věkové kategorie. - GUARDIAN "Plný invence. -THE INDEPENDENT "Říci o této knize, že je nabitá akcí, je téměř slabé slovo... báječná eskapistická historka! - INTERZONE 'Hunt nacpal příběh plný zajímavých triků... působivý a originální.' - PUBLISHERS WEEKLY "Strhující dobrodružství ve stylu Indiana Jonese. -RT BOOK REVIEWS 'Zajímavá směs z části budoucnosti.' - KIRKUS REVIEWS 'Nápadité, ambiciózní dílo plné zázraků a podivuhodností.' - THE TIMES 'Hunt ví, co má jeho publikum rádo, a dává mu to se sardonickým vtipem a pečlivě rozvíjeným napětím.' - TIME OUT 'Strhující příběh... příběh se táhne... neustálá vynalézavost udržuje čtenáře v napětí... finále je třaskavým sledem cliffhangerů a překvapivých návratů. Skvělá zábava. - SFX MAGAZINE "Připoutejte se, čeká vás zběsilé střetnutí kočky s myší... napínavý příběh. - SF REVU

Download or read book Treaty Series Publication of Treaties and International Engagements Registered with the Secretariat of the League written by League of Nations and published by . This book was released on 1928 with total page 894 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Wood Structure and Properties 02 written by Stanislav Kurjatko and published by Arbora Publishers. This book was released on 2002 with total page 230 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Gaming the Iron Curtain written by Jaroslav Svelch and published by MIT Press. This book was released on 2018-12-25 with total page 401 pages. Available in PDF, EPUB and Kindle. Book excerpt: How amateur programmers in 1980s Czechoslovakia discovered games as a medium, using them not only for entertainment but also as a means of self-expression. Aside from the exceptional history of Tetris, very little is known about gaming culture behind the Iron Curtain. But despite the scarcity of home computers and the absence of hardware and software markets, Czechoslovakia hosted a remarkably active DIY microcomputer scene in the 1980s, producing more than two hundred games that were by turns creative, inventive, and politically subversive. In Gaming the Iron Curtain, Jaroslav Švelch offers the first social history of gaming and game design in 1980s Czechoslovakia, and the first book-length treatment of computer gaming in any country of the Soviet bloc. Švelch describes how amateur programmers in 1980s Czechoslovakia discovered games as a medium, using them not only for entertainment but also as a means of self-expression. Sheltered in state-supported computer clubs, local programmers fashioned games into a medium of expression that, unlike television or the press, was neither regulated nor censored. In the final years of Communist rule, Czechoslovak programmers were among the first in the world to make activist games about current political events, anticipating trends observed decades later in independent or experimental titles. Drawing from extensive interviews as well as political, economic, and social history, Gaming the Iron Curtain tells a compelling tale of gaming the system, introducing us to individuals who used their ingenuity to be active, be creative, and be heard.