Søgning på underkategorier- og emner:
Our thanks go to Hai Jin and George Papapodoulos, the conference General Co-chairs, and Andrzej Goscinski, W- lei Zhou and Yi Pan, the conference Steering Committee Co-chairs for help in many aspects of organizing this conference.
Algorithmen bilden das Herzstück jeder nichttrivialen Anwendung von Computern, und die Algorithmik ist ein modernes und aktives Gebiet der Informatik.
Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;
Poor data quality can seriously hinder the effectiveness of organizations and businesses. This book offers state of the art understanding of the issues surrounding data quality, and sound practical advice for analyzing and improving data quality in the real world.
Based on their academic and industrial experience with middleware and enterprise application integration systems, they describe the fundamental... Læs mere
Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem.
In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited... Læs mere
Ad hoc networks refer to the wireless networking paradigm that covers a variety of network forms for specific purposes, such as mobile ad hoc networks, sensor n- works, vehicular networks, underwater networks, underground networks, personal area networks, and home networks.
Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010.
Constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan, China, in October 2010.
Constitutes the proceedings of the First International Conference on Security-Enriched Urban Computing and Smart Grid, held in Daejeon, Korea, in September 2010.
This book constitutes the refereed proceedings of the International Conference on... Læs mere