Приложение
для AndroidПолное описание
Eisner, C. A practical introduction to PSL / C. Eisner, D. Fisman ; SpringerLink (Online service). - Boston, Ma : Springer Science + Business Media LLC, 2006. - on-line. - (Series on integrated circuits and systems). - URL: http://dx.doi.org/10.1007/978-0-387-36123-9. - ISBN 978-0-387-36123-9. - Текст : электронный.
| ГРНТИ | УДК | |
| 50.05.09 | 004.432.4 |
Рубрики:
Языки спецификаций
Доп. точки доступа:
Fisman, D.
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-0-387-36123-9
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.432.4/E41-343127)
Шифр в сводном ЭК: 0d10b0b87a019b7497627e9e3e3b8a8b
High-performance energy-efficient microprocessor design / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Chandrakasan A. Adaptive techniques for dynamic processor optimization : theory and practice / A. Chandrakasan, S. Naffziger, A. Wang, 2008 r=on-line. - Текст : электронный.Perre L.V. Green software defined radios : enabling seamless connectivity while saving on hardware and energy / L. V. Perre, A. Dejonghe, J. Craninckx, 2009 r=on-lineWang C. Abstraction refinement for large scale model checking / C. Wang, G. D. Hachtel, F. Somenzi, 2006 r=on-line. - Текст : электронный.Wang A. Sub-threshold design for ultra low-power systems / A. Wang, B. H. Calhoun, A. P. Chandrakasan, 2007 r=on-line. - Текст : электронный.Eisner C. A practical introduction to PSL / C. Eisner, D. Fisman, 2006 r=on-line. - Текст : электронный.Srivastava A. Statistical analysis and optimization for VLSI: timing and power / A. Srivastava, D. Blaauw, D. Sylvester, 2005 r=on-lineNarendra S.G. Leakage in nanometer CMOS technologies / S. G. Narendra, A. Chandrakasan, 2006 r=on-line. - Текст : электронный.Vassighi A. Thermal and power management of integrated circuits / A. Vassighi, M. Sachdev, 2006 r=on-line. - Текст : электронный.Ultra-low voltage nano-scale memories / ed. K. Itoh, 2006 r=on-lineNam G. Modern circuit placement : best practices and results / G. Nam, J. Cong, 2007 r=on-line. - Текст : электронный.Saxena P. Routing congestion in vlsi circuits: estimation and optimization / P. Saxena, S. S. Sapatnekar, R. S. Shelar, 2007 r=on-line. - Текст : электронный.CMOS biotechnology / ed. H. Lee, 2007 r=on-line. - Текст : электронный.mm-wave silicon technology : 60 GHz and beyond / ed. A. M. Niknejad, 2008 r=on-line. - Текст : электронный.Gharpurey R. Ultra wideband : circuits, transceivers and systems / R. Gharpurey, P. Kinget, 2008 r=on-line. - Текст : электронный.Chiang C. Design for manufacturability and yield for nano-scale cmos / C. Chiang, J. Kawa, 2006 r=on-line. - Текст : электронный.Ganai M. SAT-based scalable formal verification solutions / M. Ganai, A. Gupta, 2007 r=on-line. - Текст : электронный.
Greiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный.Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный.Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный.Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line.Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line.Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.
Показать все результатыBASIC, 1992. - 97 с. - Текст : непосредственный.Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный.Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный.Хеслоп Б. НТМL с самого начала / Б. Хеслоп, Л. Бадник, 1997. - 406 с. - Текст : непосредственный.Янг М.Дж. Microsoft Visual C++ 4 для профессионалов / М. Дж. Янг, 1997. - 702 c. - Текст : непосредственный.Емелина Е.И. Основы программирования на языке Паскаль / Е. И. Емелина, 1997. - 207 с. - Текст : непосредственный.Фальк В.Н. Теория направленных отношений и ее приложения : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. Н. Фальк, 2001. - 40 с. - Текст : непосредственный.Панюкова Т.А. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual C++ : выставочные материалы / Т. А. Панюкова, А. В. Панюков, 2013. - 140 с. - Текст : непосредственный.Килов Х.И. Фортран для БЭСМ-4 (МИФ), 1973. - 157 с. - Текст : непосредственный.Любанович Б. Простой Python. Современный стиль программирования : монография / Б. Любанович, 2017. - 476 с. - Текст : непосредственный.Фортран 77 ЕС ЭВМ / З. С. Брич, О. Н. Гулецкая, Д. В. Капилевич, 1989. - 351 с. - Текст : непосредственный.Фаронов В.В. Турбо Паскаль. Практика программирования / В. В. Фаронов, 2001. - 415 с. - Текст : непосредственный.Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный.Грабер М. Введение в SQL / М. Грабер, 2008. - 375 с. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 10, 1993. - 64 с. - Текст : непосредственный.Жешке Р. Толковый словарь стандарта языка Си : монография / Р. Жешке, 1994. - 221 c. - Текст : непосредственный.Ramm F. Microsoft BASIC PDC 7.1 : монография / F. Ramm, 1992. - XX,601 S. S. - Текст : непосредственный.Березин Б.И. Начальный курс С и С++ / Б. И. Березин, С. Б. Березин, 2007. - 288 с. - Текст : непосредственный.Зубков С.В. Assembler для DOS, Windows и UNIX / С. В. Зубков, 2006. - 608 с. - Текст : непосредственный.Фленов М.Е. Библия С # / М. Е. Фленов, 2009. - 547 с. - Текст : непосредственный.
Показать все результатыGroote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.Functional programming languages and computer architecture : материалы временных коллективов / Ed. J. Hughes, 1991. - VIII, 666 p. 666 p. - Текст : непосредственный.Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный.Practical aspects of declarative languages / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Implementation and application of functional languages / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Хмельнов А.Е. Язык FlexT для спецификации бинарных форматов данных : Автореферат диссертации на соискание ученой степени канд.техн.наук: 05.13.11 / А. Е. Хмельнов, 2000. - 17 с. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 6647 : Implementation and application of functional languages : 22nd intern. symp., IFL 2010, Alphen aan den Rijn, Netherlands, Sept. 1-3, 2010 / International symposium on implementation and application (22; 2010; Alphen aan den Rijn), 2011. - X, 217 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 5836 : Implementation and application of functional languages : 20th intern. symp., IFL 2008, Hatfield, UK, Sept. 10-12, 2008 / International symposium on implementation and application of functional languages (20; 2008; Hatfield), 2011. - X, 291 p. - Текст : непосредственный.Implementation and application of functional languages : 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005: revised selected papers / ed. A. Butterfield, 2006 r=on-line. - Текст : электронный.Implementation and application of functional languages : 18th international symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006: revised selected papers / ed. Z. Horvath, 2007 r=on-line. - Текст : электронный.Zwaang M.B.van der Time-stamped actions in pCRL algebras / M.B.van derZwaang, 2000. - 13 p. - Текст : непосредственный.Москвитин А.А. Технология построения языков спецификаций классов задач, ориентированных на пользователей : автореф. дис. .. д-ра физ.-мат. наук: 05.13.11 / А. А. Москвитин, 2004. - 31 с. - Текст : непосредственный.Eisner C. A practical introduction to PSL / C. Eisner, D. Fisman, 2006 r=on-line. - Текст : электронный.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, 2008 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Просмотр издания