This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. Meer
72,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in Hangzhou, China, in October 2014. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
The authors describe systematic methods for uncovering scientific laws a priori, on the basis of intuition, or “Gedanken Experiments”. Mathematical expressions of scientific laws are, by convention, constrained by the rule that their form must be invariant with changes of the units of their variables. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
“Autonomous manipulation” is a challenge in robotic technologies. It refers to the capability of a mobile robot system with one or more manipulators that performs intervention tasks requiring physical contacts in unstructured environments and without continuous human supervision. Meer
120,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book is thematically positioned at the intersections of Urban Design, Architecture, Civil Engineering and Computer Science, and it has the goal to provide specialists coming from respective fields a multi-angle overview of state-of-the-art work currently being carried out. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book constitutes the refereed proceedings of the 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2012, held in Nantes, France, in May/June 2012. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book constitutes the refereed proceedings of the 14th Conference on Advances in Autonomous Robotics, TAROS 2013, held in Oxford, UK, in August 2013. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Seit der Version 2 hat JavaFX jedoch einen festen und ausgereiften Stand erreicht und ist mittlerweile die aktuelle Technologie im Java-Umfeld, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Meer
62,67
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
Today, reliable software systems are the basis of any business or company. The continuous further development of those systems is the central component in software evolution. Meer
144,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
This, the 23rd issue of the Transactions on Computational Science journal, guest edited by Xiaoyang Mao and Lichan Hong, is devoted to the topic of security in virtual worlds. Meer
58,60
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
In recent years, originally static and single purpose Wireless Sensor Networks have moved towards applications that need support for mobility and multiple purposes. Meer
60,99
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
Kognitive Kommunikation dient Menschen und Maschinen zum Wissenserwerb. Der Zuwachs an Wissen besteht dabei in der gewonnenen Information der empfangenen Signale. Meer
124,35
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
Dieses Lehrbuch bietet einen gut verständlichen Einstieg in die technischen Grundlagen der Informatik, ohne tiefgehende mathematische Vorkenntnisse vorauszusetzen. Meer
43,60
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
Ameisen organisieren Städtereisen und ein Computer spielt Schach – wie es geht, das zeigt dieses Buch. Mit ergänzenden Themen und neuen Codebeispielen wird auch in der vorliegenden Auflage für Programmierer, die bereits erste Erfahrungen gesammelt haben, ein breites Spektrum an Problemlösungsstrategien anhand konkreter und verständlicher Beispiele vorgestellt. Meer
29,03
Verwachte levertijd ongeveer 9 werkdagen | Gratis verzonden
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books