Computer Science

This book constitutes the refereed proceedings of the 12th International Workshop on Multi-Agent-Based Simulation, MABS 2011, held in Taipei, Taiwan, in May 2011. The 10 revised selected and extended

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2010, held in Kolkata, India, in

This volume constitutes the refereed proceedings of the 5th Multi-disciplinary International Workshop On Artificial Intelligence, MIWAI 2011, held in Hyderabad, India, in December 2011. The 38 revised

This book constitutes the refereed proceedings of the 12th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security, CMS 2010, held in Ghent, Belgium, in October 2011. The 26

This book constitutes the thoroughly refereed post-conferenceproceedings of the first two international workshops on computationalmodels of collaboration in distributed systems: CARE 2009, held assate

This book constitutes the refereed proceedings of the 19th International Conference on Case-Based Reasoning, held in London, UK, in September 2011. The 32 contributions presented together with 3 invit

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Trust in Agent Societies, TRUST 2008, held in Estoril, Portugal, in the context of AAMAS 2

This book constitutes the refereed proceedings of the 4th International Conference on Advanced Data Mining and Applications, ADMA 2008, held in Chengdu, China, in October 2008.The 35 revised full pape

This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008. The 19 regular papers and 22 short pap

This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008.The 27 revised full papers together with 17 r

This 1989 book provides an introduction to the immensely important area of computer networking. The book covers everything from systems linked by telephone lines to tightly coupled networks of processors using high speed links, and the correspondingly broad range of techniques that are needed. The emphasis throughout is on the understanding of the principles that may rapidly become out of date. However, detailed discussion of standards and systems is given where they are widely accepted and likely to be long-lasting. In particular the ARPANET and OSI standards are discussed. The author's style is extremely accessible, and many real-life examples are given to illustrate the discussion.

This book constitutes the refereed proceedings of the 6th International Workshop on Knowledge Representation for Health Care, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienn

This book constitutes the proceedings of the 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, held in Castellon, Spain, in July 2014. The 32 papers presented in this volume

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, he

This book constitutes the thoroughly refereed proceedings of the 9th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2013. The workshops were co-l

The two-volume set LNAI 8443 + LNAI 8444 constitutes the refereed proceedings of the 18th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2014, held in Tainan, Taiwan, in May 201

The two-volume set LNAI 7818 + LNAI 7819 constitutes the refereed proceedings of the 17th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2013, held in Gold Coast, Australia, in

The two-volume set LNAI 7818 + LNAI 7819 constitutes the refereed proceedings of the 17th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2013, held in Gold Coast, Australia, in

This book constitutes the refereed proceedings of the 12th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2011, held in Palermo, Italy, in September 2011. The 3

This book constitutes the refereed proceedings of the 12th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2014, held in Salamanca, Spain, in June 2014. The

This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 20

Simulating a continuous process on a (computer) model provides a means of understanding how a system will behave when it is subject to particular constraints. Computers are of particular use for this purpose as the system is one which involves differential equations, eg. the behaviour of the vehicle suspension systems and chemical reactions. The book describes how analogue, digital and hybrid computers are used in simulating continuous systems. Their use is illustrated in the text by a number of simple problems and most chapters also contain examples of varying complexity selected from a range of scientific and engineering disciplines. A short appendix describes the functioning of analogue and hybrid units; for the rest of the book a knowledge of electric circuit theory is not required.

This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem. Ultimately the solution to the simplest version must be given explicitly. In functional programming, recursion has received its full due since it is quite often the only repetitive construct. However, the programming language used here is Pascal and the examples have been chosen accordingly. It makes an interesting contrast with the use of recursion in functional and logic programming. The early chapters consider simple linear recursion using examples such as finding the highest common factor of a pair of numbers, and processing linked lists. Subsequent chapters move up through binary recursion, with examples which include the Towers of Hanoi problem and symbolic differentiation, to general recursion. The book contains well over 100 examples.

C is one of the most popular programming languages today. It is flexible, efficient and highly portable, and is used for writing many different kinds of programs, from compilers and assemblers to spreadsheets and games. This book is based on ANSI C - the recently adopted standard for the C language. It assumes familiarity with basic programming concepts such as variables, constants, iteration and looping, but covers all aspects of C. In general it is as much about learning programming skills as it is about mastering the art of coding programs in C. To this end the text contains a wealth of examples and exercises that foster and test the understanding of the concepts developed in each chapter. An outstanding feature of this book is a treatment of 'pointers'. The topic is presented in a clear, logical and reasoned manner that is easy to follow. Binary files and random access files are also treated in such a manner that the reader can easily become adept at using them. Anybody who wishes

Here is an introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. Haskell is a new, internationally agreed and accepted functional language that is designed for teaching, research and applications, that has a complete formal description, that is freely available, and that is based on ideas that have a wide consensus. Thus it encapsulates some of the main thrusts of functional programming itself, which is a style of programming designed to confront the software crisis directly. Programs written in functional languages can be built up from smaller parts, and they can also be proved correct, important when software has to be reliable. Moreover, a certain amount of parallelism can be extracted from functional languages automatically. This book serves as an introduction both to functional programming and Haskell, and will be most useful to student

In this 1991 book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other, and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. There then follow chapters dealing with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. The final chapter discusses the achievements in the field in the light of the famous Yale shooting example. The book will be welcomed by researchers in theoretical computer scien

此套碼會以散裝單本出貨，包含以下書籍：9781629381510Skill Sharpeners Science, Grade PreK9781629381527Skill Sharpeners Science, Grade K9781629381534Skill Sharpeners Science, Grade 19781629381541Skill Sharpeners Science, Grade 29781629381558Skill Sharpeners Science, Grade 39781629381565Skill Sharpeners Science, Grade 49781629381572Skill Sharpeners Science, Grade 59781629381589Skill Sharpeners Science, Grade 6

Inspire students to explore real-world science topics with Science Lessons and Investigations! The 12 robust science units present important science concepts, supporting Next Generation Science Standa

Inspire students to explore real-world science topics with Science Lessons and Investigations! The 13 robust science units present important science concepts, supporting Next Generation Science Standa

Inspire students to explore real-world science topics with Science Lessons and Investigations! The 14 robust science units present important science concepts, supporting Next Generation Science Standa

The 35 writings depict women in science, androcentric science, gendered science and practice, science and identity, and feminist restructuring of science. Lederman teaches biology and women's studies

共34本9781250350879The Senses Signals and Stimuli (Science Comics)9781250868411Science Comics: Prehistoric Mammals: From the Jurassic to the Ice Age9781626727663Computers: How Digital Hardware Works (Science Comics)9781250841285Deep-Sea Creatures: Adapting to the Abyss (Science Comics)9781250846549Human Spaceflight: Rockets and Rivalry (Science Comics)9781250265913Elephants: Living Large (Science Comics)9781250268860Frogs: Awesome Amphibians (Science Comics)9781250265852Electricity: Energy in Action (Science Comics)9781250767615The Periodic Table of Elements: Understanding the Building Blocks of Everything (Science Comics)9781250216908Bridges: Engineering Masterpieces (Science Comics)9781250269485Birds of Prey: Terrifying Talons (Science Comics)9781250228383Whales: Diving Into the Unknown (Science Comics)9781250222831Spiders: Worldwide Webs (Science Comics)9781250204042The Digestive System: A Tour Through Your Guts (Science Comics)9781250203953Rocks and Minerals: Geology from Caverns to

Science Fiction, Science Fact! is a book for story-loving primary teachers who want to find a creative way to teach science. Contextualising science in a story that pupils know and love, the book cont

Science Fiction, Science Fact! is a book for story-loving primary teachers who want to find a creative way to teach science. Contextualising science in a story that pupils know and love, the book cont

Science Fiction, Science Fact! is a book for story-loving primary teachers who want to find a creative way to teach science. Contextualising science in a story that pupils know and love, the book cont