Erich J. Neuhold – författare
Visar alla böcker från författaren Erich J. Neuhold. Handla med fri frakt och snabb leverans.
10 produkter
10 produkter
Computer, Communication, and Signal Processing
6th IFIP TC 5 International Conference, ICCCSP 2022, Chennai, India, February 24–25, 2022, Revised Selected Papers
Inbunden, Engelska, 2022
1 313 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Conference on Computer, Communication, and Signal Processing, ICCSP 2022, held in Chennai, India, in February 2022.*The 21 full and 2 short papers presented in this volume were carefully reviewed and selected from 111 submissions.
Del 651 - IFIP Advances in Information and Communication Technology
Computer, Communication, and Signal Processing
6th IFIP TC 5 International Conference, ICCCSP 2022, Chennai, India, February 24–25, 2022, Revised Selected Papers
Häftad, Engelska, 2023
1 313 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Conference on Computer, Communication, and Signal Processing, ICCSP 2022, held in Chennai, India, in February 2022.*The 21 full and 2 short papers presented in this volume were carefully reviewed and selected from 111 submissions. The papers are categorized into topical sub-headings: artificial intelligence and machine learning; Cyber security; and internet of things.*The conference was held as a virtual event due to the COVID-19 pandemic.
Del 8860 - Lecture Notes in Computer Science
Future Data and Security Engineering
1st International Conference, FDSE 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, Proceedings
Häftad, Engelska, 2014
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the First International Conference on Future Data and Security Engineering, FDSE 2014, held in Ho Chi Minh City, Vietnam, in November 2014. The 23 full papers presented were carefully reviewed and selected from 66 submissions. They have been organized in the following topical sections: big data analytics and applications; security and privacy engineering; crowdsourcing and social network data analytics; biometrics and data protection in smart devices; cloud data management and applications; and advances in query processing and optimization.
Computer Science and Its Applications
5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Inbunden, Engelska, 2015
1 095 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th IFIP TC 5 International Conference on Computer Science and Its Applications, CIIA 2015, held in Saida, Algeria, in May 2015. The 56 revised papers presented were carefully reviewed and selected from 225 submissions.
Del 456 - IFIP Advances in Information and Communication Technology
Computer Science and Its Applications
5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Häftad, Engelska, 2016
1 095 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th IFIP TC 5 International Conference on Computer Science and Its Applications, CIIA 2015, held in Saida, Algeria, in May 2015. The 56 revised papers presented were carefully reviewed and selected from 225 submissions. The papers are organized in the following four research tracks: computational intelligence; security and network technology; information technology; and software engineering.
Del 10646 - Lecture Notes in Computer Science
Future Data and Security Engineering
4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings
Häftad, Engelska, 2017
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016. The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions. The accepted papers were grouped into the following sessions:Advances in query processing and optimizationBig data analytics and applicationsBlockchains and emerging authentication techniquesData engineering tools in software developmentData protection, data hiding, and access controlInternet of Things and applicationsSecurity and privacy engineeringSocial network data analytics and recommendation systems
VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Häftad, Engelska, 1987
551 kr
Skickas inom 10-15 vardagar
1 095 kr
Skickas inom 10-15 vardagar
In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs. In particular, methods for the specification and transformation of programs are considered in detail. One lecture is devoted to the formalization of concurrency and distributed systems and reflects their great importance in programming. Further topics are the verification of programs and the use of sophisticated type systems in programming. This compendium on the theoretical foundations of programming is also suitable as a textbook for special seminars on different aspects of this broad subject.
Information and Communication Technology
Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings
Häftad, Engelska, 2014
1 095 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Second IFIP TC 5/8 International Conference on Information and Communication Technology, ICT-Eur Asia 2014, with the collocation of Asia ARES 2014 as a special track on Availability, Reliability and Security, held in Bali, Indonesia, in April 2014. The 70 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers have been organized in the following topical sections: applied modeling and simulation; mobile computing; advanced urban-scale ICT applications; semantic web and knowledge management; cloud computing; image processing; software engineering; collaboration technologies and systems; e-learning; data warehousing and data mining; e-government and e-health; biometric and bioinformatics systems; network security; dependable systems and applications; privacy and trust management; cryptography; multimedia security and dependable systems and applications.
551 kr
Skickas inom 10-15 vardagar
We report here the results obtained thus far along two distinct but complementary and converging lines of research work. The theme is conceptual data base design (specification), and the work has been going on for a number of years, mainly at the University of Stuttgart, in the Federal Republic of Germany, and at the Pontificia Universidade Cat6lica do Rio de Janeiro, in Brasil. We are glad to acknowledge the collaboration of several colleagues and students, particularly H. Biller, J. M. V. de Castilho, A. Horndasch, C. S. dos Santos, R. Studer, U. Schiel, and I. Waiter. Two other co-workers deservey special recognition, since they have shared in writing the report which originated part A of this book - M.A. Casanova and P.A.S. Veloso. The book is intended as a text for graduate courses on information systems and on data bases. The subject is treated formally, since we do believe that formality leads to precision, a quality that one misses in the still prevailing ad-hoc techniques. The theoretical background is covered, although in a condensed fashion, referring the reader to the appropriate literature for more details.