Полное описание
>
Cooperative design, visualization, and engineering : 5th international conference, CDVE 2008 CalviГ , Mallorca, Spain, September 21-25, 2008: proceedings / ed. Y. Luo. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5220). - URL: http://dx.doi.org/10.1007/978-3-540-88011-0. - ISBN 978-3-540-88011-0.
| ГРНТИ | УДК | |
| 50.51 | 658.512.2.011.56(063) |
Рубрики:
Автоматизированные системы проектирования -- Съезды и конференции
Доп. точки доступа:
Luo, Y.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-540-88011-0
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.
Показать все результатыИстория развития и стратегия систем компьютерного обеспечения проектирования (CAD), производства (CAM) и инженерной проработки изделий (САЕ) компании Ниссан Мотор / НАМИ. - 28 с. - Текст : непосредственный.Требования к полю зрения из кабины поезда, использование при конструировании компьютерной графики / ВЦП. - 11 с. - Текст : непосредственный.Режущие изделия изготовляются при автоматизированном производстве с автоматизированным проектированием / ВЦП. - 9 с. - Текст : непосредственный.Суперпроект плюс руководство пользователя и справочное руководство / ВЦП. - Текст : непосредственный.Трудные формы. Технология обработки резанием. Рациональное изготовление деталей сложной формы на различных фрезерных станках с ЧПУ типа CNC / ВЦП. - 12 с. - Текст : непосредственный.Сперанский С.Н. Система программирования концептуальных моделей,ориентированная на задачи проектирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. Н. Сперанский, 1991. - 15 с. - Текст : непосредственный.Протодьяконов А.В. Методы и средства динамического моделирования операционных заготовок в САПР технологических процессов механической обработки : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / А. В. Протодьяконов, 1991. - 16 с. - Текст : непосредственный.Буравкин А.Г. Проекционные задачи геометрического моделирования на базе алгебраических многообразий : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / А. Г. Буравкин, 1991. - 17 с. - Текст : непосредственный.Голубенко В.Е. Разработка методов и программных средств оптимального поиска в базах данных для САПР : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / В. Е. Голубенко, 1991. - 22 с. - Текст : непосредственный.Алексеев С.А. Объектно-ориентированный метод построения информационного обеспечения САПР : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. А. Алексеев, 1991. - 15 с. - Текст : непосредственный.Воронов В.Г. Разработка методов и программного обеспечения синтеза математических моделей динамических объектов при проектировании и исследовании технологического оборудования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / В. Г. Воронов, 1991. - 17 с. - Текст : непосредственный.Мошенский А.В. Сложность поиска экстремумов выпуклых на упорядоченных структурах функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Мошенский, 1991. - 16 с. - Текст : непосредственный.Пришибской А.В. Разработка и исследование алгоритмов,структур и принципов организации систем технической поддержки информационного обеспечения САПР : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12:05.13.13 / А. В. Пришибской, 1991. - 16 с. - Текст : непосредственный.Холковский Ю.Р. Моделирование огибающих поверхностей в процессе интерактивного графического проектирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.01.01 / Ю. Р. Холковский, 1991. - 17 с. - Текст : непосредственный.Дерюгин В.Н. Исследование математических свойств и разработка алгоритмов решения некоторых комбинаторных задач проектирования в научных исследованиях(по отраслям наук) : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. Н. Дерюгин, 1991. - 16 с. - Текст : непосредственный.Анашин Ю.А. Разработка метода выбора экономически эффективной системы автоматизированного проектирования технологических процессов обработки резанием : Автореферат диссертации на соискание ученой степени канд.техн.наук:08.00.28 / Ю. А. Анашин, 1991. - 16 с. - Текст : непосредственный.Каххаров Т. Методы исследования устойчивости и управления объектами логико-динамического класса в системах автоматизированного проектирования : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / Т. Каххаров, 1991. - 40 с. - Текст : непосредственный.Торхов В.Л. Организация и оптимизация баз данных в САПР на основе развития теории характеризационного анализа : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / В. Л. Торхов, 1991. - 31 с. - Текст : непосредственный.Солодовникова Т.А. Разработка лингвистических методов и программных средств автоматизации проектирования программного обеспечения САПР на основе базовых адаптируемых компонентов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Т. А. Солодовникова, 1991. - 19 с. - Текст : непосредственный.Иващенко И.Г. Исследование и разработка структур и процессов в диалоговой системе обработки учетных данных конструкторской и программной документации на базе ЕС ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13;05.25.02 / И. Г. Иващенко, 1991. - 24 с. - Текст : непосредственный.
Показать все результатыDatenverarbeitung in der Konstruktion'90 : Tagung Munchen,24. Oct. 1990 / VDI-Gesellschaft Entwicklung,Konstruktion,Vertrieb. 2 : CAD in Maschinenbau und Fahrzeugtechnik, 1990. - 321 S. - Текст : непосредственный.Datenverarbeitung in der Konstruktion'90 : Tagung Munchen,24. Oct. 1990 / VDI-Gesellschaft Entwicklung,Konstruktion,Vertrieb. 3 : CAD in der Informationstechnik, 1990. - 192 S. - Текст : непосредственный.Datenverarbeitung in der Konstruktion'90 : Tagung Munchen,24. Oct. 1990 / VDI-Gesellschaft Entwicklung,Konstruktion,Vertrieb. 4 : CAD in Elektrotechnik/Elektronik, 1990. - 102 S. - Текст : непосредственный.Datenverarbeitung in der Konstruktion'90 : Tagung Munchen,24. Oct. 1990 / VDI-Gesellschaft Entwicklung,Konstruktion,Vertrieb. 5, 1990. - 142 S. - Текст : непосредственный.European design automation conference,Sept.7-10,1992,Hamburg : Proc. / EURO-VHDL'92, 1992. - XVIII,765 p. p. - Текст : непосредственный.29th ACM/IEEE design automation conference,June 8-12,1992,Anaheim(Ca) : Proc. / Design automation conference (29 ; 1992 ; Anaheim,Ca) , 1992. - XXVI,721 p. p. - Текст : непосредственный.1992 IEEE/ACM international conference on computer-aided design,Nov.8-12,1992,Santa Clara(Ca) : Digest / ICCAD-92, 1992. - XXV,637 p. p. - Текст : непосредственный.EAST-WEST International conference Information technology in design : EWITD'94:Proceedings,Moscow,Russia,5-9 September 1994. Part 1, 1994. - 234 с. - Текст : непосредственный.Methodological foundations of computer aided and computer automated design / International seminar and workshop (1 ; 1993 ; Wroclaw) , 1994. - 222 p. - Текст : непосредственный.Восток-Запад Международная конференция "Информационные технологии в проектировании" : Сб.докл.,Россия,Москва,1-5 июля 1996 г. / "Информационные технологии в проектировании", международная конф. (1996 ; Москва) , 1996. - 400 c. - Текст : непосредственный.Emergent computing methods in engineering design: applications of genetic algorithms and neural networks : Proc.of the NATO advanced research workshop on emergent computing methods in engineering design,held in Nafplio,Aug.26-27,1994 / сост.ed. D. E. Grierson, сост.ed. P. Hajela, 1996. - 350 p. - Текст : непосредственный.IV International Design Automation Workshop. Russian Workshop'94 : June 28-29, 1994, Moscow, RussiaAbstracts of papers submitted to Russian Workshop'94 / International Design Automation Workshop (4 ; 1994 ; Moscow) . - VI,71 c. c. - Текст : непосредственный.International design automation workshop : Russian Workshop'92,June 29-30,MoscowProceedings / International design automation workshop (1992 ; Moscow) , 1993. - 269 p. - Текст : непосредственный.EAST-WEST International conference Information technology in design : EWITD'94:Proceedings,Moscow,Russia,5-9 September 1994. Part 2, 1994. - 280 с. - Текст : непосредственный.Computer-aided cooperative product development : MIT-JSME workshop MIT,Cambridge,Nov. 20/21,1989:Proc. / ed. D. Sricam, 1989. - 395 p. - Текст : непосредственный.Digest of technical papers : IEEE intern. conf. on computer-aided design Nov. 7-10, 1988 Santa Clara(Ca) / ICCAD-88, 1988. - xxii,555 p. p. - Текст : непосредственный.Proceedings of the design automation conference,June 12-15,1988,Anaheim / Design automation conference (25 ; 1988 ; Anaheim) , 1988. - XXI,730 p. p. - Текст : непосредственный.Digest of technical papers, Nov. 9-12,1987, Santa Clara(Ca) / ICCAD-87, 1987. - XXII,545 p. p. - Текст : непосредственный.Международная конференция и школа молодых ученых и специалистов "САПР-92. Новые информационные технологии в науке, образовании и бизнесе", 4-13 мая 1992 года : Тез. докл. / "САПР-92. Новые информ. технологии в науке, образовании и бизнесе", международная конф. и школа молодых ученых и специалистов (1992 ; Воронеж) , 1992. - 259 с. - Текст : непосредственный.CAD/CAM/CAE системы в инновационных проектах : Всерос. науч. конф., 12-14 мая 1998 г.Тез. докл. / Ижевский гос. технический ун-т, 1998. - 52 с. - Текст : непосредственный.
Показать все результатыПросмотр издания