The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Continue readingConstitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Continue readingThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Continue readingThis volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...
Continue readingThis book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. ...
Continue readingThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Continue readingThe book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Continue readingfeatures of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Continue readingThe book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Continue readingThis volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
Continue readingThis volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), the Call for ...
Continue readingThe First International Workshop on Web Information Systems Engineering for Electronic Businesses and Governments (E-BAG ...
Continue reading