Author: Zhengbing Hu
Publisher: Springer Nature
ISBN: 3031361180
Category : Computers
Languages : en
Pages : 1166
Book Description
This book contains high-quality refereed research papers presented at the 6th International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2023), which took place in Warsaw, Poland, on March 17–19, 2023, and was organized by the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute”, the National Aviation University, Lviv Polytechnic National University, the Polish Operational and Systems Society, Warsaw University of Technology, and the International Research Association of Modern Education and Computer Science. The book covers a variety of topics, including cutting-edge research in computer science, artificial intelligence, engineering techniques, smart logistics, and knowledge representation with educational applications. The book is an invaluable resource for academics, graduate students, engineers, management professionals, and undergraduate students who are interested in computer science and its applications in engineering and education.
Advances in Computer Science for Engineering and Education VI
Author: Zhengbing Hu
Publisher: Springer Nature
ISBN: 3031361180
Category : Computers
Languages : en
Pages : 1166
Book Description
This book contains high-quality refereed research papers presented at the 6th International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2023), which took place in Warsaw, Poland, on March 17–19, 2023, and was organized by the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute”, the National Aviation University, Lviv Polytechnic National University, the Polish Operational and Systems Society, Warsaw University of Technology, and the International Research Association of Modern Education and Computer Science. The book covers a variety of topics, including cutting-edge research in computer science, artificial intelligence, engineering techniques, smart logistics, and knowledge representation with educational applications. The book is an invaluable resource for academics, graduate students, engineers, management professionals, and undergraduate students who are interested in computer science and its applications in engineering and education.
Publisher: Springer Nature
ISBN: 3031361180
Category : Computers
Languages : en
Pages : 1166
Book Description
This book contains high-quality refereed research papers presented at the 6th International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2023), which took place in Warsaw, Poland, on March 17–19, 2023, and was organized by the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute”, the National Aviation University, Lviv Polytechnic National University, the Polish Operational and Systems Society, Warsaw University of Technology, and the International Research Association of Modern Education and Computer Science. The book covers a variety of topics, including cutting-edge research in computer science, artificial intelligence, engineering techniques, smart logistics, and knowledge representation with educational applications. The book is an invaluable resource for academics, graduate students, engineers, management professionals, and undergraduate students who are interested in computer science and its applications in engineering and education.
Advances in Computer Science for Engineering and Education
Author: Zhengbing Hu
Publisher: Springer Nature
ISBN: 3031048121
Category : Computers
Languages : en
Pages : 548
Book Description
This book contains high-quality refereed research papers presented at the Fifth International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2022), which took place in Kyiv, Ukraine, on February 21–22, 2022, and was organized by the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute," National Aviation University, and the International Research Association of Modern Education and Computer Science. State-of-the-art studies in computer science, artificial intelligence, engineering methodologies, genetic coding systems, deep learning with medical applications, and knowledge representation with educational applications are among the topics covered in the book. For academics, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and its applications in engineering and education, this book is a valuable resource.
Publisher: Springer Nature
ISBN: 3031048121
Category : Computers
Languages : en
Pages : 548
Book Description
This book contains high-quality refereed research papers presented at the Fifth International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2022), which took place in Kyiv, Ukraine, on February 21–22, 2022, and was organized by the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute," National Aviation University, and the International Research Association of Modern Education and Computer Science. State-of-the-art studies in computer science, artificial intelligence, engineering methodologies, genetic coding systems, deep learning with medical applications, and knowledge representation with educational applications are among the topics covered in the book. For academics, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and its applications in engineering and education, this book is a valuable resource.
Advances in Computing and Information - ICCI '90
Author: Selim G. Akl
Publisher: Springer Science & Business Media
ISBN: 9783540535041
Category : Coding theory
Languages : en
Pages : 550
Book Description
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
Publisher: Springer Science & Business Media
ISBN: 9783540535041
Category : Coding theory
Languages : en
Pages : 550
Book Description
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
Advances in Computing and Information - ICCI '91
Author: Frank Dehne
Publisher: Springer Science & Business Media
ISBN: 9783540540298
Category : Computers
Languages : en
Pages : 762
Book Description
This volume contains papers presented at the Third International Conference on Computing and Information, ICCI '91, held at Carleton University in Ottawa, Canada, May 27-29, 1991. The conference was organized by the School of Computer Science at Carleton University, and was sponsored by the Natural Sciences and Engineering Research Council of Canada (NSERC) and Carleton University. ICCI '91 was an international forum for the presentation of original results in research, development, and applications in computing and information processing. The conference was aimed at both practitioners and theoreticians, and was organized into five streams: - Algorithms and complexity, - Databases and information systems, - Parallel processing and systems, - Distributed computing and systems, - Expert systems, artificial intelligence. This volume contains three invited papers, by E.C.R. Hehner, R.L. Probert, and S.J. Smith, and 71 selected papers.
Publisher: Springer Science & Business Media
ISBN: 9783540540298
Category : Computers
Languages : en
Pages : 762
Book Description
This volume contains papers presented at the Third International Conference on Computing and Information, ICCI '91, held at Carleton University in Ottawa, Canada, May 27-29, 1991. The conference was organized by the School of Computer Science at Carleton University, and was sponsored by the Natural Sciences and Engineering Research Council of Canada (NSERC) and Carleton University. ICCI '91 was an international forum for the presentation of original results in research, development, and applications in computing and information processing. The conference was aimed at both practitioners and theoreticians, and was organized into five streams: - Algorithms and complexity, - Databases and information systems, - Parallel processing and systems, - Distributed computing and systems, - Expert systems, artificial intelligence. This volume contains three invited papers, by E.C.R. Hehner, R.L. Probert, and S.J. Smith, and 71 selected papers.
TAPSOFT '91 - Volume 2
Author: Samson Abramsky
Publisher: Springer Science & Business Media
ISBN: 9783540539810
Category : Computer software
Languages : en
Pages : 502
Book Description
"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches."--PUBLISHER'S WEBSITE.
Publisher: Springer Science & Business Media
ISBN: 9783540539810
Category : Computer software
Languages : en
Pages : 502
Book Description
"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches."--PUBLISHER'S WEBSITE.
Advances in Computer Science and Engineering
Author: Dehuai Zeng
Publisher: Springer Science & Business Media
ISBN: 3642279481
Category : Technology & Engineering
Languages : en
Pages : 786
Book Description
This book includes the proceedings of the second International Conference on Advances in Computer Science and Engineering (CES 2012), which was held during January 13-14, 2012 in Sanya, China. The papers in these proceedings of CES 2012 focus on the researchers’ advanced works in their fields of Computer Science and Engineering mainly organized in four topics, (1) Software Engineering, (2) Intelligent Computing, (3) Computer Networks, and (4) Artificial Intelligence Software.
Publisher: Springer Science & Business Media
ISBN: 3642279481
Category : Technology & Engineering
Languages : en
Pages : 786
Book Description
This book includes the proceedings of the second International Conference on Advances in Computer Science and Engineering (CES 2012), which was held during January 13-14, 2012 in Sanya, China. The papers in these proceedings of CES 2012 focus on the researchers’ advanced works in their fields of Computer Science and Engineering mainly organized in four topics, (1) Software Engineering, (2) Intelligent Computing, (3) Computer Networks, and (4) Artificial Intelligence Software.
ICDT '90
Author: Serge Abiteboul
Publisher: Springer Science & Business Media
ISBN: 9783540535072
Category : Computers
Languages : en
Pages : 540
Book Description
The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.
Publisher: Springer Science & Business Media
ISBN: 9783540535072
Category : Computers
Languages : en
Pages : 540
Book Description
The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.
ESEC '89
Author: Carlo Ghezzi
Publisher: Springer Science & Business Media
ISBN: 9783540516354
Category : Computers
Languages : en
Pages : 506
Book Description
The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice.
Publisher: Springer Science & Business Media
ISBN: 9783540516354
Category : Computers
Languages : en
Pages : 506
Book Description
The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice.
COLOG-88
Author: Per Martin-Löf
Publisher: Springer Science & Business Media
ISBN: 9783540523352
Category : Computers
Languages : en
Pages : 348
Book Description
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
Publisher: Springer Science & Business Media
ISBN: 9783540523352
Category : Computers
Languages : en
Pages : 348
Book Description
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
Advances in Computer Science for Engineering and Education IV
Author: Zhengbing Hu
Publisher: Springer Nature
ISBN: 3030804720
Category : Technology & Engineering
Languages : en
Pages : 468
Book Description
This book comprises high-quality refereed research papers presented at the Fourth International Conference on Computer Science, Engineering and Education Applications (ICCSEEA2021), held in Kyiv, Ukraine, on January 23–24, 2021, organized jointly by the National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”, National Aviation University, and the International Research Association of Modern Education and Computer Science. The topics discussed in the book include state-of-the-art papers in computer science, artificial intelligence, engineering techniques, genetic coding systems, deep learning with its medical applications, and knowledge representation with its applications in education. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and their applications in engineering and education.
Publisher: Springer Nature
ISBN: 3030804720
Category : Technology & Engineering
Languages : en
Pages : 468
Book Description
This book comprises high-quality refereed research papers presented at the Fourth International Conference on Computer Science, Engineering and Education Applications (ICCSEEA2021), held in Kyiv, Ukraine, on January 23–24, 2021, organized jointly by the National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”, National Aviation University, and the International Research Association of Modern Education and Computer Science. The topics discussed in the book include state-of-the-art papers in computer science, artificial intelligence, engineering techniques, genetic coding systems, deep learning with its medical applications, and knowledge representation with its applications in education. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and their applications in engineering and education.