Léim chuig an ábhar
Library Home
Start Over
Research Databases
E-Journals
Áirithintí cúrsa
Library Home
Logáil isteach
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
हिंदी
Հայերէն
Українська
Teanga
Library Catalog
Gach réimse
Teideal
Údar
Ábhar
Gairmuimhir
ISBN/ISSN
AIMSIGH
Cuardach Casta
|
Brabhsáil
|
Leideanna cuardaigh
Coalgebraic methods in compute...
Luaigh é seo
Seol mar théacs é seo
Seol é seo mar r-phost
Priontáil
Easpórtáil taifead
Easpórtáil chuig RefWorks
Easpórtáil chuig EndNoteWeb
Easpórtáil chuig EndNote
Cuir le mo chuid Ceanán
Buan-nasc
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.).
Sábháilte in:
Sonraí bibleagrafaíochta
Údair chorparáideacha:
Workshop on Coalgebraic Methods in Computer Science Online
,
ETAPS (Conference)
Rannpháirtithe:
Petrişan, Daniela
,
Rot, Jurriaan
Formáid:
Ríomhleabhar
Teanga:
English
Foilsithe / Cruthaithe:
Cham, Swizterland :
Springer,
2020.
Sraith:
Lecture notes in computer science ;
12094.
LNCS sublibrary. Theoretical computer science and general issues.
Ábhair:
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.
Rochtain ar líne:
Click for online access
Stoc
Cur síos
Clár na nÁbhar
Míreanna comhchosúla
Amharc foirne
Míreanna comhchosúla
Mathematical analysis and computing : ICMAC 2019, Kalavakkam, India, December 23-24
Foilsithe / Cruthaithe: (2021)
Optimization and applications : 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings
Foilsithe / Cruthaithe: (2020)
Discrete mathematics and applications
Foilsithe / Cruthaithe: (2020)
Optimal coverage in wireless sensor networks
de réir: Wu, Weili, et al.
Foilsithe / Cruthaithe: (2020)
Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations
de réir: Gómez Ramírez, Danny A. J.
Foilsithe / Cruthaithe: (2020)
Computational mathematics and applications
Foilsithe / Cruthaithe: (2020)
Mathematical optimization theory and operations research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings
Foilsithe / Cruthaithe: (2020)
Combinatorics, graph theory and computing : SEICCGTC 2020, Boca Raton, USA, March 9-13
Foilsithe / Cruthaithe: (2022)
Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020 : proceedings. Part II
Foilsithe / Cruthaithe: (2020)
Exercises in numerical linear algebra and matrix factorizations
de réir: Lyche, Tom, et al.
Foilsithe / Cruthaithe: (2020)
Advances on links between mathematics and industry : CTMI 2019
Foilsithe / Cruthaithe: (2021)
First-order and stochastic optimization methods for machine learning
de réir: Lan, Guanghui, 1976-
Foilsithe / Cruthaithe: (2020)
Computational and analytic methods in science and engineering
Foilsithe / Cruthaithe: (2020)
Mathematical analysis of continuum mechanics and industrial applications III : proceedings of the International Conference CoMFoS18
Foilsithe / Cruthaithe: (2020)
Differential geometry and lie groups : a second course
de réir: Gallier, Jean H.
Foilsithe / Cruthaithe: (2020)
Advances in Trefftz methods and their applications
Foilsithe / Cruthaithe: (2020)
Modeling Decisions for Artificial Intelligence : 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings
Foilsithe / Cruthaithe: (2020)
First course in statistical inference
de réir: Gillard, Jonathan
Foilsithe / Cruthaithe: (2020)
Soft somputing and optimization : SCOTA 2021, Ranchi, India, March 26-27
Foilsithe / Cruthaithe: (2023)
Intelligent computer mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Foilsithe / Cruthaithe: (2020)
Domain decomposition methods in science and engineering XXV
Foilsithe / Cruthaithe: (2020)
Advances in data science
Foilsithe / Cruthaithe: (2021)
Parallel problem solving from sature -- PPSN XVI : 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings. Part I
Foilsithe / Cruthaithe: (2020)
Parallel finite volume computation on general meshes
de réir: Vassilevski, Yuri, 1967-, et al.
Foilsithe / Cruthaithe: (2020)
Analytical methods in statistics : AMISTAT, Liberec, Czech Republic, September 2019
Foilsithe / Cruthaithe: (2020)
Deterministic global optimization : an introduction to the diagonal approach
de réir: Sergeyev, Yaroslav D., 1963-, et al.
Foilsithe / Cruthaithe: (2017)
A compact course on linear PDEs
de réir: Valli, A. (Alberto), 1953-
Foilsithe / Cruthaithe: (2020)
Landscape of 21st century mathematics : selected advances, 2001-2020
de réir: Grechuk, Bogdan
Foilsithe / Cruthaithe: (2021)
Mathematical modelling in real life problems : case studies from ECMI-Modelling Weeks
Foilsithe / Cruthaithe: (2020)
Smooth manifolds and observables
de réir: Nestruev, Jet
Foilsithe / Cruthaithe: (2020)
Parallel algorithms in computational science and engineering
Foilsithe / Cruthaithe: (2020)
Parallel Problem Solving from Nature -- PPSN XVI : 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings. Part II
Foilsithe / Cruthaithe: (2020)
Topological methods in data analysis and visualization. V : theory, algorithms, and applications
Foilsithe / Cruthaithe: (2020)
Methods of mathematical oncology : Fusion of Mathematics and Biology, Osaka, Japan, October 26-28, 2020
Foilsithe / Cruthaithe: (2021)
Principles and practice of constraint programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings
Foilsithe / Cruthaithe: (2020)
Advancements in complex analysis : from theory to practice
Foilsithe / Cruthaithe: (2020)
From analysis to visualization : a celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 2017
Foilsithe / Cruthaithe: (2020)
Combinatorial optimization : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4-6, 2020, Revised selected papers
Foilsithe / Cruthaithe: (2020)
Computational Science -- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings. Part VI
Foilsithe / Cruthaithe: (2020)
Computational science -- ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings. Part II
Foilsithe / Cruthaithe: (2020)
Roimhe
Ar aghaidh
Míreanna comhchosúla
Mathematical analysis and computing : ICMAC 2019, Kalavakkam, India, December 23-24
Foilsithe / Cruthaithe: (2021)
Optimization and applications : 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings
Foilsithe / Cruthaithe: (2020)
Discrete mathematics and applications
Foilsithe / Cruthaithe: (2020)
Optimal coverage in wireless sensor networks
de réir: Wu, Weili, et al.
Foilsithe / Cruthaithe: (2020)
Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations
de réir: Gómez Ramírez, Danny A. J.
Foilsithe / Cruthaithe: (2020)