Traverso paolo (43 Ergebnisse)

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Hardcover. Zustand: Good. Zustand des Schutzumschlags: Very Good. corners bumped, dustwrapper rubbed.

Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

Softcover/Paperback. Zustand: Sehr gut. 865 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 2200.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. revised edition. 200 pages. 9.25x6.10x0.46 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 185 pages. 9.21x6.14x0.47 inches. In Stock.

Paperback. Zustand: Brand New. revised edition. 292 pages. 9.25x6.10x0.71 inches. In Stock.

Paperback. Zustand: Brand New. 576 pages. 9.00x7.00x1.30 inches. In Stock.

Paperback. Zustand: Brand New. illustrated edition edition. 416 pages. 9.00x6.00x1.00 inches. In Stock.

Zustand: New.

Zustand: New.

Zustand: New.

Paperback. Zustand: Brand New. 580 pages. 9.25x6.10x1.34 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare's prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, practising engi neers, and members of regulatory and funding agencies about future needs and developments. This discussion lead to roadmaps with respect to the future of this field, to tool support, and potential application areas and promising market segments. The contributions of the participants from industry as well as from the respective national security bureaus were particularly valuable and highly appreciated.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI\*IA 2018, held in Trento, Italy, in November 2018. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge Engineering, Ontologies and the Semantic Web; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; and Recommendation Systems and Decision Making.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the 12th International Conference on Web Information Systems and Technologies, WEBIST 2016, held in Rome, Italy, April 23-25, 2016, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC). The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems. The 9 full papers presented in this volume were carefully reviewed and selected originally 123 paper submissions. They contribute to the understanding of relevant trends of current research on Web Information Systems and Technologies, comprising recommender systems, sentiment analysis, ranking, and Web applications and Web architecture.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The First Future Internet Symposium was held during September 28-30, 2008 in Vienna, Austria. FIS 2008 provided a forum for leading researchersand pr- titioners to meet and discuss the wide-ranging scienti c and technical issues related to the design of a new Internet. The sentiment shared in Vienna was that we are at the beginning of something very exciting and challenging and that FIS 2008 has played a role in forming a community to address this. With overa billionusers,today's Internet is arguablythe most successful- man artifact ever created. The Internet's physical infrastructure, software, and content now play an integralpart in the lives of everyoneon the planet, whether they interact with it directly or not. Now nearing its fth decade, the Int- net has shown remarkable resilience and exibility in the face of ever-increasing numbers of users, data volume, and changing usage patterns, but faces gr- ing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scienti c research, physical infrastructure investment, better education, and better utilization of the Internet. Japan, the USA and Europe are investing heavily in this area. The EU is shaping around the idea of the Future Internet its research programmes for the Seventh Framework. EU commissioners, national government ministers, industry leadersand researchersmet in Bled, Slovenia during March 31-April2, 2008, to begin developing a vision of a future Internet that will meet Europe's needs a decade from now, and beyond. Abroadprogrammeofscienti cresearchisessentialtosupportingtheaimsof the Future Internetinitiative.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the 13th International Conference on Web Information Systems and Technologies, WEBIST 2017, held in Porto, Portugal, in April 2017.The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems.The 12 full papers presented in this volume were carefully reviewed and selected from originally 77 paper submissions. They contribute to the understanding of relevant trends of current research on Web information systems and technologies, comprising unified interfaces, Progressive Web Apps (PWAs) as well as a mobile device taxonomy, XML and open data processing, the history of Web engineering, web development for end-users, access control, Web platform assessment, rule engines, and scientific blogging.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008. The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on agents; natural language processing and text analysis; machine learning and information retrieval; knowledge representation and reasoning; constraints, heuristics and search; applications; posters.…

Zustand: New. In English.

Taschenbuch. Zustand: Neu. AI*IA 2018 - Advances in Artificial Intelligence | XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings | Chiara Ghidini (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2018 | Springer | EAN 9783030038397 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Artificial Intelligence: Methodology, Systems, and Applications | 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008, Proceedings | Daniel Dochev (u. a.) | Taschenbuch | xii | Englisch | 2008 | Springer | EAN 9783540857754 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Future Internet - FIS 2008 | First Future Internet Symposium Vienna, Austria, September 28-30, 2008 Revised Selected Papers | John Domingue (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642009846 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 580 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge Engineering, Ontologies and the Semantic Web; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; and Recommendation Systems and Decision Making.…