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

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 Petrişan, Jurriaan Rot (eds.).

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο:	Workshop on Coalgebraic Methods in Computer Science Online, ETAPS (Conference)
Άλλοι συγγραφείς:	Petrişan, Daniela, Rot, Jurriaan
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	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. Matemáticas discretas Matemáticas Computer science > Mathematics proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Διαθέσιμο Online:	Click for online access

Παρόμοια τεκμήρια

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
ανά: Gómez Ramí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)

Advances in data science
Έκδοση: (2021)

Domain decomposition methods in science and engineering XXV
Έκδοση: (2020)

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)