The NeuroProcessor : An Integrated Interface to Biological Neural Networks
This book presents the Neuroprocessor, a novel computational neuronal interface device implemented in VLSI technology. In ...
Lee mas
The Past and Future of Information Systems: 1976 -2006 and Beyond
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
Lee mas
The Road To General Intelligence / Jerry Swan, Eric Nivel, Neel Kant, Jules Hedges, Timothy Atkinson, Bas Steunebrink
The recent notable successes of Machine Learning has lead to conjecture that it might be the appropriate technology for delivering ...
Lee mas
The Semantic Web
This book constitutes the refereed proceedings of the 17th International Semantic Web Conference, ESWC 2020, held in Heraklion, ...
Lee mas
The Semantic Web : Real-World Applications from Industry
It offers a glimpse into the opening door of semantic technologies by means of concentrated examples of semantic applications ...
Lee mas
The Semantic Web : Semantics for Data and Services on the Web
The Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used ...
Lee mas
The Semantic Web – ISWC 2020
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
Lee mas
The Semantic Web – ISWC 2020
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
Lee mas
The Sense of Touch and its Rendering : Progress in Haptics Research
"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research ...
Lee mas
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Lee mas
Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lee mas
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lee mas
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lee mas
Theory of Evolutionary Computation
Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
Lee mas
Time-Dependent Scheduling
Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...
Lee mas
Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings
The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
Lee mas
Toolbox Digital Business : Leadership, Business Models, Technologis and Change / Ralf T. Kreutzer
Provides important guidelines for the digital transformation process and shows how established companies in particular can ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lee mas
