topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 38
 |
Masterpieces and Dramas of the Soviet Championships: Volume II (1938-1947)
ISBN: 9785604560709 / Angielski / Twarda / 2021 / 524 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
273,25 zł |
 |
Perspectives of System Informatics: 9th International Ershov Informatics Conference, Psi 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selec
ISBN: 9783662468227 / Angielski / Miękka / 2015 / 415 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions.
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, ...
|
cena:
194,52 zł |
 |
Masterpieces and Dramas of the Soviet Championships: Volume II (1938-1947)
ISBN: 9785604469200 / Angielski / Miękka / 2021 / 524 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
200,05 zł |
 |
Zhizn' luchshe smerti? : Ljubov' i sud'ba. Kto pobedit v bor'be so zlom?
ISBN: 9783330725577 / Rosyjski / Miękka / 2016 / 312 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
250,88 zł |
 |
Masterpieces and Dramas of the Soviet Championships: Volume I (1920-1937)
ISBN: 9785604176931 / Angielski / Miękka / 2020 / 534 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
195,16 zł |
 |
Masterpieces and Dramas of the Soviet Championships: Volume III (1948-1953)
ISBN: 9785604469217 / Angielski / Miękka / 2022 / 524 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
200,10 zł |
 |
Iskra tvorchestva iz detstva
ISBN: 9783659514746 / Rosyjski / Miękka / 2014 / 284 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. S yunykh let v dukhe vremeni 60-kh avtorom proektirovalis' i stroilis' letayushchie modeli reaktivnykh samoletov, raket i dvigateley sobstvennoy konstruktsii. Pozdnee uvlechenie aviatsiey privelo k polucheniyu vysshego obrazovaniya v oblasti aviastroeniya i rabote v aviatsionnom KB, gde byl priobreten mnogoletniy opyt konstruktorskoy i izobretatel'skoy deyatel'nosti. Krug nauchno-tekhnicheskikh interesov avtora okhvatyval ne tol'ko proektiruemye i stroyashchiesya rossiyskie samolety, no i perspektivnye letatel'nye apparaty nestandartnykh skhem i komponovok, razrabotka i stroitel'stvo kotorykh...
S yunykh let v dukhe vremeni 60-kh avtorom proektirovalis' i stroilis' letayushchie modeli reaktivnykh samoletov, raket i dvigateley sobstvennoy konst...
|
cena:
379,51 zł |
 |
Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
ISBN: 9783540439318 / Angielski / Miękka / 2002 / 540 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the...
The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CA...
|
cena:
194,52 zł |
 |
Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
ISBN: 9783540569442 / Angielski / Miękka / 1993 / 394 str. Termin realizacji zamówienia: ok. 20 dni roboczych. LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions,...
LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research ...
|
cena:
194,52 zł |
 |
Tibal'd I Rozalina
ISBN: 9783847380146 / Rosyjski / Miękka / 2012 / 512 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Istoriya lyubvi, predatel'stva i postizheniya boevogo iskusstva, rasskazyvaemaya dvumya nezauryadnymi lyud'mi, kotorykh strashnym uzlom svyazala sud'ba. Tibal'd, vospitannyy pri Imperatorskom dvore, dushoy i telom predan Imperii. Rozalina- priemnaya doch' mogushchestvennogo vraga Imperii, vyrastaet v nepobedimuyu voitel'nitsu, nenavidyashchuyu voynu. Molodye lyudi vstretilis' i polyubili drug druga lyubov'yu, sposobnoy izmenit' ikh zhizn', i ves' mir. No ona speshila, a on napravlyalsya na voynu. Cherez mnogo vekov istoriki napisali, chto Tibal'd sumel ostanovit' raspad Imperii. No v eto...
Istoriya lyubvi, predatel'stva i postizheniya boevogo iskusstva, rasskazyvaemaya dvumya nezauryadnymi lyud'mi, kotorykh strashnym uzlom svyazala sud'b...
|
cena:
365,78 zł |
 |
Programming Logics: Essays in Memory of Harald Ganzinger
ISBN: 9783642376504 / Angielski / Miękka / 2013 / 447 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving,...
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to w...
|
cena:
194,52 zł |
 |
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
ISBN: 9783540705888 / Angielski / Miękka / 2008 / 457 str. Termin realizacji zamówienia: ok. 20 dni roboczych. ThisvolumecontainsthepaperspresentedatRTA2008:19thInternationalC- ference on Rewriting Techniques and Applications held July 15-17th in Hag- berg, AustriaandorganisedbytheResearchInstituteonSymbolicComputation. There were 57 submissions. Each submission was reviewed by at least four Programme Committee members. The committee decided to accept 30 papers. The submission and Programme Committee work was organised through the EasyChair system. I thank the Programme Committee members for their very e?cient work. My special thanks to Temur Kutsia, Aart Middeldorp, Robert Nieuwenhuis and Maribel...
ThisvolumecontainsthepaperspresentedatRTA2008:19thInternationalC- ference on Rewriting Techniques and Applications held July 15-17th in Hag- berg, Aus...
|
cena:
194,52 zł |
 |
Crossroads
ISBN: 9781365370960 / Angielski / Miękka / 2016 / 126 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. During a time when I was conflicted, and had heavy decisions on my mind, I needed a way to vent and while writing Crossroads, this is a way that had coped with the hardship.
During a time when I was conflicted, and had heavy decisions on my mind, I needed a way to vent and while writing Crossroads, this is a way that had c...
|
cena:
53,93 zł |
 |
Tekhnologiya Dvoynogo Zatemneniya V Elektronnykh Platezhnykh Sistemakh
ISBN: 9783659555916 / Rosyjski / Miękka / 2014 / 104 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. V monografii privedeny rezultaty razrabotki i realizatsii algoritma formirovaniya i proverki elektronnoy podpisi s "zatemneniem" na osnove ellipticheskikh krivykh i Rossiyskogo standarta GOST R 34.10 - 2012. Dannyy algoritm mozhet nayti primenenie v elektronnykh platezhnykh sistemakh (EPS). V rabote provoditsya analiz sushchestvuyushchikh EPS i metodov zashchity informatsii, ispolzuemykh v etikh sistemakh. Rezultaty analiza pozvolili obosnovat vybor neobkhodimykh mekhanizmov zashchity, nekotorye iz kotorykh v posleduyushchem byli realizovany. Opisyvayutsya printsipy postroeniya i...
V monografii privedeny rezultaty razrabotki i realizatsii algoritma formirovaniya i proverki elektronnoy podpisi s "zatemneniem" na osnove elliptiches...
|
cena:
150,61 zł |
 |
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991.
ISBN: 9783540554608 / Angielski / Miękka / 1992 / 521 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume include: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming innon-classical logics.This is the first volume to represent activity in the fieldof logic...
This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of ...
|
cena:
194,52 zł |
 |
Exposed Soul
ISBN: 9781329758285 / Angielski / Miękka / 2015 / 96 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
48,80 zł |
 |
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
ISBN: 9783540557272 / Angielski / Miękka / 1992 / 516 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.The topics of interest covered by papers inthe volumeinclude automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics.LPAR '92 is the...
This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in Ju...
|
cena:
194,52 zł |
 |
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Pap
ISBN: 9783540708803 / Angielski / Miękka / 2007 / 516 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931 1988) and his outsta- ing contributions towards advancing informatics. The role of Andrei Ershov in the establishment and development of the theory of programming and systems programming in our country cannot be overestimated. Andrei was one of the founders of...
This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006...
|
cena:
194,52 zł |
 |
Crossroads
ISBN: 9781365371011 / Angielski / Twarda / 2016 / 128 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. During a time when I was conflicted, and had heavy decisions on my mind, I needed a way to vent and while writing Crossroads, this is a way that had coped with the hardship.
During a time when I was conflicted, and had heavy decisions on my mind, I needed a way to vent and while writing Crossroads, this is a way that had c...
|
cena:
132,94 zł |
 |
Pobeda Razuma V Rossii
ISBN: 9783659998935 / Rosyjski / Miękka / 2014 / 96 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. V nauchno-fantasticheskom romane sdelana popytka pokazat' vozmozhnosti iskusstvennogo intellekta v reshenie problem chelovechestva. V pervoy chasti romana rassmatrivayutsya geopoliticheskie tseli, kotorye stavyatsya pered iskusstvennym razumom i protivorechivoe otnoshenie k iskusstvennomu intellektu trekh opredelyayushchikh stran na vybrannoy planete - Rossii, SShA i Kitaya. V netoroplivoy manere avtor podvodit chitatelya k osoznaniyu printsipov raboty iskusstvennogo intellekta, kotorye sleduyut iz postavlennykh pered nim tseley
V nauchno-fantasticheskom romane sdelana popytka pokazat' vozmozhnosti iskusstvennogo intellekta v reshenie problem chelovechestva. V pervoy chasti ro...
|
cena:
113,54 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
