Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings

Bibliografiske detaljer
Andre forfattere:	Baader F. Franz (редактор)
Sprog:	engelsk
Udgivet:	Berlin, Springer-Verlag, 2003
Fag:	программирование математика математическое программирование теория конференции английский язык
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=141189

Lignende værker

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Udgivet: (2024)

The Logical Deduction of Chinese Traditional Political Philosophy
af: Zhang, Shiwei
Udgivet: (2022)

Topology Deduction and Control for Dual-Active-Bridge Converters
af: Xu, Guo, et al.
Udgivet: (2024)

Care-Based Reasoning Research and Development: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, july 30-august 2, 2001 Proceedings
Udgivet: (Berlin, Springer-Verlag, 2001)

Implementation and Application of Automata: 7th. International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
Udgivet: (Berlin, Springer-Verlag, 2003)

Miami’s Forgotten Cubans Race, Racialization, and the Miami Afro-Cuban Experience /
af: Aja, Alan A.
Udgivet: (2016)

The Beach of Fales?
af: Robert L. S.
Udgivet: (Санкт-Петербург, Лань, 2013)

Beaches and Coastal Geology
Udgivet: (Berlin, Springer Berlin Heidelberg, 1982)

Evening on Calais Beach
af: William W.
Udgivet: (Санкт-Петербург, Лань, 2013)

Вып. 19; Кибернетический сборник. Новая Серия
Udgivet: (1983)

My Garden — like the Beach
af: Emily E. D.
Udgivet: (Санкт-Петербург, Лань, 2013)

Excel 2003: самый популярный табличный процессор
af: Зелинский С. Сергей
Udgivet: (СПб., Питер, 2004)

Writing the Australian Beach Local Site, Global Idea /
Udgivet: (2020)

Condensed Matter Nuclear Science: Proceedings of The 10-th. International Conference on Cold Fusion, Cambridge, Massachusetts, USA, 24-29 August 2003
Udgivet: (New Jersey, World Scientific, 2006)

Управление проектами в Microsoft Project 2003
af: Богданов В. В. Вадим Валерьевич
Udgivet: (Санкт-Петербург, Питер, 2006)

Word 2003 для "чайников": пер. с англ.
af: Гукин Д. Дэн
Udgivet: (Москва, Диалектика, 2008)

Выполнение заданий в 19 версии программы AUTODESK INVENTOR PROFESSIONAL учебно-методическое пособие
af: Михайлова С. Н.
Udgivet: (Казань, КНИТУ, 2019)

Access 2003. Практическая разработка баз данных: учебный курс
af: Сеннов А. С. Андрей
Udgivet: (СПб., Питер, 2006)

Community Nutrition Resilience in Greater Miami Feeding Communities in the Face of Climate Change /
af: Alesso-Bendisch, Franziska
Udgivet: (2020)

19 смертных грехов, угрожающих безопасности программ. Как не допустить типичных ошибок
af: Ховард М.
Udgivet: (Москва, ДМК Пресс, 2009)

Microsoft Office Excel 2003: учебный курс
af: Кузьмин В. Владислав
Udgivet: (СПб., Питер, 2004)

Теория игр и исследование операций. Ч. 2 конспект лекций
af: Кайдалова Л. В.
Udgivet: (Самара, СамГУПС, 2014)

Основы теории оптимизации: учебное пособие
af: Ногин В. Д. Владимир Дмитриевич
Udgivet: (Москва, Высшая школа, 1986)

Математическое программирование в примерах и задачах
af: Акулич И. Л.
Udgivet: (Санкт-Петербург, Лань, 2022)

Методы оптимальных решений
af: Шелехова Л. В.
Udgivet: (Санкт-Петербург, Лань, 2022)

Математическое программирование учебное пособие
af: Ржевский С. В.
Udgivet: (Санкт-Петербург, Лань, 2022)

Весовые методы в математическом программировании
af: Тухватов М. Б. Миндигали Бадретдинович
Udgivet: (Ташкент, Фан, 1981)

Application of the STEM Method in the Multi-Criteria Task of Linear Programming in the Designt of a Cloud Technology Development Strategy; International Russian Automation Conference, RusAutoCon 2020
af: Razumnikov S. V. Sergey Viktorovich
Udgivet: (2020)

Высшая математика. Математическое программирование: учебник
af: Кузнецов А. В. Альберт Васильевич
Udgivet: (СПб., Лань, 2010)

Высшая математика. Математическое программирование: учебник
af: Кузнецов А. В. Альберт Васильевич
Udgivet: (СПб., Лань, 2013)

High-Tech Fibrous Materials : Composites, Biomedical Materials, Protective Clothing, and Geotextiles: Developed from a symposium sponsored by the Cellulose, Paper, and Textile Division of the American Chemical Society at the 198th National Meeting, Miami Beach, Florida, September 10-15, 1989
af: Vigo T. L. Tyrone L.
Udgivet: (Washington, American Chemical Society, 1991)

Высшая математика. Математическое программирование: учебник для вузов
af: Кузнецов А. В. Альберт Васильевич
Udgivet: (Минск, Вышэйшая школа, 1994)

Экстремальные модели в экономике
af: Юдин Д. Б. Давид Беркович
Udgivet: (Москва, Экономика, 1979)

Программирование на языке С++: практический курс учебное пособие для спо
af: Огнева М. В. Марина Валентиновна
Udgivet: (Москва, Юрайт, 2022)

Программирование на языке С++: практический курс учебник для спо
af: Огнева М. В. Марина Валентиновна
Udgivet: (Москва, Юрайт, 2026)

Программирование на языке С++: практический курс учебное пособие для спо
af: Огнева М. В. Марина Валентиновна
Udgivet: (Москва, Юрайт, 2023)

Программирование на языке С++: практический курс учебное пособие для спо
af: Огнева М. В. Марина Валентиновна
Udgivet: (Москва, Юрайт, 2024)

Программирование на языке С++: практический курс учебное пособие для спо
af: Огнева М. В. Марина Валентиновна
Udgivet: (Москва, Юрайт, 2024)

Программирование на языке С++: практический курс учебник для спо
af: Огнева М. В. Марина Валентиновна
Udgivet: (Москва, Юрайт, 2025)

Программирование на VBA в MS Excel учебник для спо
af: Лебедев В. М. Виктор Михайлович
Udgivet: (Москва, Юрайт, 2026)