Algorithms and data structures

This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an alternative to lattice.

This bookconstitutes the proceedings of the 12th International Conference on DistributedComputing and Internet Technology, ICDCIT 2016, held in Bhubaneswar, India, inJanuary 2016.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Advances in Computer Games, ACG 2015, held in Leiden, The Netherlands, in July 2015.

Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.

This bookconstitutes revised selected papers from the First International Workshop onMachine Learning, Optimization, and Big Data, MOD 2015, held in Taormina, Sicily,Italy, in July 2015.

This textbook discusses the most fundamental and puzzling questions about the foundations of computing.

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.

This book constitutes the thoroughly refereedpost-conference proceedings of 12 workshops held at the 21st InternationalConference on Parallel and Distributed Computing, Euro-Par 2015, in Vienna,Austria, in August 2015.

This book constitutes the refereed proceedings of the SecondInternational Conference on Internet of Vehicles, IOV 2015, held inChengdu, China, in December 2015.

This book constitutes the proceedings of the 23rdInternational Symposium on Graph Drawing and Network Visualization, GD 2015,held in Los Angeles, Ca, USA, in September 2015.

This book constitutes the proceedings of the 15th IMA International Conference on Cryptography and Coding, IMACC 2015, held at Oxford, UK, in December 2015.

This book constitutes the thoroughly refereedpost-conference proceedings of the 8th International Conference on Security forInformation Technology and Communications, SECITC 2015, held in Bucharest, Romania,in June 2015.

This book constitutes the refereed proceedings of theWorkshops and Symposiums of the 15th International Conference on Algorithms andArchitectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China,in November 2015.

This fourvolume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedingsof the 15th International Conference on Algorithms and Architectures for ParallelProcessing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.

This fourvolume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedingsof the 15th International Conference on Algorithms and Architectures for ParallelProcessing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.

This fourvolume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedingsof the 15th International Conference on Algorithms and Architectures for ParallelProcessing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.

This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.

The twovolume set LNAI 9413 + 9414 constitutes the proceedings of the 14thMexican International Conference on Artificial Intelligence, MICAI 2015, heldin Cuernavaca,.

The two volume set LNAI 9413 + LNAI 9414 constitutes theproceedings of the 14th Mexican International Conference on ArtificialIntelligence, MICAI 2015, held in Cuernavaca, Morelos, Mexico, in October 2015.

This book constitutes the refereedconference proceedings of the Fourth International Conference on Big DataAnalytics, BDA 2015, held in Hyderabad, India, in December 2015.

This book constitutes the proceedings of the International Conference on Cloud Computing and Security (ICCCS 2015) will be held on August 13-15, 2015 in Nanjing, China.

This bookconstitutes the refereed proceedings of the 11th International Conference onInformation Systems Security, ICISS 2015, held in Kolkata, India, in December2015.

This bookconstitutes the revised selected papers of the Third International Conferenceon Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015.

This book constitutes the refereed proceedings of the 4thInternational Conference on Theory and Practice of Natural Computing, TPNC2015, held in Mieres, Spain, in December 2015.

This book constitutes the refereed proceedings of theThird International Conference on Mining Intelligence and KnowledgeExploration, MIKE 2015, held in Hyderabad, India, in December 2015.

This book constitutesthe proceedings of the 12th International Workshop on Algorithms and Models forthe Web Graph, WAW 2015, held in Eindhoven, The Netherlands, in December 2015.

This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.

This book constitutes the refereed proceedings of the 18th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2015, held in Kyoto, Japan, in November 2015.

This book constitutes the refereed proceedings of the 28th Australasian Joint Conference on Artificial Intelligence, AI 2015, held in Canberra, Australia, in November/December 2015.

This book constitutes the refereed conference proceedings of the 9th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2015, held in Fuzhou, China, in November 2015.

This volume constitutes the refereed proceedings of the17th International Workshop on Combinatorial Image Analysis, IWCIA 2015, heldin Kolkata, India, in November 2015.

This volume constitutes the refereed proceedings of the following 8 International Workshops: OTM Academy; OTM Industry Case Studies Program; Enterprise Integration, Interoperability, and Networking, EI2N; International Workshop on Fact Based Modeling 2015, FBM; Industrial and Business Applications of Semantic Web Technologies, INBAST; Information Systems, om Distributed Environment, ISDE; Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society, META4eS; and Mobile and Social Computing for collaborative interactions, MSC 2015.

This book constitutes the refereed proceedings of the Second International Conference on Future Data and Security Engineering, FDSE 2015, held in Ho Chi Minh City, Vietnam, in November 2015.

This book constitutes the refereed proceedings of the Fourth International Conference on Advances in Visual Informatics, IVIC 2015, held in Bangi, Malaysia, in November 2015.

This book constitutes the refereed proceedings of the 4th D-A-CH Conference on Energy Informatics, D-A-CH EI 2015, held in Karlsruhe, Germany, in November 2015.

This book constitutes the refereed proceedings of the 20th Iberoamerican Congress on Pattern Recognition, CIARP 2015, held in Montevideo, Uruguay, in November 2015.

This book constitutes the refereed proceedings of the 9th International Conference on Combinatorial Optimization and Applications, COCOA 2015, held in Houston, TX, USA, in December 2015.

This bookconstitutes the refereed proceedings of the 16th International Conference onCryptology in India, INDOCRYPT 2015, held in Bangalore, India, in December 2015.

This book constitutes the thoroughly refereedpost-conference proceedings of the 10th International Conference on Large-ScaleScientific Computations, LSSC 2015, held in Sozopol, Bulgaria, in June 2015.

Thisbook constitutes the proceedings of the 20th Nordic Conference on Secure ITSystems, held in Stockholm, Sweden, in October 2015.

This book treats graph colouring as an algorithmic problem, with a strong emphasis on practical applications.

This book constitutes the refereed proceedings of the 6th International Conference on Decision and Game Theory for Security, GameSec 2015, held in London, UK, in November 2015.

This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015.

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.

This book constitutes the refereed proceedings of the 10th Chinese Conference on Biometric Recognition, CCBR 2015, held in Tianjin, China, in November 2015.

The satellite range scheduling (SRS) problem, an important operations research problem in the aerospace industry consisting of allocating tasks among satellites and Earth-bound objects, is examined in this book.

The volume LNCS 9377 constitutes the refereed proceedings of the 12th International Symposium on Neural Networks, ISNN 2015, held in Jeju, South Korea in October 2015.

This comprehensive and stimulating introduction to Matlab, a computer language now widely used for technical computing, is based on an introductory course held at Qian Weichang College, Shanghai University, in the fall of 2014.

This book constitutes the refereed proceedings of the 34th International Conference on Conceptual Modeling, ER 2015, held in Stockholm, Sweden, in October 2015.

This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Colloquium on StructuralInformation and Communication Complexity, SIROCCO 2015, held in Montserrat,Spain, in July 2015.