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