This two-volume set of LNCS 12146 and 12147 constitutes the refereed proceedings of the 18th International Conference on ...
WeiterlesenThis book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied ...
WeiterlesenThis book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI ...
WeiterlesenIntroduction The PARA workshops in the past were devoted to parallel computing methods in science and technology. There have ...
WeiterlesenThese proceedings record the papers presented at the Workshop onArchitecture Description Languages ...
WeiterlesenThis book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...
WeiterlesenThis book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic ...
WeiterlesenThis book constitutes the refereed proceedings of two International Workshops held as parallel events of the 16th IFIP WG ...
WeiterlesenThis 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...
WeiterlesenLearn foundational and advanced topics in Neural Processing Unit design with real-world examples from leading voices in the ...
WeiterlesenThe 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial ...
WeiterlesenThe 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial ...
WeiterlesenThe 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial ...
WeiterlesenThis book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI ...
WeiterlesenArtificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and ...
WeiterlesenThis book is written from an engineer's perspective of the mind. "Artificial Mind System" exposes the reader to a broad ...
WeiterlesenThe second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network ...
WeiterlesenAutomated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...
WeiterlesenThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
WeiterlesenThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen