Приложение
для AndroidПолное описание
Logics of specification languages / eds. D. Bjorner, M. Henson. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2008. - (Monographs in theoretical computer science, an eatcs series, ISSN 1431-2654). - URL: http://dx.doi.org/10.1007/978-3-540-74107-7. - ISBN 978-3-540-74107-7.
| ГРНТИ | УДК | |
| 50.05.13 | 004.432.4 |
Рубрики:
Программы для ЭВМ -- Спецификация
Доп. точки доступа:
Bjorner, D.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-540-74107-7
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.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыБухвалова В.В. DROL - язык спецификации для задач вычислительной геометрии : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. В. Бухвалова, 1995. - 15 с. - Текст : непосредственный.Хмельнов А.Е. Язык FlexT для спецификации бинарных форматов данных : Автореферат диссертации на соискание ученой степени канд.техн.наук: 05.13.11 / А. Е. Хмельнов, 2000. - 17 с. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Functional programming languages and computer architecture : Proc. of the 5th ACM conf. .. Aug. 26-30, 1991, Cambridge / Ed. J. Hughes, 1991. - VIII, 666 p. 666 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J.F.Groote,A.Ponse, 1991. - 41 p. - Текст : непосредственный.Теория вычислимости и языки спецификации : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1991. - 192 с. - Текст : непосредственный.Замулин А.В. Algebraic specification language Ruslan 99 / А.В.Замулин, 1999. - 34 p. - Текст : непосредственный.Bate J.St.J. Fourth generation languages under DOS and UNIX / J.St.J.Bate,D.B.Vadhia, 1987. - VI,200 p. p. - Текст : непосредственный.Zwaang M.B.van der Time-stamped actions in pCRL algebras / M.B.van derZwaang, 2000. - 13 p. - Текст : непосредственный.Бакулин А.В. Математическая модель языка спецификации и проектирования программ / А.В.Бакулин, 1991. - 25 с. - Текст : непосредственный.Practical aspects of declarative languages : Second intern. workshop, PADL 2000,Boston(Ma), USA, Jan.17-18 2000Proc. / PADL'00, 2000. - X,323 p. p. - Текст : непосредственный.Implementation of functional languages : 11th intern.workshop, Lochem, Sept.7-10, 1999: Proc. / Ed.: P. Koopman, C. Clack, 2000. - 198 p. - Текст : непосредственный.Технология построения языков спецификаций классов задач, ориентированных на пользователей : автореф. дис. .. д-ра физ.-мат. наук : 05.13.11 / А. А. Москвитин, 2004. - 31 с. - Текст : непосредственный.Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007: proceedings / ed. M. Hanus, 2007 r=on-line.All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic / M. Clavel [et al.], 2007 r=on-line.Implementation and application of functional languages : 19th International workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007: revised selected papers / ed. O. Chitil [et al.], 2008 r=on-line.Practical aspects of declarative languages : 11th international symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009: proceedings / eds. A. Gill, T. Swift, 2009 r=on-line.Logics of specification languages / eds. D. Bjorner, M. Henson, 2008 r=on-line.Practical aspects of declarative languages : 7th Intern. symp., PADL 2005, Long Beach, Ca, USA, Jan. 10-11, 2005: proc. / ed. : D. Cabeza, M. Hermenegildo, 2005 r=on-line.Implementation and application of functional languages : 16th international workshop, IFL 2004 Lubeck, Germany, September 8-10, 2004: revised selected papers / ed. C. Grelck [et al.], 2005 r=on-line.
Показать все результатыПросмотр издания