Third international conference system (23 resultados)

Hardcover. XXXIII, 1451 S. : graph. Darst., Kt. ; 25 cm Good condition. Reading pages are clean and without marks. Retired library exemplar, with the usual marking. Corners slightly rubbed or bumped. No dust jacket. Still good copy. Some parts of this volume in French. 9783540136927 Sprache: Englisch Gewicht in Gramm: 2100. …

Format groß 8°, LEINEN, 503 Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem tadellosen Zustand --- LINEN BINDING, 503 pages, Lib.Ex., no marks, excellent condition. Shipping to abroad insured with tracking number.…

Condición: New.

Paperback. Condición: Brand New. 1st edition. 540 pages. 9.50x6.25x1.25 inches. In Stock.

Taschenbuch. Condición: Neu. Neuware - Algebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Development of Software.- A Logical Approach to Specification of Hybrid Systems.- Specifications with States.- Algebraic Imperative Specifications.- Enhanced Control Flow Graphs in Montages.- Abstract State Machines for the Composition of Architectural Styles.- Partial Evaluation and Supercompilation.- The Essence of Program Transformation by Partial Evaluation and Driving.- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.- Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.- Sonic Partial Deduction.- On Perfect Supercompilation.- Linear Time Self-Interpretation of the Pure Lambda Calculus.- An Optimal Algorithm for Purging Regular Schemes.- Polymorphism in OBJ-P.- Concurrency and Parallelism.- Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem.- Serializability Preserving Extensions of Concurrency Control Protocols.- Platform Independent Approach for Detecting Shared Memory Parallelism.- Hierarchical Cause-Effect Structures.- Some Decidability Results for Nested Petri Nets.- Abstract Structures for Communication between Processes.- Logic and Processes.- Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs.- On Semantics and Correctness of Reactive Rule-Based Programs.- Compositional Verification of CCS Processes.- Compositional Style of Programming FPGAs.- Languages and Software.- Using Experiments to Build a Body of Knowledge.- Patterns in Words versus Patterns in Trees: A Brief Survey and New Results.- Extensions: A Technique for Structuring Functional-Logic Programs.- Language Tools and Programming Systems inEducational Informatics.- Database Programming.- Current Directions in Hyper-Programming.- Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data.- A General Object-Oriented Model for Spatial Data.- Object-Oriented Programming.- Twin - A Design Pattern for Modeling Multiple Inheritance.- A Partial Semantics for Object Data Models with Static Binding.- Heterogeneous, Nested STL Containers in C++.- Data Flow Analysis of Java Programs in the Presence of Exceptions.- Late Adaptation of Method Invocation Semantics.- Constraint Programming.- A Control Language for Designing Constraint Solvers.- An Algorithm to Compute Inner Approximations of Relations for Interval Constraints.- Constraint Programming Techniques for Solving Problems on Graphs.- Extensional Set Library for ECLiPSe.- Model & Program Checking.- Introducing Mutual Exclusion in Esterel.- Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.- Formal Verification of a Compiler Back-End Generic Checker Program.- Construction of Verified Compiler Front-Ends with Program-Checking.- Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique.- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique.- Natural Communication with Robots.- Approach to Development of a System for Speech Interaction with an Intelligent Robot.- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for SignLanguages.- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages.…

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: As New. Unread book in perfect condition.

Hardcover. Condición: new. Hardcover. This book gathers selected high-quality research papers presented at the Third International Conference on Intelligent System (ICIS 2024), organized by University of Transport Technology, Hanoi, Vietnam, during 2425 October 2024. It discusses high-quality and cutting-edge research in the areas of informatics, intelligent systems, and smart technologies and applications. The book is a collection of the latest research articles in intelligent control, artificial intelligence, neural networks, knowledge discovery, decision support systems, soft computing, data mining, and ontologies, machine learning, intelligent measurement, and other related fields. This book gathers selected high-quality research papers presented at the Third International Conference on Intelligent System (ICIS 2024), organized by University of Transport Technology, Hanoi, Vietnam, during 2425 October 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Hardcover. Condición: Brand New. 500 pages. 9.25x6.10x9.49 inches. In Stock.

Taschenbuch. Condición: Neu. Proceedings of Third International Conference on Intelligent System | ICIS 2024 | Nguyen Hoang Long (u. a.) | Taschenbuch | Algorithms for Intelligent Systems | xxvi | Englisch | 2026 | Springer | EAN 9789819640959 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

hardcover. Condición: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.

Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book gathers selected high-quality research papers presented at the Third International Conference on Intelligent System (ICIS 2024), organized by University of Transport Technology, Hanoi, Vietnam, during 24 25 October 2024. It discusses high-quality and cutting-edge research in the areas of informatics, intelligent systems, and smart technologies and applications. The book is a collection of the latest research articles in intelligent control, artificial intelligence, neural networks, knowledge discovery, decision support systems, soft computing, data mining, and ontologies, machine learning, intelligent measurement, and other related fields.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book gathers selected high-quality research papers presented at the Third International Conference on Intelligent System (ICIS 2024), organized by University of Transport Technology, Hanoi, Vietnam, during 24 25 October 2024. It discusses high-quality and cutting-edge research in the areas of informatics, intelligent systems, and smart technologies and applications. The book is a collection of the latest research articles in intelligent control, artificial intelligence, neural networks, knowledge discovery, decision support systems, soft computing, data mining, and ontologies, machine learning, intelligent measurement, and other related fields.…

Hardcover. Condición: new. Hardcover. This book gathers selected high-quality research papers presented at the Third International Conference on Intelligent System (ICIS 2024), organized by University of Transport Technology, Hanoi, Vietnam, during 2425 October 2024. It discusses high-quality and cutting-edge research in the areas of informatics, intelligent systems, and smart technologies and applications. The book is a collection of the latest research articles in intelligent control, artificial intelligence, neural networks, knowledge discovery, decision support systems, soft computing, data mining, and ontologies, machine learning, intelligent measurement, and other related fields. This book gathers selected high-quality research papers presented at the Third International Conference on Intelligent System (ICIS 2024), organized by University of Transport Technology, Hanoi, Vietnam, during 2425 October 2024. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Softbound. Fine.

Leatherbound. Condición: NEW. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 94. A perfect gift for your loved ones. Reprinted from 1909 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Language: English Pages: 94.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book gathers selected high-quality research papers presented at the Third International Conference on Intelligent System (ICIS 2024), organized by University of Transport Technology, Hanoi, Vietnam, during 24 25 October 2024. It discusses high-quality and cutting-edge research in the areas of informatics, intelligent systems, and smart technologies and applications. The book is a collection of the latest research articles in intelligent control, artificial intelligence, neural networks, knowledge discovery, decision support systems, soft computing, data mining, and ontologies, machine learning, intelligent measurement, and other related fields. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book gathers selected high-quality research papers presented at the Third International Conference on Intelligent System (ICIS 2024), organized by University of Transport Technology, Hanoi, Vietnam, during 2425 October 2024. It discusses high-quality and cutting-edge research in the areas of informatics, intelligent systems, and smart technologies and applications. The book is a collection of the latest research articles in intelligent control, artificial intelligence, neural networks, knowledge discovery, decision support systems, soft computing, data mining, and ontologies, machine learning, intelligent measurement, and other related fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch. …

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book gathers selected high-quality research papers presented at the Third International Conference on Intelligent System (ICIS 2024), organized by University of Transport Technology, Hanoi, Vietnam, during 2425 October 2024. It discusses high-quality and cutting-edge research in the areas of informatics, intelligent systems, and smart technologies and applications. The book is a collection of the latest research articles in intelligent control, artificial intelligence, neural networks, knowledge discovery, decision support systems, soft computing, data mining, and ontologies, machine learning, intelligent measurement, and other related fields.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 488 pp. Englisch.…

Leather Bound. Condición: New. Language: English. Language: English. Presenting an Exquisite Leather-Bound Edition, expertly crafted with Original Natural Leather that gracefully adorns the spine and corners. The allure continues with Golden Leaf Printing that adds a touch of elegance, while Hand Embossing on the rounded spine lends an artistic flair. This masterpiece has been meticulously reprinted in 2025, utilizing the invaluable guidance of the original edition published many years ago in 2003. The contents of this book are presented in classic black and white. Its durability is ensured through a meticulous sewing binding technique, enhancing its longevity. Imprinted on top-tier quality paper. A team of professionals has expertly processed each page, delicately preserving its content without alteration. Due to the vintage nature of these books, every page has been manually restored for legibility. However, in certain instances, occasional blurriness, missing segments, or faint black spots might persist. We sincerely hope for your understanding of the challenges we faced with these books. Recognizing their significance for readers seeking insight into our historical treasure, we've diligently restored and reissued them. Our intention is to offer this valuable resource once again. We eagerly await your feedback, hoping that you'll find it appealing and will generously share your thoughts and recommendations. Lang: - English, Pages:- 280, Print on Demand. If it is a multi-volume set, then it is only a single volume. We are specialised in Customisation of books, if you wish to opt different color leather binding, you may contact us. This service is chargeable. Product Disclaimer: Kindly be informed that, owing to the inherent nature of leather as a natural material, minor discolorations or textural variations may be perceptible. Explore the FOLIO EDITION (12x19 Inches): Available Upon Request. 280 280.…