Author : Boris Rachev
Publisher :
Page : 489 pages
File Size : 22,46 MB
Release : 2014
Category : Computer science
ISBN : 9781450327534
Author : Mark H.M. Winands
Publisher : Springer
Page : 254 pages
File Size : 14,68 MB
Release : 2017-12-21
Category : Computers
ISBN : 3319716492
This book constitutes the refereed conference proceedings of the 15th International Conference, ACG 2017, held in Leiden, The Netherlands, in July 2017.The 19 revised full papers were selected from 23 submissions and cover a wide range of computer games. They are grouped in four classes according to the order of publication: games and puzzles, go and chess, machine learning and MCTS, and gaming.
Author : IEEE Computer Society. TC on Distributed Processing
Publisher :
Page : 586 pages
File Size : 27,46 MB
Release : 1995
Category : Computer engineering
ISBN :
The proceedings of ICDCS-15 comprise 60 papers in 18 technical sessions: tools and environments, real-time communication, consensus and agreement, transaction processing, communication protocols and software, mutual exclusion and deadlock detection, real-time distributed systems, logging and recover
Author : Xin-She Yang
Publisher : Springer Nature
Page : 792 pages
File Size : 48,98 MB
Release : 2022-07-11
Category : Technology & Engineering
ISBN : 9811923949
This book gathers selected high-quality research papers presented at the Seventh International Congress on Information and Communication Technology, held at Brunel University, London, on February 21–24, 2022. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of Things (IoT) and e-mining. Written by respected experts and researchers working on ICT, the book offers a valuable asset for young researchers involved in advanced studies. The work is presented in four volumes.
Author :
Publisher :
Page : 352 pages
File Size : 20,3 MB
Release : 2015
Category : Computer science
ISBN : 9781450334402
Author : Marten van Sinderen
Publisher : Springer Nature
Page : 263 pages
File Size : 39,12 MB
Release : 2021-07-20
Category : Computers
ISBN : 3030830071
This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.
Author : A.E Mansour
Publisher : Elsevier
Page : 523 pages
File Size : 39,22 MB
Release : 2003-06-26
Category : Technology & Engineering
ISBN : 008054116X
KEY FEATURES: - Provides researchers in Ocean engineering with a thorough review of the latest research in the field - Lengthy reports by leading experts - A valuable resource for all interested in ocean engineering DESCRIPTION:The International Ship and Offshore Congress (ISSC) is a forum for the exchange of information by experts undertaking and applying marine structural research. These three volumes contain the eight technical committee reports, six Specialist Committee and 2 Special Task Committee reports which were presented for the 15th International Ship and Offshore Structures Congress (ISSC 2004) in San Diego USA, between 11th and 15th August 2003. Volume III will be published in 2004 and is to contain the discussion of the reports, the chairmen's reply, the text of the invited Lecture and the congress report of ISSC 2003.
Author : S.B. Cooper
Publisher : Springer Science & Business Media
Page : 560 pages
File Size : 11,70 MB
Release : 2007-11-28
Category : Computers
ISBN : 0387685464
This superb exposition of a complex subject examines new developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. This book is suitable for researchers and graduate students in mathematics, philosophy, and computer science with a special interest in logic and foundational issues. Most useful to graduate students are the survey papers on computable analysis and biological computing. Logicians and theoretical physicists will also benefit from this book.
Author : Naoki Kobayashi
Publisher : Springer
Page : 573 pages
File Size : 47,7 MB
Release : 2003-06-30
Category : Computers
ISBN : 3540455000
This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TACS symposium focuses on the theoretical foundations of progr- ming and their applications. As this volume shows, TACS is an international symposium, with participants from many di?erent institutions and countries. TACS 2001 was the fourth symposium in the TACS series, following TACS’91, TACS’94, and TACS’97, whose proceedings were published as Volumes 526, 789, and 1281, respectively, of Springer-Verlag’s Lecture Notes in Computer Science series. The TACS 2001 technical program consisted of invited talks and contributed talks. In conjunction with this program there was a special open lecture by Benjamin Pierce; this lecture was open to non-registrants. TACS 2001 bene?ted from the e?orts of many people; in particular, members of the Program Committee and the Organizing Committee. Our special thanks go to the Program Committee Co-chairs: Naoki Kobayashi (Tokyo Institute of Technology) Benjamin Pierce (University of Pennsylvania).
Author : Luke Ong
Publisher : Springer
Page : 577 pages
File Size : 13,57 MB
Release : 2005-09-07
Category : Computers
ISBN : 3540318976
The Annual Conference of the European Association for Computer Science Logic (EACSL), CSL 2005, was held at the University of Oxford on 22 –25 August 2005.
