18 books like Structured Object-Oriented Formal Language and Method

What to read after Structured Object-Oriented Formal Language and Method — books similar to it, matched on shared themes.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Roger Lee · 2014 · 260p · ≈ 8h · Moderate This book gathers 14 of the most promising papers presented at the 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017), which was held on June 26–28, 2017 in Kanazawa, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers,… Shares: Software engineering, Artificial Intelligence

Telematics and Computing Miguel Felix Mata-Rivera · 2018 · 336p · ≈ 11h · Moderate This book constitutes the thoroughly refereed proceedings of the 7th  International Congress on  Telematics and Computing, WITCOM 2018, held in  Mazatlán, Mexico in November 2018.The 23 full papers presented in this volume were carefully reviewed and selected from 57 submissions. They present and organize the knowledge from within the field of telematics and security, data… Shares: Computer science, Artificial Intelligence

Logic for programming artificial intelligence and reasoning Moshe Y. Vardi · 2003 · 437p · ≈ 14h · Moderate ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22–26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of which 8 belonged to the special submission category of experimental papers, intended to describe… Shares: Software engineering, Computer science, Artificial Intelligence

Proceedings of CiitV. Sivaraj

Proceedings of Ciit V. Sivaraj · 2012 Shares: Software engineering, Computer science, Artificial Intelligence

Information, Communication and Computing Technology Saroj Kaushik · 2017 · 312p · ≈ 10h · Moderate This book constitutes the refereed proceedings of the Second International Conference on Information, Communication and Computing Technology, ICICCT 2017, held in New Delhi, India, in May 2017. The 29 revised full papers and the 5 revised short papers presented in this volume were carefully reviewed and selected from 219 submissions. The papers are organized in topical sections on network… Shares: Software engineering, Artificial Intelligence

QualityLand Marc-Uwe Kling · 2017 · ★ 4.1 · 360p · ≈ 12h · Moderate Welcome to QualityLand, the best country on Earth. Here, a universal ranking system determines the social advantages and career opportunities of every member of society. An automated matchmaking service knows the best partners for everyone and helps with the break up when your ideal match (frequently) changes. And the foolproof algorithms of the biggest, most successful company in the world,… Shares: Algorithms, Artificial Intelligence

Advances in Computing and Data Sciences Mayank Singh · 2017 · 600p · ≈ 20h · Moderate The two-volume proceedings CCIS 1613 + 1614 constitute revised selected papers from the 6th International Conference on Advances in Computing and Data Sciences, ICACDS 2022, which was held in Kurnool, India in April 2022.The total of 69 full papers presented in the proceedings was carefully reviewed and selected from 411 submissions. The papers focus on advances of next generation computing… Shares: Computer science, Artificial Intelligence

Human-Computer Interaction -- INTERACT 2013 Paula Kotzé · 2013 · 813p · ≈ 27h · Moderate The four-volume set LNCS 8117-8120 constitutes the refereed proceedings of the 14th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2013, held in Cape Town, South Africa, in September 2013. The 53 papers included in the third volume are organized in topical sections on mobile usage and techniques, mobile UX and privacy concerns, model-based user interface design,… Shares: Software engineering, Computer science, Artificial Intelligence

Advances in Information Technology Borworn Papasratorn · 2009 · 208p · ≈ 6h · Moderate This book constitutes the proceedings of the 5th International Conference on Advances in Information Technology, IAIT 2012, held in Bangkok, Thailand, in December 2012. The 18 revised papers presented in this volume were carefully reviewed and selected from 37 submissions. They deal with all areas related to applied information technology, such as e-service; information and communication… Shares: Software engineering, Computer science, Artificial Intelligence

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Wei Lu · 2012 · 1008p · ≈ 33h · Moderate Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. This book presents the latest research trends, methods and experimental results in the fields of information technology and software engineering, covering various state-of-the-art research theories and… Shares: Software engineering, Computer science, Artificial Intelligence

Information Processing and Management of Uncertainty in Knowledge-Based Systems Joao Paulo Carvalho · 2016 · 832p · ≈ 27h · Moderate This three volume set (CCIS 1237-1239) constitutes the proceedings of the 18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2020, in June 2020. The conference was scheduled to take place in Lisbon, Portugal, at University of Lisbon, but due to COVID-19 pandemic it was held virtually.The 173 papers were carefully reviewed… Shares: Logic, Computer science, Artificial Intelligence

Intelligent Robotics and Applications Chun-Yi Su · 2012 · 702p · ≈ 23h · Moderate This book describes a unified framework for networked teleoperation systems involving multiple research fields: networked control systems for linear and nonlinear forms, bilateral teleoperation, trilateral teleoperation, multilateral teleoperation and cooperative teleoperation. It closely examines networked control as a field at the intersection of systems & control and robotics and presents a… Shares: Software engineering, Computer science, Artificial Intelligence

Information and Communication Technologies in Education, Research, and Industrial Applications Vadim Ermolayev · 2013 · 388p · ≈ 12h · Moderate This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2014. The 16 revised full papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections on framework and tools;… Shares: Software engineering, Computer science, Artificial Intelligence

Enterprise Information Systems Slimane Hammoudi · 2008 · 490p · ≈ 16h · Moderate This book constitutes the refereed post-conference of the 24th International Conference on Enterprise Information Systems, ICEIS 2022, this conference was held virtually due to the COVID-19 crisis, during April 25-27, 2022. The 20 full papers included in this book were carefully reviewed and selected from 197 submissions. They were organized in topical sections as follows: Databases and… Shares: Software engineering, Artificial Intelligence

Computational Logistics Francesco Corman · 2013 · 459p · ≈ 15h · Moderate This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections named: maritime shipping, road transport, vehicle routing problems, aviation… Shares: Software engineering, Computer science, Artificial Intelligence

Computational Science and Technology Rayner Alfred · 2018 · 749p · ≈ 24h · Moderate This book gathers the proceedings of the Fourth International Conference on Computational Science and Technology 2017 (ICCST2017), held in Kuala Lumpur, Malaysia, on 29–30 November 2017. These proceedings offer practitioners and researchers the opportunity to present exciting advances in computational techniques and solutions in this area. They also identify emerging issues, help to shape future… Shares: Computer science, Artificial Intelligence

Swarm, Evolutionary, and Memetic Computing Bijaya Ketan Panigrahi · 2010 · 777p · ≈ 25h · Moderate The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of the 4th International Conference on Swarm, Evolutionary and Memetic Computing, SEMCCO 2013, held in Chennai, India, in December 2013. The total of 123 papers presented in this volume set was carefully reviewed and selected for inclusion in the proceedings. They cover cutting-edge research on swarm, evolutionary and memetic… Shares: Software engineering, Computer science, Artificial Intelligence

Model And Data Engineering Ladjel Bellatreche · 2011 · 343p · ≈ 11h · Moderate This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almería, Spain, in September 2016.The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 submissions. The papers range on a wide spectrum covering fundamental contributions, applications and tool… Shares: Software engineering, Computer science, Artificial Intelligence

About the book Structured Object-Oriented Formal Language and Method →