Erich J. Neuhold

IFIP Technical Committee 2--Programming

This conference was convened "to explicate programming concepts through the development, examination and comparison of various formal models of these concepts" (per the IFIP Working Group 2.2 on Formal Description and Programming Concepts). This collection of 26 papers represents the results of that charge, while the conference itself was characterized by lively discussions and conversations involving all participants, which served to clarify and crystallize critical issues. The editor hopes some of that liveliness will be communicated to the reader.

Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977

Formal Description of Programming Concepts

Xavier Fernando

Aravindan Chandrabose

Joan Lu

Selwyn Piramuthu

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.

6th IFIP TC 5 International Conference, ICCCSP 2022, Chennai, India, February 24–25, 2022, Revised Selected Papers

Computer, Communication, and Signal Processing

A Min Tjoa

Ilsun You

Linawati

Made Sudiana Mahendra

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.

Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings

Information and Communication Technology

Josef Küng

Makoto Takizawa

Nam Thoai

Tran Khanh Dang

Roland Wagner

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.

1st International Conference, FDSE 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, Proceedings

Future Data and Security Engineering

Cliff Jones

Dines Bjørner

Michael Mac An Airchinnigh

Erste Untersuchungen der Halswirbelsäule werden stets mit Hilfe von Röntgenaufnahmen durchgeführt, und in den meisten Fällen genügen diese als Grundlage für die Diagnose. Mißbildungen, Tumoren, und noch öfter Traumata, Rheuma und sogar ganz gewöhnliche Nackenschmerzen erfordern eine radiologische Untersuchung der Wirbelsäule. Die Auswertung jedoch ist schwierig. Nimmt man einen Halswirbel in die Hand, so stellt man fest, um welch komplexes Gebilde es sich hierbei handelt. Bei radiologischen Aufnahmen wird die Auswertung noch durch die sich überlappenden Knochenteile, Anhäufungen und die verschiedenen Blickwinkel erschwert. Das Buch von J.-F. Bonneville und F. Cattin stellt eine originelle Interpretationsmethode von Röntgenaufnahmen vor, die die Auswertung wesentlich erleichtert. Dieses Buch zeigt, daß zwei- bzw. dreidimensionale Computertomogramme eine ausgezeichnete Hilfe zum Verständnis von konventionellen Röntgenbildern sein können. Der Leser bekommt gleichsam Zugang zu jedem Einzelteil des Knochens, und von da an wird alles einfach, Überlappungen verschwinden, die in der Röntgenaufnahme verborgenen Tücken werden sichtbar, die Anatomie triumphiert, das Bild lebt. Die Halswirbelsäule von J.-F. Bonneville und F. Cattin ist unentbehrlich für jeden Radiologen in seiner täglichen Praxis, aber ebenso auch für Chirurgen, Rheumatologen und Physiotherapeuten, die sich für die Halswirbelsäule interessieren.

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

VDM '87. VDM - A Formal Method at Work

Ladjel Bellatreche

Abdelmalek Amine

Robert Wrembel

Zakaria Elberrichi

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.

5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings

Computer Science and Its Applications

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 optimization Big data analytics and applications Blockchains and emerging authentication techniques Data engineering tools in software development Data protection, data hiding, and access control Internet of Things and applications Security and privacy engineering Social network data analytics and recommendation systems

4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

Erich J. Neuhold

Books

Your next favorite book is out there