Skip to content
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...
יצירת מראה מקום
שליחה במסרון
שלח את זה
הדפסה
יצוא רשומה
יצוא אל RefWorks
יצוא אל EndNoteWeb
יצוא אל EndNote
הוספה למועדפים
Permanent link
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.).
שמור ב:
מידע ביבליוגרפי
Corporate Authors:
Workshop on Coalgebraic Methods in Computer Science Online
,
ETAPS (Conference)
מחברים אחרים:
Petriş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.
Matemáticas discretas
Matemáticas
Computer science
>
Mathematics
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
גישה מקוונת:
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, et al.
יצא לאור: (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, et al.
יצא לאור: (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-, et al.
יצא לאור: (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-, et al.
יצא לאור: (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, et al.
יצא לאור: (2020)
Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations
מאת: Gómez Ramírez, Danny A. J.
יצא לאור: (2020)