This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.
This book is intended to support ISPF application programmers to become professional in the smart programming of ISPF applications using the REXX language.
This book is intended to support ISPF application programmers to become professional in the smart programming of ISPF applications using the REXX language.
The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.
This clearly written textbook presents an accessible introduction to discrete mathematics for computer science students, offering the reader an enjoyable and stimulating path to improve their programming competence.
This book develops a new approach called parameter advising for finding a parameter setting for a sequence aligner that yields a quality alignment of a given set of input sequences.
The two-volume set of LNCS 10385 and 10386, constitutes the proceedings of the 8th International Conference on Advances in Swarm Intelligence, ICSI 2017, held in Fukuoka, Japan, in July/August 2017.
This three-volume set LNCS 12452, 12453, and 12454 constitutes the proceedings of the 20th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2020, in New York City, NY, USA, in October 2020.
This SpringerBrief presents the data- information-and-time (DIT) model that precisely clarifies the semantics behind the terms data, information and their relations to the passage of real time.
Das vielseitige Mathematikprogramm DERIVE, das bereits auf kleinen Personal Computern zum Einsatz kommen kann und trotzdem sehr leistungsstark ist, zeichnet sich durch hohe Benutzerfreundlichkeit aus.
This is the first comprehensive monograph on the mathematical theory of the solitaire game "e;The Tower of Hanoi"e; which was invented in the 19th century by the French number theorist Edouard Lucas.
This book constitutes the refereed proceedings of the 29th International Symposium on String Processing and Information Retrieval, SPIRE 2022, held in Concepcion, Chile, in November 2022.
This volume constitutes the refereed proceedings of the Third International Conference on The Future of Heritage Science and Technologies, Florence Heri-Tech 2022, held in Florence, Italy, in May 2022.
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27-29, 2022.
It has become highly desirable to provide users with flexible ways to query/search information over databases as simple as keyword search like Google search.
This book constitutes the refereed proceedings of the 27th Australasian Conference on Information Security and Privacy, ACISP 2022, held in Wollongong, NSW, Australia, in November 2022.
This book constitutes the proceedings of the 4th Iberoamerican Conference and third Indo-American Conference on Knowledge Graphs and Semantic Web, KGSWC 2022, which took place in Madrid, Spain, in November 2022.
This book constitutes the proceedings of the 15th Latin American Symposium on Theoretical Informatics, LATIN 2022, which took place in Guanajuato, Mexico, in November 2022.
This book constitutes the proceedings of the 21st International Semantic Web Conference, ISWC 2022, which took place in October 2022 in a virtual mode.
This book constitutes thoroughly refereed and revised selected papers from the 7th International Symposium on Combinatorial Optimization, ISCO 2022, which was held online during May 18-20, 2022.
This book constitutes revised selected papers from the thoroughly refereed workshop proceedings of the 20th International Workshop on Approximation and Online Algorithms, WAOA 2022, which was colocated with ALGO 2022 and took place in Potsdam, Germany, in September 2022.
This book constitutes refereed proceedings of the 10th Ecuadorian Conference on Information and Communication Technologies, TICEC 2022, held in Manta, Ecuador, in October 2022.
This book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, Italy in July 2022.
This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022.
This volume LNCS 13591 constitutes the proceedings of the International Conference on Cooperative Information Systems, CoopIS 2022, collocated with the Enterprise Design, Operations and Computing conference, EDOC 2022, in October 2022 in Bozen-Bolzano, Italy.
The textbook presents basic concepts of signals and systems in a clear manner, based on the author's 15+ years of teaching the undergraduate course for engineering students.
This book constitutes the proceedings of the 26th International Conference on Enterprise Design, Operations, and Computing, EDOC 2022, which took place in Bozen-Bolzano, Italy, in October 2022.
This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022.
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022.
This LNCS 13407 constitutes the refereed proceedings of the 24th International Conference on Information and Communications Security, ICICS 2022, held in Canterbury, UK,, in September 2022.
This book constitutes the proceedings of the 26th European Conference on Advances in Databases and Information Systems, ADBIS 2022, held in Turin, Italy, in September 2022.
This book constitutes the proceedings of the 26th European Conference on Advances in Databases and Information Systems, ADBIS 2022, held in Turin, Italy, in September 2022.
This book constitutes the proceedings of the 15th International Symposium on Algorithmic Game Theory, SAGT 2022, which took place in Colchester, UK, in September 2022.
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.
This book constitutes the refereed proceedings of the 20th International Conference on Business Process Management, BPM 2022, which took place in Munster, Germany, in September 2022.
This book constitutes the proceedings of the 16th International Conference on Algorithmic Aspects in Information and Management, AAIM 2022, which was held online during August 13-14, 2022.
