Пропуск в контексте
Library Home
Start Over
Research Databases
E-Journals
Бронь курса
Library Home
Логин
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Язык
Library Catalog
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Найти
Расширенный поиск
|
Просмотр
|
Советы для поиска
Coalgebraic methods in compute...
Цитировать
Отправить по sms
Отправить на Email
Печать
Запись для экспорта
Экспорт в RefWorks
Экспорт в EndNoteWeb
Экспорт в EndNote
Добавить в Избранное
Постоянная ссылка
Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings / Daniela Petrişan, Jurriaan Rot (eds.).
Сохранить в:
Библиографические подробности
Корпоративные авторы:
Workshop on Coalgebraic Methods in Computer Science Online
,
ETAPS (Conference)
Другие авторы:
Petrişan, Daniela
,
Rot, Jurriaan
Формат:
eКнига
Язык:
English
Опубликовано:
Cham, Swizterland :
Springer,
2020.
Серии:
Lecture notes in computer science ;
12094.
LNCS sublibrary. Theoretical computer science and general issues.
Предметы:
Computer science
>
Mathematics
>
Congresses.
Computer software
>
Mathematics
>
Congresses.
Mathematical theory of computation.
Artificial intelligence.
Computers
>
Programming
>
Algorithms.
Computers
>
Intelligence (AI) & Semantics.
Mathematics
>
Logic.
Matemáticas discretas
Matemáticas
Computer science
>
Mathematics
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online-ссылка:
Click for online access
Фонды
Описание
Оглавление
Схожие документы
Marc-запись
Схожие документы
Mathematical analysis and computing : ICMAC 2019, Kalavakkam, India, December 23-24
Опубликовано: (2021)
Optimization and applications : 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings
Опубликовано: (2020)
Discrete mathematics and applications
Опубликовано: (2020)
Optimal coverage in wireless sensor networks
по: Wu, Weili, и др.
Опубликовано: (2020)
Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations
по: Gómez Ramírez, Danny A. J.
Опубликовано: (2020)
Computational mathematics and applications
Опубликовано: (2020)
Mathematical optimization theory and operations research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings
Опубликовано: (2020)
Combinatorics, graph theory and computing : SEICCGTC 2020, Boca Raton, USA, March 9-13
Опубликовано: (2022)
Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020 : proceedings. Part II
Опубликовано: (2020)
Exercises in numerical linear algebra and matrix factorizations
по: Lyche, Tom, и др.
Опубликовано: (2020)
Advances on links between mathematics and industry : CTMI 2019
Опубликовано: (2021)
First-order and stochastic optimization methods for machine learning
по: Lan, Guanghui, 1976-
Опубликовано: (2020)
Computational and analytic methods in science and engineering
Опубликовано: (2020)
Mathematical analysis of continuum mechanics and industrial applications III : proceedings of the International Conference CoMFoS18
Опубликовано: (2020)
Differential geometry and lie groups : a second course
по: Gallier, Jean H.
Опубликовано: (2020)
Advances in Trefftz methods and their applications
Опубликовано: (2020)
Modeling Decisions for Artificial Intelligence : 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings
Опубликовано: (2020)
First course in statistical inference
по: Gillard, Jonathan
Опубликовано: (2020)
Soft somputing and optimization : SCOTA 2021, Ranchi, India, March 26-27
Опубликовано: (2023)
Intelligent computer mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Опубликовано: (2020)
Domain decomposition methods in science and engineering XXV
Опубликовано: (2020)
Advances in data science
Опубликовано: (2021)
Parallel problem solving from sature -- PPSN XVI : 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings. Part I
Опубликовано: (2020)
Parallel finite volume computation on general meshes
по: Vassilevski, Yuri, 1967-, и др.
Опубликовано: (2020)
Analytical methods in statistics : AMISTAT, Liberec, Czech Republic, September 2019
Опубликовано: (2020)
Deterministic global optimization : an introduction to the diagonal approach
по: Sergeyev, Yaroslav D., 1963-, и др.
Опубликовано: (2017)
A compact course on linear PDEs
по: Valli, A. (Alberto), 1953-
Опубликовано: (2020)
Landscape of 21st century mathematics : selected advances, 2001-2020
по: Grechuk, Bogdan
Опубликовано: (2021)
Mathematical modelling in real life problems : case studies from ECMI-Modelling Weeks
Опубликовано: (2020)
Smooth manifolds and observables
по: Nestruev, Jet
Опубликовано: (2020)
Parallel algorithms in computational science and engineering
Опубликовано: (2020)
Parallel Problem Solving from Nature -- PPSN XVI : 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings. Part II
Опубликовано: (2020)
Topological methods in data analysis and visualization. V : theory, algorithms, and applications
Опубликовано: (2020)
Methods of mathematical oncology : Fusion of Mathematics and Biology, Osaka, Japan, October 26-28, 2020
Опубликовано: (2021)
Principles and practice of constraint programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings
Опубликовано: (2020)
Advancements in complex analysis : from theory to practice
Опубликовано: (2020)
From analysis to visualization : a celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 2017
Опубликовано: (2020)
Combinatorial optimization : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4-6, 2020, Revised selected papers
Опубликовано: (2020)
Computational Science -- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings. Part VI
Опубликовано: (2020)
Computational science -- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings. Part II
Опубликовано: (2020)
Пред.
Следующий
Схожие документы
Mathematical analysis and computing : ICMAC 2019, Kalavakkam, India, December 23-24
Опубликовано: (2021)
Optimization and applications : 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings
Опубликовано: (2020)
Discrete mathematics and applications
Опубликовано: (2020)
Optimal coverage in wireless sensor networks
по: Wu, Weili, и др.
Опубликовано: (2020)
Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations
по: Gómez Ramírez, Danny A. J.
Опубликовано: (2020)