Mathematical Software - ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /

Mathematical Software - ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /

This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018. The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Davenport, James H. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kauers, Manuel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Labahn, George (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Urban, Josef (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Σειρά:	Theoretical Computer Science and General Issues ; 10931
Θέματα:	Computer science-Mathematics. Artificial intelligence. Computer security. Computer programming. Programming languages (Electronic computers). Information storage and retrieval. Discrete Mathematics in Computer Science. Artificial Intelligence. Systems and Data Security. Programming Techniques. Programming Languages, Compilers, Interpreters. Information Storage and Retrieval.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Conceptual Structures: Fulfilling Peirce's Dream Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. /
Έκδοση: (1997)

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers /
Έκδοση: (2018)

Grading Knowledge Extracting Degree Information from Texts /
ανά: Staab, Steffen, κ.ά.
Έκδοση: (1999)

Web Knowledge Management and Decision Support 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers /
Έκδοση: (2003)

Natural Language Processing and Information Systems 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers /
Έκδοση: (2001)

Rules and Rule Markup Languages for the Semantic Web Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings /
Έκδοση: (2003)

Evaluation of Cross-Language Information Retrieval Systems Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 3-4, 2001. Revised Papers /
Έκδοση: (2002)

Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2018, Valencia, Spain, September 26-28, 2018, Proceedings /
Έκδοση: (2018)

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers /
Έκδοση: (2019)

Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /
Έκδοση: (1997)

Rules and Rule Markup Languages for the Semantic Web Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings /
Έκδοση: (2004)

Internet Science 5th International Conference, INSCI 2018, St. Petersburg, Russia, October 24-26, 2018, Proceedings /
Έκδοση: (2018)

Blockchain - ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings /
Έκδοση: (2019)

Programming Constraint Services High-Level Programming of Standard and New Constraint Services /
ανά: Schulte, Christian, κ.ά.
Έκδοση: (2002)

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
Έκδοση: (2018)

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers /
Έκδοση: (2019)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
Έκδοση: (2018)

Web Information Systems -- WISE 2004 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004, Proceedings /
Έκδοση: (2004)

Business Information Systems Workshops BIS 2018 International Workshops, Berlin, Germany, July 18-20, 2018, Revised Papers /
Έκδοση: (2019)

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings /
Έκδοση: (2018)

Web and Big Data Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1-3, 2019, Proceedings, Part I /
Έκδοση: (2019)

Advances in Knowledge Discovery and Data Mining 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part III /
Έκδοση: (2018)

Advances in Knowledge Discovery and Data Mining 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part I /
Έκδοση: (2018)

Advances in Knowledge Discovery and Data Mining 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part II /
Έκδοση: (2018)

AI 2002: Advances in Artificial Intelligence 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings /
Έκδοση: (2002)

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings /
Έκδοση: (2018)

Principles of Data Mining and Knowledge Discovery 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings /
Έκδοση: (2002)

Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers /
Έκδοση: (2018)

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
Έκδοση: (2019)

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
Έκδοση: (2018)

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers /
Έκδοση: (2018)

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings /
Έκδοση: (2019)

Computational Linguistics and Intelligent Text Processing 4th International Conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003. Proceedings /
Έκδοση: (2003)

Computational Processing of the Portuguese Language 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings /
Έκδοση: (2003)

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers /
Έκδοση: (2019)

Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings /
Έκδοση: (2019)

Heterogeneous Data Management, Polystores, and Analytics for Healthcare VLDB 2019 Workshops, Poly and DMAH, Los Angeles, CA, USA, August 30, 2019, Revised Selected Papers /
Έκδοση: (2019)

New Directions in Rough Sets, Data Mining, and Granular-Soft Computing 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings /
Έκδοση: (1999)

Trust Management First International Conference, iTrust 2003, Heraklion, Crete, Greece, May 28-30, 2002, Proceedings /
Έκδοση: (2003)

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Έκδοση: (2002)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών