Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
- Абонемент. Депозитарий (2)
- Книгохранилище (2)
-
Item types
- Выдается в читальный зал (2)
- 6 месяцев (2)
- 1 месяц (1)
-
Topics
- комбинаторная логика (2)
- языки программирования декларативные (2)
- C#, язык программирования (1)
- EURICA (1)
- Haskell (1)
- Microsoft. NET платформа (1)
- SML-язык (1)
- SNL. (1)
- Интернет-ресурсы (1)
- Лисп (1)
- Пролог (1)
- абстрактные вычислительные машины (1)
- встроенные предикаты (1)
- доказательство свойств программ (1)
- задачи искусственного интеллекта (1)
- инкапсуляция в С# (1)
- информационные сущности-объекты (1)
- каррирование (1)
- классификация языков программирования (1)
- классы объектно-ориентированного подхода (1)
- комбинаторная логика категориальная (1)
- конструирование функций (1)
- ламбда-исчисление (1)
- логическое программирование (1)
- лямбда-выражение (1)
- лямбда-исчисление (1)
- метаязыки программирования (1)
- множества (1)
- наследование в С# (1)
- объектно-ориентированные языки программирования (1)
- объектно-ориентированный подход (1)
- объекты объектно-ориентированного подхода (1)
- определения функций (1)
- оптимизация вычислений (1)
- полформизм в С# (1)
- приемы программирования (1)
- программирование компонентное в Microsoft. NET. (1)
- программирование событийно управляемое в Microsoft. NET. (1)
- программные платформы (1)
- проектирование программных продуктов (1)
- рекурсивные функции (1)
- семантика С# (1)
- семантика языков программирования (1)
- семантическое равенство (1)
- синтаксис (Пролог) (1)
- синтаксис языков программирования (1)
- синтаксический анализ (1)
- синтаксическое равенство (1)
- стратегии вычислений (1)
- структуры данных (1)
- Show more
- Show less