Полное описание
>
Theory of quantum computation, communication, and cryptography : third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008: revised selected papers / ed.: Y. Kawano, M. Mosca. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5106). - URL: http://dx.doi.org/10.1007/978-3-540-89304-2. - ISBN 978-3-540-89304-2.
| ГРНТИ | УДК | |
| 20.53.23 | 004:530.145(062) | |
| 03.81.43 | 004.773(062) | |
| 50.33.29 | 003.26(062) | |
| 50.33.31 | ||
| 50.33.33 | ||
| 50.33.35 |
Рубрики:
Квантовые вычисления -- Съезды и конференции
Системы передачи данных -- Съезды и конференции
Криптография -- Съезды и конференции
Доп. точки доступа:
Kawano, Y.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-540-89304-2
Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 1 : Conference contributions, 1991. - 698 p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 2 : Tutorials, 1991. - 430 p. - Текст : непосредственный.Proceedings,Oct.1991,Milan / ESEC'91, 1991. - XII,515 p. p. - Текст : непосредственный.Computational geometry-methods,algorithms and applications : Proc.of the 7th intern.workshop on computational geometry,Bern,March 21-22,1991 / CG'91, 1991. - VIII,320 p. p. - Текст : непосредственный.Grahne G. The problem of incomplete information in relational databases / G.Grahne, 1991. - VIII,149 p. p. - Текст : непосредственный.New results and new trends in computer science : Proc.of a symp.,held in Graz,June 20-21,1991 / ed. H. Maurer, 1991. - VIII,403 p. p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.ISA'91 algorithms : 2nd intern.symp.on algorithms,Taipei,Dec.16-18,1991:Proc. / Ed.: W. L. Hsu, R. C.T. Lee, 1991. - X,396 p. p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Butler G. Fundamental algorithms for permutation groups / G.Butler, 1991. - XII,238 p. p. - Текст : непосредственный.Herman I. The use of projective geometry in computer graphics / I.Herman, 1992. - 146 p. - Текст : непосредственный.Graph-theoretic concepts in computer science : 17th intern.workshop on graph-theoretic concepts in computer science,Fischbachau,June 17-19,1991Proc. / WG'91, 1992. - VIII,253 p. p. - Текст : непосредственный.Formal techniques in real-time and fault-tolerant systems : 2nd intern.symp.on formal techniques in real-time and fault-tolerant systems,Jan.1992,NijmegenProc. / Ed. J. Vytopil, 1991. - IX,620 p. p. - Текст : непосредственный.Word equations and related topics : 1st intern.workshop on word equations and related topics,Tubingen,Oct.1990Proc. / IWWERT'90, 1992. - 256 p. - Текст : непосредственный.Parallel architectures and languages Europe : 4th intern.PARLE conf.,Paris,June 1992Proc. / PARLE'92, 1992. - XVII,984 p. p. - Текст : непосредственный.Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / сост.ed.by M. Bidoit, сост.ed.by C. Choppy, 1993. - 344 p. - Текст : непосредственный.Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy, 1993. - 501 p. - Текст : непосредственный.Breu R. Algebraic specification techniques in object oriented programming environments / R.Breu, 1991. - 228 p. - Текст : непосредственный.Cheese A. Parallel execution of Parlog / A.Cheese, 1992. - 184 p. - Текст : непосредственный.
Показать все результатыKnapp A. Advanced real analysis : along with a companion volume basic real analysis / A. Knapp, C. Epstein, S. Krantz, 2005 r=on-line.Decreusefond L. Mathematiques informatique physique : au fil des TIPе / L. Decreusefond, A. Maruani, 2005 r=on-lineTrue visions : the emergence of ambient intelligence / ed.: E. Aarts, J. Encarnação, 2006 r=on-line.Bielefeld B. Building projects in China : a manual for architects and engineers / B. Bielefeld, L. P. Rusch, 2006 r=on-line.Horst W. Het herstel van het gewone leven : een handreiking aan alledaagse opvoeders (ouders, onderwijsgevenden, groepsleiding, gezinsverzorgster) in problematische opvoedingssituaties / W. Horst, 2006 r=on-line. - Текст : электронный.Advances in cryptology - CRYPTO - 86 : proceedings / ed. A. M. Odlyzko, 2006 r=on-line.ECOOP - 87 european conference on object-oriented programming : Paris, France, June 15-17, 1987: proceedings / ed. J. Bezivin [et al.], 1987 r=on-line. - Текст : электронный.Prodan R. Grid computing : experiment management, tool integration, and scientific workflows / R. Prodan, T. Fahringer, 2007 r=on-line.Distributed, high-performance and grid computing in computational biology : international Workshop, GCCB 2006, Eilat, Israel, Jan. 21, 2007: proceedings / SpringerLink (Online service), 2007 r=on-line.Engineering self-organising systems : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006: revised and invited papers / ed. S. Brueckner [et al.], 2007 r=on-line.Evolutionary computation in combinatorial optimization : 7th European conf., EvoCOP 2007, Valencia, Spain, Apr. 11-13, 2007: proceedings / ed.: C. Cotta, J. Hemert, 2007 r=on-line.Systems biology and regulatory genomics : joint Annual RECOMB 2005 satellite workshops on systems biology and on regulatory genomics, San Diego, Ca, USA, Dec. 2-4, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Languages and compilers for parallel computing : 18th International workshop, LCPC 2005, Hawthorne, NY, USA, Oct. 20-22, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Ada 2005 reference manual. Language and standard libraries : international Standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / SpringerLink (Online service), 2006 r=on-line.Complex motion : 1st International workshop, IWCM 2004, Gunzburg, Germany, Oct. 12-14, 2004: revised papers / ed. B. Jahne [et al.], 2006 r=on-line.Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, Oct. 1-6, 2006: reports and revised selected papers / ed. T. Kuhne, 2007 r=on-line.Interactive systems. design, specification, and verification : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed.: G. Doherty, A. Blandford, 2007 r=on-line.Multimodal technologies for perception of humans : first International evaluation workshop on classification of events, activities and relationships, CLEAR 2006, Southampton, UK, Apr. 6-7, 2006: revised selected papers / SpringerLink (Online service), 2007 r=on-line.Computational logic in multi-agent systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006: revised selected and ivited papers / ed. K. Inoue [et al.], 2007 r=on-line.New frontiers in artificial intelligence : JSAI 2006 conference and workshops, Tokyo, Japan, June 5-9 2006:revised selected papers / ed. T. Washio [et al.], 2007 r=on-line.
Показать все результатыПрограммные средства системы NCOS. Система NCOS 1. Команды пользователей / ВЦП. - 62 с. - Текст : непосредственный.Системная плата типа JAM-2301. Плата процессора типа 80286 : Руководство пользователя по эксплуатации / ВЦП. - 54 с. - Текст : непосредственный.Электронный координатор модели IQ-7300M : Руководство по эксплуатации / ВЦП. - 165 с. - Текст : непосредственный.Новая важная информация для пользователей Р3202 / ВЦП. - 9 c. - Текст : непосредственный.Познакомьтесь со своим Р3202 / ВЦП. - 19 c. - Текст : непосредственный.GW-БЕЙСИК. Сводка команд / ВЦП. - 16 c. - Текст : непосредственный.Станция сбора и управления обработкой данных PU 9007 : Руководство по эксплуатации 9499 235 01311. Компьютер ПРИНС / ВЦП. - 184 с. - Текст : непосредственный.Система свободного программируемого управления на базе микро-ЭВМ / ВЦП. - 128 c. - Текст : непосредственный.Портативная персональная микроЭВМ типа J-3100. Дисковод для флопци-дисков SFD-503/500Е : Инструкция по эксплуатации фирмы Санко Дэнки / ВЦП. - 30 c. - Текст : непосредственный.МикроЭВМ Base : Руководство пользователя / ВЦП. - 257 с. - Текст : непосредственный.Чилингарян М.Г. Организация вычислительных процессов оптимизации и их аппаратная реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05:05.13.13 / М. Г. Чилингарян, 1991. - 19 с. - Текст : непосредственный.Генис Я.Г. Аналитические методы надежностного проектирования управляющих вычислительных систем для технологических процессов и производств : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01;05.13.13 / Я. Г. Генис, 1991. - 30 с. - Текст : непосредственный.Анишин Н.С. Методология проектирования алгоритмического обеспечения микропроцессорных устройств локальной автоматики.Функциональное преобразование и обработка информации : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.05 / Н. С. Анишин, 1990. - 32 с. - Текст : непосредственный.Лядова Л.Н. Арифметический полиморфизм в исследовании и проектировании алгоритмов управляющих ВС : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Л. Н. Лядова, 1991. - 18 с. - Текст : непосредственный.Кладов В.Е. Реализация общей магистрали и контроля в многопроцессорной управляющей вычислительной системе : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. Е. Кладов, 1991. - 23 с. - Текст : непосредственный.Родина Н.В. Организация параллельных вычислений в распределенных управляющих системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Н. В. Родина, 1991. - 20 с. - Текст : непосредственный.Себто Ю.Г. Исследование и разработка методов и средств проектирования сложных вычислительных комплексов на уровне малоформализованных структурных элементов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Ю. Г. Себто, 1992. - 16 с. - Текст : непосредственный.Токарев Ю.П. Модели и программное обеспечение для исследования вероятностно-временных характеристик радиосетей передачи данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Ю. П. Токарев, 1992. - 19 с. - Текст : непосредственный.Шаров Б.Г. Исследование вопросов формирования интерфейсов при проектировании БИС на базовых матричных кристаллах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Б. Г. Шаров, 1992. - 15 с. - Текст : непосредственный.Ханджян О.А. Основы теории и принципы создания интервальных устройств систем управления и вычислительной техники : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.07:05.13.05 / О. А. Ханджян, 1992. - 32 с. - Текст : непосредственный.
Показать все результатыComputer communications : Architecture,protocols,and standards / ред.compl.by W. Stallings, 1992. - X,342 p. p. - Текст : непосредственный.10th annual international Phoenix conference on computers and communications,March 27-30,1991,Scottsdale(Az) : Proc. / IPCCC, 1991. - XVIII,853 p. p. - Текст : непосредственный.11th annual international Phoenix conference on computers and communications,Apr.1-3,1992,Scottsdale(Az) : Proc. / IPCCC, 1992. - XVI,782 p. p. - Текст : непосредственный.Mathematical modeling and cryptography (PMMC-95) : Pacific International ConferenceAbstract, August 13-20, 1995 / Институт прикладной математики (Владивосток), 1995. - 96 c. - Текст : непосредственный.Конференция Ассоциации научных и учебных организаций-пользователей сетей передачи данных RELARN : 19-20 дек. 1995, Москва, Сб. докл. RELARN'95 / Ассоциация науч. и учебных организаций-пользователей сетей передачи данных. Конф. (1995 ; Москва) , 1995. - 136 c. - Текст : непосредственный.Перспективные технологии в средствах передачи информации : Материалы междунар. науч.-техн. конф. 28-30 июня 1995 г. / Владимир. гос. техн. ун-т, 1995. - 203 с. - Текст : непосредственный.Перспективные технологии в средствах передачи информации : Материалы 2-й междунар.науч.-техн.конф.25-27 июня 1997 г. / Владимирский гос. ун-т, 1997. - 322 с. - Текст : непосредственный.Advances in cryptology : Workshop on the theory and application of cryptographic techniques, Apr. 8-11, 1991, Brighton:Proc. / Ed. D. W. Davies, 1991. - XII, 556 p. 556 p. - Текст : непосредственный.Advances in cryptology : Workshop on the theory and application of cryptographic techniques, May 21-24, 1990, Aarhus:Proc. / ред.ed. I. B. Damgard, 1991. - VIII, 500 p. 500 p. - Текст : непосредственный.Advances in cryptology : Proc.of the Intern. conf. of cryptology, Jan.8-11,1990, Sydney / сост.ed. J. Seberry, сост.ed. J. Pieprzyk, 1990. - IX,462 p. p. - Текст : непосредственный.Digital technology:spanning the universe : IEEE intern.conf.on communications Philadelphia(Pa),June 12-15,1988 / International conference on communications(1988;Philadelphia,Pa). Vol. 1, 1988. - XXX,568 p. p. - Текст : непосредственный.Digital technology:spanning the universe : IEEE intern.conf.on communications Philadelphia(Pa),June 12-15,1988 / International conference on communications(1988;Philadelphia,Pa). Vol. 2, 1988. - XXX,/631/ p. p. - Текст : непосредственный.Digital technology:spanning the universe : IEEE intern.conf.on communications Philadelphia(Pa),June 12-15,1988 / International conference on communications(1988;Philadelphia,Pa). Vol. 3, 1988. - XXX,/582/ p. p. - Текст : непосредственный.Data communications and their performance : Proc.of the 6th IFIP WG6.3 conf.on performance of computer networks, Istanbul,Turkey,1995 / сост.ed. S. Fdida, сост.ed. R. O. Onvural, 1996. - 414 p. - Текст : непосредственный.Терминальное оборудование и системы передачи информации : Науч.-техн. конф., Тез. докл. / Калужский НИИ телемеханических устройств, 1990. - 47 с. - Текст : непосредственный.Труды XXV конференции молодых ученых ИППИ АН СССР / Институт проблем передачи информации (Москва), Конференция молодых ученых(25), 1990. - 49 с. - Текст : непосредственный.Перспективные технологии в средствах передачи информации : ПТСПИ'99:Материалы 3-ей междунар.науч.-техн.конф.(г.Владимир,1-5 июля 1999 г.). Ч. 1, 1999. - 322 с. - Текст : непосредственный.Перспективные технологии в средствах передачи информации : ПТСПИ'99:Материалы 3-ей междунар.науч.-техн.конф.(г.Владимир,1-5 июля 1999 г.). Ч. 2, 1999. - 224 с. - Текст : непосредственный.Computer communication technologies for the 90's : Proc.of the 9th intern. conf. on computer communication, Oct. 30- Nov. 3, 1988, Tel Aviv, Israel / ed. J. Raviv, 1988. - XVI,614 p. p. - Текст : непосредственный.Передача и обработка данных в системах управления и сетях ЭВМ : Тез. докл. науч.-техн. семинара, июнь 1991 г. / Украинский республиканский дом экономической и науч.-технической пропаганды (Киев), 1991. - 71 с. - Текст : непосредственный.
Показать все результатыПросмотр издания