Advances in Verification of Time Petri Nets and Timed Automata
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Continue reading
Advances in Visual Computing : 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I
The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
Continue reading
Advances in Visual Computing : 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II
The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual ...
Continue reading
Advances in esthetic implant dentistry / El Askary, Abd El Salam
Offering innovative step-by-step protocols for surgical techniques and case studies, the book presents practical, clinically ...
Continue reading
Advances on Testing and Experimentation in Civil Engineering : Materials, Structures and Buildings / Carlos Chastre, José Neves, Diogo Ribeiro
Presents the most recent advances on testing and experimentation in civil engineering, especially in the branches of materials, ...
Continue reading
Advancing Computational Intelligence Techniques for Security Systems Design / Ozzal Sharma, Parmanand Astya, Anupam Baliyan, Salah-ddine Krit, Vishal Jain, Mohammad Zubair Khan
Security systems have become an integral part of the building and large complex setups, and intervention of the computational ...
Continue reading
Advancing Social Simulation: The First World Congress
Agent-based modeling and social simulation have emerged as both developments of and challenges to the social sciences. The ...
Continue reading
Advancing Social Simulation: The First World Congress
Agent-based modeling and social simulation have emerged as both developments of and challenges to the social sciences. The ...
Continue reading
Aerosol Optics : Light Absorption and Scattering by Particles in the Atmosphere
is book provides a comprehensive review of available techniques for the remote sensing of aerosols. Although mostly satellite ...
Continue reading
Aesthetic Facial Surgery
Rhytidoplasty is a palliative procedure in which face wrinkles are surgically removed to promote a more youthful appearance.The ...
Continue readingAesthetics in Digital Photography / Henri Maître
Aesthetics in Digital Photography presents theories developed over the last 25 centuries by philosophers and art critics, ...
Continue reading
African Cultural Astronomy : Current Archaeoastronomy and Ethnoastronomy research in Africa
Astronomy is the science of studying the sky using telescopes and light collectors such as photographic plates or CCD detectors. ...
Continue reading
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods ...
Continue reading
Agent-Oriented Software Engineering VII
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
Continue reading
Agent-Oriented Software Engineering VII
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
Continue reading
Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
Continue reading
Aggregation Functions: A Guide for Practitioners
Aggregation of information is of primary importance in the construction of knowledge based systems in various domains, ranging ...
Continue reading
Agile Development with the ICONIX Process
This book describes how to apply ICONIX Process (a minimal, use case-driven modeling process) in an agile software project. ...
Continue reading
Agile Processes in Software Engineering and Extreme Programming 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings
This book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which ...
Continue reading
Agile Processes in Software Engineering and Extreme Programming 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14–18, 2021, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which ...
Continue reading
