Полное описание
>
Frontiers in algorithmics : second Annual international workshop, FAW 2008, Changsha, China, June 19-21, 2008: proceeedings / ed. F. Preparata [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5059). - URL: http://dx.doi.org/10.1007/978-3-540-69311-6. - ISBN 978-3-540-69311-6.
| ГРНТИ | УДК | |
| 28.25.23 | 004.421(062) |
Рубрики:
Алгоритмы -- Съезды и конференции
Доп. точки доступа:
Preparata, F.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-540-69311-6
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.
Показать все результатыСветло-темная структура интерференционных линий Косселя и анализ кристаллической структуры /II/ / ТПП УССР. - 37 c. - Текст : непосредственный.Иванова Е.А. Синтез корректных алгоритмов типа вычисления оценок : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Е. А. Иванова, 1991. - 15 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Мох'д Гассан Изеддин Абаза.Модели и методы поиска оптимальных программных реализаций простых зацикленных алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Мох'д Гассан Изеддин Абаза, 1995. - 15 с. - Текст : непосредственный.Осетрова Т.А. Алгоритмы исключения неизвестных, основанные на теории многомерных вычетов, и их компьютерная реализация : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Т. А. Осетрова, 1996. - 13 с. - Текст : непосредственный.Евневич Е.Л. Автоматизация выбора и синтеза комбинированных алгоритмов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Е. Л. Евневич, 1996. - 14 с. - Текст : непосредственный.Карасева Л.Э. Теоремы существования статических алгоритмов группового тестирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Л. Э. Карасева, 1997. - 15 с. - Текст : непосредственный.Мамаев В.В. Построение корректных моделей алгоритмов ограниченной емкости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / В. В. Мамаев, 1998. - 16 с. - Текст : непосредственный.Васильев Н.П. Разработка и исследование алгоритмов хэширования и генерации псевдослучайных последовательностей : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Н. П. Васильев, 1998. - 20 с. - Текст : непосредственный.Ермолаева Е.К. Разработка адаптивной экспертной системы сравнительного анализа алгоритмов и программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Е. К. Ермолаева, 2000. - 28 с. - Текст : непосредственный.Дудов М.Х. Эффективные алгоритмы на кодированных графах и их применение : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.16 / М. Х. Дудов, 1999. - 15 с. - Текст : непосредственный.Исаев С.А. Разработка и исследование генетических алгоритмов для принятия решений на основе многокритериальных нелинейных моделей : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.17 / С. А. Исаев, 2000. - 19 с. - Текст : непосредственный.Минаков И.А. Разработка инструментальных средств для исследования и конструирования генетических алгоритмов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / И. А. Минаков, 2000. - 16 с. - Текст : непосредственный.Минкин Ю.И. Построение, исследование и применение конкурентного самоорганизующегося генетического алгоритма : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / Ю. И. Минкин, 2000. - 19 с. - Текст : непосредственный.Матвиенко Н.И. Разработка принципов построения генетических алгоритмов и вычислительных систем для их реализации : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.15 / Н. И. Матвиенко, 2001. - 16 с. - Текст : непосредственный.Никитин Ю.Б. Сложность алгоритмов сортировки на частично упорядоченных множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.09 / Ю. Б. Никитин, 2001. - 13 с. - Текст : непосредственный.Морозенко В.В. Самокорректирующиеся алгоритмы для задач сортировки и поиска : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Морозенко, 1990. - 8 с. - Текст : непосредственный.Пономарев И.М. Разработка и исследование методов синтеза параллельных алгоритмов для многопроцессорных систем со структурно-процедурной организацией вычислений : автореф. дис. .. канд. техн. наук : 05.13.11 / И. М. Пономарев, 2003. - 16 с. - Текст : непосредственный.Баханович С.В. Методы пространственно-временного отображения алгоритмов с однородными и аффинными зависимостями : автореф. дис. .. канд. физ.-мат. наук : 01.01.07 / С. В. Баханович, 2003. - 21 с. - Текст : непосредственный.Computer Languages. - Журнал.
Показать все результатыInternational workshop on combinations of genetic algorithms and neural networks,June 6,1992,Baltimore(Md) / COGANN-92, 1992. - VIII,265 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. - Текст : непосредственный.Algorithms and computation : 5th intern.symp.,ISAAC'94,Beijing,P.R.China,Aug.25-27 1994:Proc. / ISAAC'94, 1994. - XIII,688 p. p. - Текст : непосредственный.Algorithms and computation : 4th intern.symp.,ISAAC'93,Hong Kong,Dec.15-17 1993.Proc. / ISAAC'93, 1993. - XIII,542 p. p. - Текст : непосредственный.Непрерывнологические системы, модели и алгоритмы, 1995. - 71 с. - Текст : непосредственный.Algorithms : Proc. of the Intern. symp. SIGAL'90, Aug.1990, Tokyo / сост.ed. T. Asano, 1990. - 478 p. - Текст : непосредственный.Distributed algorithms : 4th intern. workshop,Bari, 24-26, 1990: Proc. / Ed.: J. van Leeuwen, N. Santoro, 1991. - VI,431 p. p. - Текст : непосредственный.Algorithms and data structures : 2nd Workshop,WADS'91, Ottawa, Canada, Aug. 14-16, 1991:Proc. / WADS'91, 1991. - 10, 496 p. 496 p. - Текст : непосредственный.Distributed algorithms : 3rd intern.workshop Nice, Sept.26-28, 1989Proc. / ed. J. -C. Bermond, ed. M. Raynal, 1989. - VI,314 p. p. - Текст : непосредственный.Optimal algorithms : Intern. symp.Varna, May 29-June 2, 1989Proc. / ed. H. Djidjev, 1989. - VI,308 p. p. - Текст : непосредственный.Parallel and distributed algorithms : Proc.of the Intern.workshop on parall. & distributed algorithms, Chateau de Bonas, France 3-6 Oct., 1988 / M.Cosnard и др., 1989. - XIV,343 p. p. - Текст : непосредственный.Foundations of data organization an algorithms : 3rd intern.conf., FODO 1989 Paris, June 21-23, 1989Proc. / Institut national de recherche en informatique et en automatique (Le Chesnay Cedex), 1989. - VIII,531 p. p. - Текст : непосредственный.Algorithms and data structures : Workshop WADS'89, Ottawa, Aug.17-19, 1989Proc. / сост.ed. F. Dehne, 1989. - IX,590 p. p. - Текст : непосредственный.Algorithms and computation : 10th Intern. symp.,ISAAC'99,Chennai,India,Dec.16-18,1999Proc. / ISAAC'99, 1999. - XIII,448 p. p. - Текст : непосредственный.Tools and algorithms for the construction and analysis of systems : 6th Intern.conf.on tools and algorithms for the construction and analysis of systems, Berlin, Mar.27-31, 2000: Proc. / TACAS 2000, 2000. - XIV,552 p. p. - Текст : непосредственный.Adaptive and natural computing algorithms : 8th International conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007: proceedings, part 1 / ed. B. Beliczynski [et al.], 2007 r=on-line.Adaptive and natural computing algorithms : 8th International conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007: proceedings, part 2 / ed. B. Beliczynski [et al.], 2007 r=on-line.Theory and applications of models of computation : 4th International conference, TAMC 2007, Shanghai, China, May 22-25, 2007: proceedings / ed. J. Cai [et al.], 2007 r=on-line.Algorithmic aspects in information and management : 4th International conference, AAIM 2008, Shanghai, China, June 23-25, 2008: proceedings / ed.: R. Fleischer, J. Xu, 2008 r=on-line.Frontiers in algorithmics : second Annual international workshop, FAW 2008, Changsha, China, June 19-21, 2008: proceeedings / ed. F. Preparata [et al.], 2008 r=on-line.
Показать все результатыПросмотр издания