development  (42.478 Angebote unter 30.946.728 Artikeln)

The Annual International Computing and Combinatorics Conference is an annual forum for exploring research, development, and novel applications of computing and combinatorics. It brings together res...

This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops...

The explosive economic development in China over the last three decades has created social challenges unprecedented in the country's history. In response, China has overhauled its existing tort law...

A Detailed Perspective

this gap. In sixteen survey articles the most important theoretical results, algorithms and software methods of computer algebra are covered, together with systematic references to literature. In a...

Topics and features: presents an overview of programming and coding, a brief history of programming languages, and a concise introduction to programming in Java using BlueJ; discusses classes and o...

Benefits, Trends, Challenges and Solutions

The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agricult...

This textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environm...

First International Research Conference, IRCCTSD 2024, Chennai, India, May 9-10, 2024, Proceedings, Part I

The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agricult...

Conditional Mutagenesis: An Approach to Disease Models

I want to express my sincere thanks to all authors who submitted research papers to support the Third IFIP International Conference on Computer and Computing Te- nologies in Agriculture and the Thi...

Editor's Introduction.- Editor's Introduction.- 1: International Dimensions.- 1 International Environmental Agreements as Games.- 2 Emission Taxes in a Dynamic International Game of CO2 Emissions.-...