Полное описание
>
Programming languages and systems : third asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005: proceedings / ed. K. Yi. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag , 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3780). - URL: http://dx.doi.org/10.1007/11575467. - ISBN 978-3-540-32247-4.
| ГРНТИ | УДК | |
| 50.05.09 | 004.43(062) | |
| 50.41 | 004.4(063) |
Рубрики:
Программирования языки -- Съезды и конференции
Программное обеспечение ЭВМ -- Съезды и конференции
Доп. точки доступа:
Yi, K.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/11575467
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. - Текст : непосредственный.
Показать все результатыVerification of object-oriented software. The KeY approach : foreword by K. Rustan M. Leino / ed. B. Beckert [et al.], 2006 r=on-line.Medical image computing and computer-assisted intervention вђ“ MICCAI 2007 : 10th International conference, Brisbane, Australia, October 29 - November 2, 2007: proceedings, part 2 / ed. N. Ayache [et al.], 2007 r=on-line.Mobile response : first International workshop on mobile information technology for emergency response, mobile response 2007, Sankt Augustin, Germany, February 22-23, 2007: revised selected papers / SpringerLink (Online service), 2008 r=on-line.Computational science - ICCS 2008 : 8th International conference, KrakГіw, Poland, June 23-25, 2008: proceedings, part 2 / ed. M. Bubak [et al.], 2008 r=on-line.Computational science - ICCS 2008 : 8th International conference, KrakГіw, Poland, June 23-25, 2008: proceedings, part 3 / ed. M. Bubak [et al.], 2008 r=on-line.Computational science and its applications - ICCSA 2008 : international conference, Perugia, Italy, June 30– July 3, 2008: proceedings, part 2 / ed. O. Gervasi [et al.], 2008 r=on-line.On the move to meaningful internet systems: OTM 2008 : OTM 2008 confederated International conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008: proceedings, part 2 / ed.: R. Meersman, Z. Tari, 2008 r=on-line.Image and video encryption : from digital rights management to secured personal communication / SpringerLink (Online service), 2005 r=on-line.Worzel B. Genetic programming theory and practice vi / B. Worzel, R. Riolo, T. Soule, 2009 r=on-line.Gerdjikov V. Integrable hamiltonian hierarchies : spectral and geometric methods / V. S. Gerdikov [et al.], 2008 r=on-lineKnowledge-based intelligent information and engineering systems : 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005: proceedings. Part 3 / ed. R. Khosla [et al.], 2005 r=on-line.Service availability : second international service availability symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005: revised selected papers / ed. M. Malek [et al.], 2005 r=on-line. - Текст : электронный.Information retrieval technology : second asia information retrieval symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005: proceedings / ed. G. Lee [et al.], 2005 r=on-line.Programming languages and systems : third asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005: proceedings / ed. K. Yi, 2005 r=on-line.ECOOP'87 - European conference on object-oriented programming : Paris, France, June 15-17, 1987 : proceedings / ed. J. BГ©zivin [et al.], 2006 r=on-lineAdvances in multimedia modeling : 13th international multimedia modeling conference, MMM 2007, Singapore, January 9-12, 2007 : proceedings : part 2 / eds. T. Cham [et al.], 2006 r=on-line.Complex motion : first international workshop, IWCM 2004, GГјnzburg, Germany, October 12-14, 2004 : revised papers / eds. B. Jahne [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.Public key cryptography вђ“ pkc 2007 : 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings / ed. T. Okamoto, 2007 r=on-line.Computational science - ICCS 2007 : 7th international conference, Beijing, China, May 27 - 30, 2007 : proceedings : part 2 / ed. Y. Shi [et al.], 2007 r=on-line.
Показать все результатыПрограммное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Взгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.
Показать все результатыFifteenth annual international computer software & applications conference,held in Tokyo,Sept.11-13,1991 : Proc. / COMPSAC 91, 1991. - XXI,730 p. p. - Текст : непосредственный.seventh knowledge-based software engineering conference,Sept.20-23 1992,McLean(Va.) : Proc. / KBSE'92, 1992. - IX,259 p. p. - Текст : непосредственный. Conference on software maintenance,1990,Nov.26-29,San Diego(Ca) : Proc. / CSM-90, 1990. - XII,362 p. p. - Текст : непосредственный.1992 IEEE workshop on visual languages,Sept.15-18,1992,Seattle : Proc. / Workshop on visual languages (1992 ; Seattle,Wa) , 1992. - X,276 p. p. - Текст : непосредственный.Proceedings of the 1990 IEEE workshop on visual languages,Oct.4-6,1990,Skokie(Il) / Workshop on visual languages (1990 ; Skokie,Il.) , 1990. - IX,247 p. p. - Текст : непосредственный.Sixth annual knowledge-based software engineering conference,Sept.22-25,1991,Syracuse(NY) : Proc. / KBSE-91, 1991. - IX,245 p. p. - Текст : непосредственный.Conference on software maintenance 1991,Oct.15-17,1991,Sorrento : Proc. / Conference on software maintenance (1991 ; Sorrento) , 1991. - XI,276 p. p. - Текст : непосредственный.16th annual international computer software & applications conference,Sept.21-25,1992,Chicago(Il) / COMPSAC'92, 1992. - XVI,388 p. p. - Текст : непосредственный. 13th international conference on software engineering,May 13-16,1991,Austin(Tx) : Proc. / International conference on software engineering (13 ; 1991 ; Austin,Tx) , 1991. - XIII,359 p. p. - Текст : непосредственный.Proceedings of the IEEE international symposium on requirements engineering,Jan.4-6,1993,San Diego(Ca) / RE'93, 1991. - XII,286 p. p. - Текст : непосредственный.Conference on software maintenance,Nov.9-12,1992,Orlando(Fl) : Proc. / CSM-92, 1992. - XVI,389p. - Текст : непосредственный.Proceedings,Oct.1991,Milan / ESEC'91, 1991. - XII,515 p. p. - Текст : непосредственный.Proceedings of the 5th international software process workshop ..,Kennebunkport,Oct.10-13,1989 / International software process workshop (5 ; 1989 ; Kennebunkport) , 1990. - 187 p. - Текст : непосредственный.Automata,languages and programming : 21st intern.colloquium,ICALP'94,Jerusalem,July 11-14 1994:Proc. / ICALP'94, 1994. - XIII,644 p. p. - Текст : непосредственный.Programming language implementation and logic programming : 6th intern.symp.,PLILP'94,Madrid,Sept.14-16 1994:Proc. / PLILP'94, 1994. - XII,468 p. p. - Текст : непосредственный.Theoretical aspects of computer software : Intern.symp.,TACS,94,Sendai,Japan,Apr.19-22 1994:Proc. / TACS,94, 1994. - XI,885 p. p. - Текст : непосредственный.Languages,compilers and run-time systems for scalable computers : Papers presented at the 3rd workshop on languages,compilers and run-time systems.. New York,May 1995 / ed.: B. Szymanski, B. Sinharoy, 1996. - XVIII,335 p. p. - Текст : непосредственный.Международная конференция-выставка по свободному системному и прикладному программному обеспечению в среде OC UNIX : Тез. докл., 19-23 апр. 1993, Москва / Международная конф.-выставка по свободному системному и прикладному программному обеспечению в среде OC UNIX (1993 ; Москва) , 1993. - 119 с. - Текст : непосредственный.Papers from fourth symposium,held in Oct.1996 in San Francisco(Ca) / FSE-4, 1998. - 497-584 p. p. - Текст : непосредственный.twelfth annual international computer software and applications conference : Proc., Chicago(Il), 5-7 Oct.1988 / COMPSAC 88, 1988. - xv,531 p. p. - Текст : непосредственный.
Показать все результатыПросмотр издания