Przejdź do treści
Library Home
Start Over
Research Databases
E-Journals
Aparaty semestralne
Library Home
Login
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
हिंदी
Հայերէն
Українська
Język
Library Catalog
Wszystkie pola
Tytuł
Autor
Hasło przedmiotowe
Sygnatura
ISBN / ISSN
Szukaj
Wyszukiwanie zaawansowane
|
Przeglądaj
|
Wskazówka do wyszukiwania
Coalgebraic methods in compute...
Cytować
Wyślij wiadomość
Wyślij emailem
Drukuj
Eksportuj rekord
Eksportuj do RefWorks
Eksportuj do EndNoteWeb
Eksportuj do EndNote
Dodaj do listy ulubionych książek
Odnośnik bezpośredni
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.).
Zapisane w:
Opis bibliograficzny
organizacja autorów:
Workshop on Coalgebraic Methods in Computer Science Online
,
ETAPS (Conference)
Kolejni autorzy:
Petrişan, Daniela
,
Rot, Jurriaan
Format:
E-book
Język:
English
Wydane:
Cham, Swizterland :
Springer,
2020.
Seria:
Lecture notes in computer science ;
12094.
LNCS sublibrary. Theoretical computer science and general issues.
Hasła przedmiotowe:
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.
Dostęp online:
Click for online access
Egzemplarz
Opis
Spis treści
Podobne zapisy
Wersja MARC
Podobne zapisy
Mathematical analysis and computing : ICMAC 2019, Kalavakkam, India, December 23-24
Wydane: (2021)
Optimization and applications : 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings
Wydane: (2020)
Discrete mathematics and applications
Wydane: (2020)
Optimal coverage in wireless sensor networks
od: Wu, Weili, i wsp.
Wydane: (2020)
Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations
od: Gómez Ramírez, Danny A. J.
Wydane: (2020)
Computational mathematics and applications
Wydane: (2020)
Mathematical optimization theory and operations research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings
Wydane: (2020)
Combinatorics, graph theory and computing : SEICCGTC 2020, Boca Raton, USA, March 9-13
Wydane: (2022)
Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020 : proceedings. Part II
Wydane: (2020)
Exercises in numerical linear algebra and matrix factorizations
od: Lyche, Tom, i wsp.
Wydane: (2020)
Advances on links between mathematics and industry : CTMI 2019
Wydane: (2021)
First-order and stochastic optimization methods for machine learning
od: Lan, Guanghui, 1976-
Wydane: (2020)
Computational and analytic methods in science and engineering
Wydane: (2020)
Mathematical analysis of continuum mechanics and industrial applications III : proceedings of the International Conference CoMFoS18
Wydane: (2020)
Differential geometry and lie groups : a second course
od: Gallier, Jean H.
Wydane: (2020)
Advances in Trefftz methods and their applications
Wydane: (2020)
Modeling Decisions for Artificial Intelligence : 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings
Wydane: (2020)
First course in statistical inference
od: Gillard, Jonathan
Wydane: (2020)
Soft somputing and optimization : SCOTA 2021, Ranchi, India, March 26-27
Wydane: (2023)
Intelligent computer mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Wydane: (2020)
Advances in data science
Wydane: (2021)
Domain decomposition methods in science and engineering XXV
Wydane: (2020)
Parallel problem solving from sature -- PPSN XVI : 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings. Part I
Wydane: (2020)
Parallel finite volume computation on general meshes
od: Vassilevski, Yuri, 1967-, i wsp.
Wydane: (2020)
Analytical methods in statistics : AMISTAT, Liberec, Czech Republic, September 2019
Wydane: (2020)
Deterministic global optimization : an introduction to the diagonal approach
od: Sergeyev, Yaroslav D., 1963-, i wsp.
Wydane: (2017)
A compact course on linear PDEs
od: Valli, A. (Alberto), 1953-
Wydane: (2020)
Landscape of 21st century mathematics : selected advances, 2001-2020
od: Grechuk, Bogdan
Wydane: (2021)
Mathematical modelling in real life problems : case studies from ECMI-Modelling Weeks
Wydane: (2020)
Smooth manifolds and observables
od: Nestruev, Jet
Wydane: (2020)
Parallel algorithms in computational science and engineering
Wydane: (2020)
Parallel Problem Solving from Nature -- PPSN XVI : 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings. Part II
Wydane: (2020)
Topological methods in data analysis and visualization. V : theory, algorithms, and applications
Wydane: (2020)
Methods of mathematical oncology : Fusion of Mathematics and Biology, Osaka, Japan, October 26-28, 2020
Wydane: (2021)
Principles and practice of constraint programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings
Wydane: (2020)
Advancements in complex analysis : from theory to practice
Wydane: (2020)
From analysis to visualization : a celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 2017
Wydane: (2020)
Combinatorial optimization : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4-6, 2020, Revised selected papers
Wydane: (2020)
Computational Science -- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings. Part VI
Wydane: (2020)
Computational science -- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings. Part II
Wydane: (2020)
Poprzedni
Następna
Podobne zapisy
Mathematical analysis and computing : ICMAC 2019, Kalavakkam, India, December 23-24
Wydane: (2021)
Optimization and applications : 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings
Wydane: (2020)
Discrete mathematics and applications
Wydane: (2020)
Optimal coverage in wireless sensor networks
od: Wu, Weili, i wsp.
Wydane: (2020)
Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations
od: Gómez Ramírez, Danny A. J.
Wydane: (2020)