0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (4)
  • R100 - R250 (245)
  • R250 - R500 (3,208)
  • R500+ (11,468)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer programming > Programming languages > General

Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009 Lisbon, Portugal,... Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings (Paperback, 2009 ed.)
Ian P. Gent
R2,804 Discovery Miles 28 040 Ships in 18 - 22 working days

This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. It was held from September 20-24, 2009 at the Rectory of the New University of Lisbon, Portugal. Everyone involved with the conference thanks our sponsors for their support. There were 128 submissions to the research track, of which 53 were accepted for a rate of 41.4%. Each submission was reviewed by three reviewers, with a small number of additional reviews obtained in exceptional cases. Each review waseitherbyaProgrammeCommitteemember,orbyacolleagueinvitedtohelp by a committee member thanks to their particular expertise. Papers submitted as long papers were accepted at full length or not at all. It is important to note that papers submitted as short papers were held to the same high standards of qualityas long papers. There is thus no distinction in these proceedings between long and short papers, except of course the number of pages they occupy. As it happens, the acceptancerates of short and long papers wereverysimilar indeed. Therewere13submissionstotheapplicationtrack,ofwhich8wereaccepted, fora rateof61.5%.Papersunderwentthe samereviewprocessasregularpapers, and there was not a separate committee for reviewing application track papers. However, papers in the application track were not required to be original or novel research, but to be original and novel as an application of constraints.

Beginning Ruby - From Novice to Professional (Paperback, 2nd ed.): Peter Cooper Beginning Ruby - From Novice to Professional (Paperback, 2nd ed.)
Peter Cooper
R1,164 R992 Discovery Miles 9 920 Save R172 (15%) Ships in 18 - 22 working days

Based on the bestselling first edition, Beginning Ruby: From Novice to Professional, Second Edition is the leading guide for every type of reader who wants to learn Ruby from the ground up.

The new edition of this book provides the same excellent introduction to Ruby as the first edition plus updates for the newest version of Ruby, including the addition of the Sinatra and Ramaze web application frameworks and a chapter on GUI development so developers can take advantage of these new trends.

Beginning Ruby starts by explaining the principles behind object-oriented programming and within a few chapters builds toward creating a full Ruby application. By the end of the book, in addition to in-depth knowledge of Ruby, you'll also have basic understanding of many ancillary technologies such as SQL, XML, web frameworks, and networking.Introduces readers to the Ruby programming language Takes readers from basic programming skills to web development with topics like Ruby-based frameworks and GUI programming Covers many ancillary technologies in order to provide a broader picture (e.g., databases, XML, network daemons) What you'll learn Understand the basics of Ruby and object-oriented building blocks. Work with Ruby libraries, gems, and documentation. Work with files and databases. Write and deploy Ruby applications. Explore Ruby web frameworks and aspects of network programming with Ruby. Develop desktop and GUI applications with Ruby. Who this book is for

Beginning programmers, programmers new to Ruby, and web developers interested in knowing the foundations of the language. Table of Contents Let's Get It Started: Installing RubyProgramming == Joy: A Whistle-Stop Tour of Ruby and Object OrientationRuby's Building Blocks: Data, Expressions, and Flow ControlDeveloping Your First Ruby ApplicationThe Ruby EcosystemClasses, Objects, and ModulesProjects and LibrariesDocumentation, Error Handling, Debugging, and TestingFiles and DatabasesDeploying Ruby Applications and LibrariesAdvanced Ruby FeaturesTying It Together: Developing a Larger Ruby ApplicationWeb Application Frameworks: Rails, Sinatra, and RamazeRuby and the InternetNetworking, Sockets, and DaemonsGUI-Based Desktop Application DevelopmentUseful Ruby Libraries and Gems

Formal Methods for Industrial Critical Systems - 13th International Workshop, FMICS 2008, L'Aquila, Italy, September... Formal Methods for Industrial Critical Systems - 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Paperback, 2009 ed.)
Darren Cofer, Alessandro Fantechi
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but were not restricted to, the following: - Design, speci?cation, code generation and testing based on formal methods - Veri?cation and validation of complex, distributed, real-time systems and embedded systems - Veri?cation and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e. g. , scalability and usability issues) - Tools for the development of formal design descriptions - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identi?cation of new research - rections - Impact of the adoption of formal methods on the development process and associated costs - Application of formal methods in standardization and industrial forums The workshop included six sessions of regular contributions in the areas of model checking, testing, software veri?cation, real-time performance, and ind- trial case studies. There were also three invited presentations, given by Steven Miller,Rance Cleaveland,and Werner Damm, coveringthe applicationof formal methods in the avionics and automotive industries.

Semantics and Algebraic Specification - Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Paperback,... Semantics and Algebraic Specification - Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Paperback, 2009 ed.)
Jens Palsberg
R1,441 Discovery Miles 14 410 Ships in 18 - 22 working days

PeterMosses, renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To honor this event, many of Peter's coauthors, collaborators, close colleagues, and former students gathered in Udine, Italy on September 10, 2009 for a s- posium in his honor. The presentations were on subjects related to Peter's many technicalcontributionsand they were a tribute to his lasting impact onthe ?eld. Here is the program of the symposium: - Opening: Jens Palsberg - Session 1: (Chair: Jos e Luiz Fiadeiro) David Watt, Action Semantics in Retrospect H el eneKirchner, Component-BasedSecurityPolicyDesignwithColored Petri Nets Jos e Meseguer, Order-Sorted Parameterization and Induction - Session 2: (Chair: Andrzej Tarlecki) Martin Musicante, An implementation of Object-Oriented Action Semantics in Maude ChristianoBraga, AConstructiveSemanticsforBasicAspectConstructs Bartek Klin, Structural Operational Semantics for Weighted Transition Systems - Session 3: Fernando Orejas, On the Speci?cation and Veri?cation of Model Tra- formations Olivier Danvy, Towards Compatible and Interderivable Semantic Spe- ?cations for the Scheme Programming Language Mark van den Brand, Type Checking Evolving Languages with MSOS Edward Hermann Haeusler, Action Algebras and Model Algebrasin - notational Semantics - Closing: Peter Mosses ManythankstoMarinaLenisafromthe UniversityofUdine whocoordinated the local arrangements. We also thank the Amga spa and the Net spa of Udine, the Municipality of Udine, the International Centre for Mechanical Sciences of Udine, and the Fondazione Crup for their ?nancial support. The 17 invited chapters of this Festschrift represent the proceedings of the symposium. Somecontributorswereunabletoattendthe event."

Formal Methods for Components and Objects - 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23,... Formal Methods for Components and Objects - 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Paperback, 2009 ed.)
Marcello M. Bonsangue, Eric Madelaine
R1,412 Discovery Miles 14 120 Ships in 18 - 22 working days

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This state-of-the-art survey presents the outcome of the 7th Symposium on Formal Methods for Components and Objects, held in Sophia Antipolis, France, in October 2008. The volume contains 14 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP6 project GridComp on grid programming with components; and the IST-FP6 project MOBIUS aiming at developing the technology for establishing trust and security for the next generation of global computers, using the proof carrying code paradigm.

Case-Based Reasoning Research and Development - 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA,... Case-Based Reasoning Research and Development - 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings (Paperback, 2009 ed.)
Lorraine McGinty, David C. Wilson
R1,475 Discovery Miles 14 750 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 8th International Conference on Case-Based Reasoning, ICCBR 2009, held in Seattle, WA, USA, in July 2009. The 17 revised full papers and 17 revised poster papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. Covering a wide range of CBR topics of interest both to practitioners and researchers, the papers are devoted to theoretical/methodological as well as to applicative aspects of current CBR analysis.

Logic Programming - 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings (Paperback, 2009... Logic Programming - 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings (Paperback, 2009 ed.)
Patricia M Hill, David S. Warren
R1,486 Discovery Miles 14 860 Ships in 18 - 22 working days

This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The ICLP series of conferences is aimed at p- viding a technical forum for presenting and disseminating innovative research results in the ?eld of logic programming. Theconference,whichwasco-locatedwiththeInternationalJointConference on Arti?cial Intelligence (IJCAI), featured technical presentations, tutorials, - vited talks, and a number of special events, including: - The 5th ICLP Doctoral Student Consortium - The Second Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) - The 6th International Workshop on Constraint Handling Rules (CHR) - The 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) - The 4th International Workshop on (Constraint) Logic Programming and Software Engineering (CLPSE) - The First Workshop on Commercial Users of Logic Programming (CULP) - Workshop on ISO Prolog - WG17 - The 19th Workshopon Logic-basedmethods in ProgrammingEnvironments (WLPE) Since the ?rst conference held in Marseilles in 1982, ICLP has been the p- miere international conference for disseminating research results in logic p- gramming. The present edition of the conference received 69 submissions in three categories:application, system and tool, and technical papers. From these, the ProgramCommittee selected 29 papers for presentation and inclusion in the proceedings. In addition, the committee selected nine short papers describing on-going research work, PhD theses and research project overviews for poster presentations and inclusion in the proceedings.

Software Engineering for Self-Adaptive Systems (Paperback, 2009 ed.): Betty H.C. Cheng, Rogerio De Lemos, Paola Inverardi, Jeff... Software Engineering for Self-Adaptive Systems (Paperback, 2009 ed.)
Betty H.C. Cheng, Rogerio De Lemos, Paola Inverardi, Jeff Magee
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occur in the system, its requirements, or the environment in which it is deployed.

The 12 carefully reviewed papers included in this state-of-the-art survey originate from the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in January 2008. They examine the current state-of-the-art in the field, describing a wide range of approaches coming from different strands of software engineering, and present future challenges facing this ever-resurgent and challenging field of research. Also included in this book is an invited roadmap paper on the research challenges facing self-adaptive systems within the area of software engineering, based on discussions at the Dagstuhl Seminar and put together by several of its participants. The papers have been divided into topical sections on architecture-based self-adaptation, context-aware and model-driven self-adaptation, and self-healing. These are preceded by three research roadmap papers.

Theory and Practice of Model Transformations - Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30,... Theory and Practice of Model Transformations - Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009, Proceedings (Paperback, 2009 ed.)
Richard F. Paige
R1,419 Discovery Miles 14 190 Ships in 18 - 22 working days

Models have become essential for supporting the development, analysis and e- lution of large-scale and complex IT systems. Models allow di?erent views, p- spectives and elements of a system to be captured rigorously and precisely, thus allowing automated tools to manipulate and manage the models. In a full-?edged model-driven engineering (MDE) process, the transformations developed and - pressed between models are also key. Model transformations allow the de?nition and implementation of the operations on models, and also provide a chain that enables the automated development of a system from its corresponding m- els. Model transformations are already an integral part of any model-driven approach, and there are a number of available model transformation languages, tools, and supporting environments; some of these approaches are now approa- ing maturity. Nevertheless, much work remains: the research community and industry need to better understand the foundations and implications of model transformations, such as the key concepts and operators supporting transfor- tion languages, their semantics, and their structuring mechanisms and properties (e. g. , modularity, composability and parametrization). The e?ect of using model transformations on organizations and development processes - particularly when applied to ultra-large scale systems, or in distributed enterprises - is still not clear. These issues, and others related to the speci?cation, design, implemen- tion, analysis and experimentation with model transformation, are the focus of these proceedings. The Second International Conference on Model Transformation (ICMT 2009) was held in late June 2009 in Zurich, Switzerland.

Programming Multi-Agent Systems - 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and... Programming Multi-Agent Systems - 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers (Paperback, 2009 ed.)
Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an overview of current state-of-the-art technology for programming multi-agent systems. The aim of the ProMAS workshop series is to promote research on progr- ming technologies and tools that can e?ectively contribute to the development and deployment of multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, - quirements, and principles that are important for establishing multi-agent p- gramming platforms that are useful in practice and have a theoretically sound basis. Topics addressed include but are not limited to the theory and app- cations of agent programming languages, the veri?cation and analysis of agent systems, aswellastheimplementationofsocialstructureinagent-basedsystems (e. g., roleswithin organizations, coordinationandcommunicationin multi-agent systems). In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. We were very pleased to be able to again present a range of high-quality papers at ProMAS 2008. After ?ve successful editions of the ProMAS workshop series, which took place during AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005 (Utrecht, The Netherlands), AAMAS 2006 (Hakodate, Japan), and AAMAS 2007 (Honolulu, Hawai'i), the sixth edition took place on May 13 in Estoril, Portugal, in conjunction with AAMAS 2008, the main international conference on autonomous agents and MAS.

Requirements Engineering: Foundation for Software Quality - 15th International Working Conference, REFSQ 2009 Amsterdam, The... Requirements Engineering: Foundation for Software Quality - 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings (Paperback, 2009 ed.)
Martin Glinz, Patrick Heymans
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This volume contains the papers accepted for presentation at the 15th Wo- ing Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2009), held in Amsterdam during June 8-9, 2009. Since 1994, when the ?rstREFSQ tookplace, requirementsengineering (RE) has never ceasedto be a dominantfactor in?uencing the quality of software, s- tems and services. Initially started as a workshop, the REFSQ working conf- ence series has now established itself as one of the leading international forums for discussing RE in its many relations to quality. It seeks reports on novel ideas and techniques that enhance the quality of RE products and processes, as well as re?ections on current research and industrial RE practices. One of the most appreciated characteristics of REFSQ is that of being a highly interactive and structured event. Each session is organized in order to provokediscussion among the presenters of papers, discussants and all the other participants.Typically, after a paper is presented, it is immediately discussed by one or two pre-assigned discussants, then subject to a free discussion involving all participants. At the end of each session, an open discussion of all the papers presented in the session takes place. REFSQ 2009 maintained this tradit

Machine Learning and Data Mining in Pattern Recognition - 6th International Conference, MLDM 2009, Leipzig, Germany, July... Machine Learning and Data Mining in Pattern Recognition - 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009, Proceedings (Paperback, 2009 ed.)
Petra Perner
R2,800 Discovery Miles 28 000 Ships in 18 - 22 working days

There is no royal road to science, and only those who do not dread the fatiguing climb of its steep paths have a chance of gaining its luminous summits. Karl Marx A Universial Genius of the 19th Century Many scientists from all over the world during the past two years since the MLDM 2007 have come along on the stony way to the sunny summit of science and have worked hard on new ideas and applications in the area of data mining in pattern r- ognition. Our thanks go to all those who took part in this year's MLDM. We appre- ate their submissions and the ideas shared with the Program Committee. We received over 205 submissions from all over the world to the International Conference on - chine Learning and Data Mining, MLDM 2009. The Program Committee carefully selected the best papers for this year's program and gave detailed comments on each submitted paper. There were 63 papers selected for oral presentation and 17 papers for poster presentation. The topics range from theoretical topics for classification, clustering, association rule and pattern mining to specific data-mining methods for the different multimedia data types such as image mining, text mining, video mining and Web mining. Among these topics this year were special contributions to subtopics such as attribute discre- zation and data preparation, novelty and outlier detection, and distances and simila- ties.

Automated Deduction - CADE-22 - 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009.... Automated Deduction - CADE-22 - 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Paperback, 2009 ed.)
Renate Schmidt
R1,468 Discovery Miles 14 680 Ships in 18 - 22 working days

This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of Computer Science at McGill University, Montreal, Canada, during August 2-7, 2009. CADE is the major forum for the presentation of research in all aspects of automated deduction. Within this general topic the conference is devoted to foundations, applications, implementations and practical experiences. CADE was founded in 1974 when it was held in Argonne, USA. Since then CADE has been organized ?rst on a bi-annual basis mostly and since 1996 on an annual basis, in 2001, 2004, 2004, 2006 and 2008 as a constituent of IJCAR. This year the Program Committee selected 32 technical contributions out of 77 initial submissions. Of the selected papers 27 were regular papers and 5 were system papers. Each paper was refereed by at least three reviewers on its sign- icance, technical quality, originality, quality of presentation and relevance to the conference. The refereeing process and the Program Committee meeting were conducted electronically via the Internet using the EasyChair conference m- agement system. The program included three invited lectures by distinguished experts in the area: Instantiation-Based Automated Reasoning: From Theory to Practice by Konstantin Korovin(The Universityof Manchester, UK), Integrated Reasoning and Proof Choice Point Selection in the Jahob System: Mechanisms for Program Survival by Martin Rinard (Massachusetts Institute of Technology, USA), and Building Theorem Provers byMarkStickel(SRIInternational, U

Models of Computation - An Introduction to Computability Theory (Paperback, 2009 ed.): Maribel Fernandez Models of Computation - An Introduction to Computability Theory (Paperback, 2009 ed.)
Maribel Fernandez
R1,294 Discovery Miles 12 940 Ships in 18 - 22 working days

A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turing Machines and Recursive Functions, to the modern computation models inspired by quantum physics. An in-depth analysis of the basic concepts underlying each model of computation is provided.

Divided into two parts, the first highlights the traditional computation models used in the first studies on computability: - Automata and Turing Machines; - Recursive functions and the Lambda-Calculus; - Logic-based computation models.

and the second part covers object-oriented and interaction-based models. There is also a chapter on concurrency, and a final chapter on emergent computation models inspired by quantum mechanics.

At the end of each chapter there is a discussion on the use of computation models in the design of programming languages.

Declarative Agent Languages and Technologies V - 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007,... Declarative Agent Languages and Technologies V - 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers (Paperback, 2008 ed.)
Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems.

The 11 revised full papers presented together with 1 keynote lecture and 2 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected for inclusion in the book. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems and focus especially on modeling, goals, foundational concepts, and communication.

Software and Data Technologies - Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007,... Software and Data Technologies - Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers (Paperback, 2009 ed.)
Joaquim Filipe, Boris Shishkov, Markus Helfert, Leszek Maciaszek
R2,694 Discovery Miles 26 940 Ships in 18 - 22 working days

This book contains the best papers of the Second International Conference on So- ware and Data Technologies (ICSOFT 2007), held in Barcelona, Spain. It was org- ized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC), co-sponsored by the Workflow Management Coalition (WfMC), in cooperation with the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST). The purpose of ICSOFT 2007 was to bring together researchers and practitioners int- ested in information technology and software development. The conference tracks were "Software Engineering," "Information Systems and Data Management," "Programming Languages," "Distributed and Parallel Systems" and "Knowledge Engineering." Being crucial for the development of information systems, software and data te- nologies encompass a large number of research topics and applications: from imp- mentation-related issues to more abstract theoretical aspects of software engineering; from databases and data warehouses to management information systems and kno- edge-base systems; next to that, distributed systems, pervasive computing, data quality and other related topics are included in the scope of this conference.

Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings... Programming Languages and Systems - 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Paperback, 2008 ed.)
G. Ramalingam
R1,424 Discovery Miles 14 240 Ships in 18 - 22 working days

This volume contains the proceedings of the 6th Asian Symposium on Progr- ming Languages and Systems (APLAS 2008), which took place in Bangalore, December 9 - December 11, 2008. The symposium was sponsored by the Asian Association for Foundation of Software (AAFS) and the Indian Institute of S- ence. It was held at the Indian Institute of Science, as part of the institute's centenary celebrations, and was co-located with FSTTCS (Foundations of So- ware Technology and Theoretical Computer Science) 2008, organized by the Indian Association for Research in Computer Science (IARCS). In response to the call for papers, 41 full submissions were received. Each submission was reviewed by at least four Program Committee members with the help of external reviewers. The ProgramCommittee meeting was conducted electronically over a 2-week period. After careful discussion, the Program C- mittee selected 20 papers. I would like to sincerely thank all the members of the APLAS 2008 Program Committee for their excellent job, and all the external reviewers for their invaluable contribution. The submission and review process was managed using the EasyChair system. In addition to the 20 contributed papers, the symposium also featured three invitedtalksbyDinoDistefano(QueenMary, UniversityofLondon, UK), Radha Jagadeesan (DePaul University, USA), and Simon Peyton-Jones (Microsoft - search Cambridge, UK). Many people have helped to promote APLAS as a high-quality forum in Asia to serveprogramminglanguageresearchersworldwide.Following a seriesof well-attendedworkshopsthatwereheldinSingapore(2000), Daejeon(2001), and Shanghai (2002), the ?rst ?ve formal symposiums were held in Beijing (2003), Taipei (2004), Tsukuba (2005), Sydney (2006), and Singapore (2007).

Programming Languages and Systems - 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European... Programming Languages and Systems - 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings (Paperback, 2009 ed.)
Giuseppe Castagna
R1,444 Discovery Miles 14 440 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.

Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European... Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings (Paperback, 2009 ed.)
Marsha Chechik, Martin Wirsing
R1,464 Discovery Miles 14 640 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis.

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy - 22nd International Conference,... Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy - 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings (Paperback, 2009 ed.)
Wenjie Li, Diego Molla-Aliod
R1,441 Discovery Miles 14 410 Ships in 18 - 22 working days

The International Conference on the Computer Processing of Oriental L- guages(ICCPOL)seriesishostedbytheChineseandOrientalLanguagesSociety (COLCS),aninternationalsocietyfoundedin1975.RecentICCPOLeventshave been held in Hong Kong (1997), Tokushima, Japan (1999), Seoul, Korea (2001), Shenyang, China (2003) and Singapore (2006). This volume presents the proceedings of the 22nd International Conference ontheComputerProcessingofOrientalLanguages(ICCPOL2009)heldinHong Kong, March 26-27, 2009. We received 63 submissions and all the papers went through a blind review process by members of the Program Committee. After careful discussion, 25 of them were selected for oral presentation and 15 for poster presentation. The accepted papers covered a variety of topics in natural language processing and its applications, including word segmentation, phrase and term extraction, chunking and parsing, semantic labelling, opinion mining, ontology construction, machine translation, information extraction, document summarization and so on. On behalf of the Program Committee, we would like to thank all authors of submitted papers for their support. We wish to extend our appreciation to the Program Committee members and additional external reviewers for their tremendous e?ort and excellent reviews. We gratefully acknowledge the Or- nizing Committee and Publication Committee members for their generous c- tribution to the success of the conference. We also thank the Asian Federation of Natural Language Processing (AFNLP), the Department of Computing, The Hong Kong Polytechnic University, Hong Kong, the Department of Systems - gineering and Engineering Management, The Chinese University of Hong Kong, Hong Kong, and the Centre for Language Technology, Macquarie University, Australia for their valuable support.

The C. Programming Language (Paperback, 2nd edition): Brian Kernighan, Dennis Ritchie The C. Programming Language (Paperback, 2nd edition)
Brian Kernighan, Dennis Ritchie
R1,535 R1,259 Discovery Miles 12 590 Save R276 (18%) Ships in 5 - 10 working days

This second editon describes C as defined by the ANSI standard. This book is meant to help the reader learn how to program in C. The book assumes some familiarity with basic programming concepts like variables, assignment statements, loops, and functions. A novice programmer should be able to read along and pick up the language.

Software-Intensive Systems and New Computing Paradigms - Challenges and Visions (Paperback, 2008 ed.): Martin Wirsing,... Software-Intensive Systems and New Computing Paradigms - Challenges and Visions (Paperback, 2008 ed.)
Martin Wirsing, Jean-Pierre Ban atre, Matthias Hoelzl, Axel Rauschmayer
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

Software-intensive systems have become increasingly important for a multitude of products and services from all sectors of the economy, our national and - ternational infrastructure, and our daily lives. The ongoing decrease in size and cost of microprocessorsandstoragedevicesis leading to the development of ever more distributed and decentralized systems. Systems are assembled as dynamic federationsofautonomousandevolvingcomponents insteadof monolithicapp- cations, they perform tasks of staggering complexity with continuously cha- ing requirements and in a permanently evolving environment. In the near - ture novel technologies will allow the construction of systems with millions of nodes, and systems will be likely to containsubsystems basedonnew computing paradigms such as molecular computing. To identify these emergent trends, their impact on the information society in the next 10-15 years, and the challenges they present to computing, software engineering, cognition and intelligence, the European Commission has estab- 1 lished two Coordinated Actions: initially the project "Beyond the Horizon" 2 and then, starting in 2006, the project "InterLink" . Both projects are coor- nated by the European Research Consortium for Informatics and Mathematics (ERCIM EEIG) and funded by the Future and Emerging Technologies (FET) Unit of the European Commission. The ongoing project InterLink is composed of three thematic working groups: software-intensive systems and new comp- ingparadigms;ambientcomputingandcommunicationenvironments;intelligent and cognitive systems. This volume presents the results of the working group on software-intensive systemsandnovelcomputing paradigms.Theobjectivewasto imaginethela- scape in which the next generations of software-intensive systems will operate.

Practical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8,... Practical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings (Paperback, 2008 ed.)
Paul Hudak, David S. Warren
R1,423 Discovery Miles 14 230 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008, colocated with POPL 2008, the Symposium on Principles of Programming Languages.

The 20 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 44 submissions. The papers address all current aspects of declarative programming and feature original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including functions, relations, logic, and constraints.

Beginning Spring 2 - From Novice to Professional (Paperback, 1st ed.): Dave Minter Beginning Spring 2 - From Novice to Professional (Paperback, 1st ed.)
Dave Minter
R908 R787 Discovery Miles 7 870 Save R121 (13%) Ships in 18 - 22 working days

Spring has made a remarkable rise since its conception in 2002. Users find Spring the ideal framework to build their applications in J2EE environments. Beginning Spring 2 is the first and only Spring-authorized book that takes you through the first steps of using Spring, and requires no prior J2EE experience. It discusses relevant integrated technologies that you should be aware of, and illustrates how Spring makes using them easier. The book teaches the correct usage of Spring in applications, and lowers the learning curve on J2EE standards. It covers useful features of Spring without delving too far into complicated features. The authors take advantage of less complex alternatives whenever possible, and shows how Spring can make you more productive in complicated environments where J2EE technologies need to be applied. The book covers the complete Spring web tools portfolio and deals with persistence and transaction management. It also introduces 3-tier application design and how to test these designs.

Learn to Tango with D (Paperback, 1st ed.): Kris Bell, Lars Ivar Igesund, Sean Kelly, Erik Parker Learn to Tango with D (Paperback, 1st ed.)
Kris Bell, Lars Ivar Igesund, Sean Kelly, Erik Parker
R842 Discovery Miles 8 420 Ships in 18 - 22 working days

In recent years, much work has been put into creating programming languages that embody a blend of many of the most admired characteristics of their predecessors. One such language is D, which provides developers with the speed of languages such as C and C++ combined with the power and flexibility of languages such as Ruby and Python.

Learn to Tango with D introduces you to the powerful D language, with special attention given to the Tango software library. A concise yet thorough overview of the language's syntax and features is presented, followed by an introduction to Tango, the popular general-purpose library you'll find invaluable when building your D applications.

Authored by prominent D developers Kris Bell, Lars Ivar Igesund, Sean Kelly, and Michael Parker, this book supplies not only the knowledge required to begin building your own D applications, but also the insight these authors have acquired due to their extensive experience working with and participating in the development of the D language. What you'll learn Gain a solid understanding of the D programming language and the companion Tango library. How to leverage the open source Tango library to build robust cross-platform applications. Why the combination of D and Tango can be the best option for your next application. Who is this book for?

Programmers wishing to learn more about the D language and the Tango library.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
C++ Programming - Program Design…
D. Malik Paperback R1,646 R1,523 Discovery Miles 15 230
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,359 Discovery Miles 13 590
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
C Programming For Beginners - The Simple…
Tim Warren Hardcover R550 R505 Discovery Miles 5 050
C++ Programming Fundamentals
D. Malhotra, N Malhotra Paperback R1,278 R1,066 Discovery Miles 10 660
Advanced Python Commands - Become a…
Manuel Mcfeely Hardcover R781 R685 Discovery Miles 6 850
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,458 Discovery Miles 24 580
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,548 Discovery Miles 25 480
Machine Learning - The Ultimate…
Mark Reed Hardcover R559 R513 Discovery Miles 5 130
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R635 Discovery Miles 6 350

 

Partners