Computer science Books
Cambridge University Press Architectures and Mechanisms for Language Processing
a huge range and FREE tracked UK delivery on ALL orders.
£104.50
Cambridge University Press Semiotics of Programming
a huge range and FREE tracked UK delivery on ALL orders.
£33.24
Cambridge University Press Matrix Methods in the Design Analysis of Mechanisms and Multibody Systems
a huge range and FREE tracked UK delivery on ALL orders.
£61.74
Cambridge University Press Computational Fluid Dynamics
a huge range and FREE tracked UK delivery on ALL orders.
£103.55
Cambridge University Press The Language of Word Meaning
a huge range and FREE tracked UK delivery on ALL orders.
£104.50
Cambridge University Press Machine Learning Methods in the Environmental Sciences
a huge range and FREE tracked UK delivery on ALL orders.
£76.94
Cambridge University Press Business Services Orchestration The Hypertier of Information Technology
a huge range and FREE tracked UK delivery on ALL orders.
£55.10
Cambridge University Press Principles of Constraint Programming
a huge range and FREE tracked UK delivery on ALL orders.
£61.75
Cambridge University Press Computational Physics
Book SynopsisFirst published in 2007, this second edition was fully updated with several new sections and chapters. It covers many different computational methodologies and will interest graduate students and researchers in theoretical, computational and experimental physics with a background in elementary programming, numerical analysis, and field theory, condensed matter theory and statistical physics.Trade Review'The growing importance of computational physics to physics research as a whole will depend not only on increasingly powerful computers, but also on the continuing development of algorithms and numerical techniques for putting these machines to use. Furthermore, physics departments will need to augment their curricula to provide students with the skills needed to perform research using computers … In Computational Physics, [Jos] Thijssen has produced a book that is well suited to meeting these needs … This book makes it easier to approach a new topic and encourages the reader to consider a modular approach when writing programs.' Physics Today'… I find this book very useful since it provides a thorough discussion of the computational methods used in physics combined with an extensive presentation of the underlying physics … On the one hand an experienced researcher can easily transfer the obtained knowledge from this book to a particular research topic, while on the other hand a newcomer in the field will benefit from the presentation of the subject from first principles.' Lampros Nikolopoulos, Contemporary PhysicsTable of Contents1. Introduction; 2. Quantum scattering with a spherically symmetric potential; 3. The variational method for the Schrödinger equation; 4. The Hartree–Fock method; 5. Density functional theory; 6. Solving the Schrödinger equation in periodic solids; 7. Classical equilibrium statistical mechanics; 8. Molecular dynamics simulations; 9. Quantum molecular dynamics; 10. The Monte Carlo method; 11. Transfer matrix and diagonalisation of spin chains; 12. Quantum Monte Carlo methods; 13. The infinite element method for partial differential equations; 14. The lattice Boltzmann method for fluid dynamics; 15. Computational methods for lattice field theories; 16. High performance computing and parallelism; Appendix A. Numerical methods; Appendix B. Random number generators; References; Index.
£69.34
Cambridge University Press Talking with Computers
a huge range and FREE tracked UK delivery on ALL orders.
£94.99
Cambridge University Press Interacting Electrons
Book SynopsisThis extensive textbook sets out modern methods of computing properties of materials for graduates and researchers who want to use and understand advanced tools. Including essential theoretical background, practical guidelines and instructive applications, as well as less technical topic overviews for beginners, this book illuminates the mathematics behind the methods.Table of ContentsPreface; Part I. Interacting Electrons: Beyond the Independent-Particle Picture: 1. The many electron problem: introduction; 2. Signatures of electron correlation; 3. Concepts and models for interacting electrons; Part II. Foundations of Theory for Many-Body Systems: 4. Mean fields and auxiliary systems; 5. Correlation functions; 6. Many-body wavefunctions; 7. Particles and quasi-particles; 8. Functionals in many-particle physics; Part III. Many-Body Green's Function Methods: 9. Many-body perturbation theory: expansion in the interaction; 10. Many-body perturbation theory via functional derivatives; 11. The RPA and the GW approximation for the self-energy; 12. GWA calculations in practice; 13. GWA calculations: illustrative results; 14. RPA and beyond: the Bethe-Salpeter equation; 15. Beyond the GW approximation; 16. Dynamical mean field theory; 17. Beyond the single-site approximation in DMFT; 18. Solvers for embedded systems; 19. Characteristic hamiltonians for solids with d and f states; 20. Examples of calculations for solids with d and f states; 21. Combining Green's functions approaches: an outlook; Part IV. Stochastic Methods: 22. Introduction to stochastic methods; 23. Variational Monte Carlo; 24. Projector quantum Monte Carlo; 25. Path integral Monte Carlo; 26. Concluding remarks; Part V. Appendices: A. Second quantization; B. Pictures; C. Green's functions: general properties; D. Matsubara formulation for Green's functions for T ̸= 0; E. Time-ordering, contours, and non-equilibrium; F. Hedin's equations in a basis; G. Unique solutions in Green's function theory; H. Properties of functionals; I. Auxiliary systems and constrained search; J. Derivation of the Luttinger theorem; K. Gutzwiller and Hubbard approaches; References; Index.
£69.34
Cambridge University Press Security and Quality of Service in Ad Hoc Wireless Networks
a huge range and FREE tracked UK delivery on ALL orders.
£77.89
Cambridge University Press Enjoying Music Book 3
Book SynopsisFormal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.Trade Review'… I am impressed with the depth of the discussion and the clearly well-produced book. The authors have argued successfully for the power and versatility of the fundamental ideas underlying λProlog.' Sara Kalvala, Computing ReviewsTable of Contents1. First-order terms and representations of data; 2. First-order horn clauses; 3. First-order hereditary Harrop formulas; 4. Typed lambda terms and formulas; 5. Using quantification at higher-order types; 6. Mechanisms for structuring large programs; 7. Computations over λ-terms; 8. Unification of λ-terms; 9. Implementing proof systems; 10. Computations over functional programs; 11. Encoding a process calculus language; Appendix: the Teyjus system.
£39.89
Cambridge University Press Protein Interaction Networks Computational Analysis
a huge range and FREE tracked UK delivery on ALL orders.
£67.44
Cambridge University Press The Cambridge Handbook of Information and Computer Ethics
a huge range and FREE tracked UK delivery on ALL orders.
£81.69
Cambridge University Press Argumentation Schemes
a huge range and FREE tracked UK delivery on ALL orders.
£80.75
Cambridge University Press Ab Initio Molecular Dynamics
Book SynopsisProviding the first coherent presentation of this rapidly growing field, this book covers a range of methods and their applications. Ideal for graduate students and researchers, it contains pseudo-code and program layout for typical plane wave electronic structure codes, allowing readers to improve and add new features in their code.Trade ReviewReview of the hardback: '… a student or newcomer to the field of molecular dynamics will find the approaches discussed in Ab Initio Molecular Dynamics a good place to start … [The book is] written clearly and informed by the state-of-the-art research experiences of the authors themselves. Reading it is a valuable experience akin to spending time in their research groups.' Physics TodayTable of ContentsPreface; 1. Setting the stage: why ab initio molecular dynamics?; Part I. Basic Techniques: 2. Getting started: unifying MD and electronic structure; 3. Implementation: using the plane wave basis set; 4. Atoms with plane waves: accurate pseudopotentials; Part II. Advanced Techniques: 5. Beyond standard ab initio molecular dynamics; 6. Beyond norm-conserving pseudopotentials; 7. Computing properties; 8. Parallel computing; Part III. Applications: 9. From materials to biomolecules; 10. Properties from ab initio simulations; 11. Outlook; Bibliography; Index.
£73.15
Cambridge University Press Legal Tech and the Future of Civil Justice
a huge range and FREE tracked UK delivery on ALL orders.
£90.25
Cambridge University Press Random Graphs and Networks
a huge range and FREE tracked UK delivery on ALL orders.
£71.25
Cambridge University Press Numerical Methods in Physics with Python
a huge range and FREE tracked UK delivery on ALL orders.
£104.50
Cambridge University Press Nonlocal Continuum Limits of pLaplacian Problems on Graphs
a huge range and FREE tracked UK delivery on ALL orders.
£17.00
Cambridge University Press Semantics and Deep Learning
a huge range and FREE tracked UK delivery on ALL orders.
£17.00
Cambridge University Press An Introduction to String Diagrams for Computer Scientists
a huge range and FREE tracked UK delivery on ALL orders.
£47.49
Cambridge University Press Statistical Methods for Recommender Systems
Book SynopsisThis book is for researchers and students in statistics, data mining, computer science, machine learning, marketing and also practitioners who implement recommender systems. It provides an in-depth discussion of challenges encountered in deploying real-life large-scale systems and state-of-the-art solutions in personalization, explore/exploit, dimension reduction and multi-objective optimization.Trade Review'This book provides a comprehensive guide to state-of-the-art statistical techniques that are used to power recommender systems. … The text is authoritative and well written, with the authors drawing on their extensive experience of researching, implementing and evaluating real-world recommender systems. The book considers the underlying mathematics of the techniques it describes and, as such, is aimed at a readership with a strong background in statistics and cognate subjects. However, while readers without such a background are likely to find the mathematics somewhat challenging, the prose descriptions are highly readable and enable readers to understand the key principles and ideas which underpin the various approaches. This book should be of interest to those involved with recommender systems as well as to those with a broader interest in machine learning.' Patrick Hill, BCS: The Chartered Institute for IT (www.bcs.org)Table of ContentsPart I. Introduction: 1. Introduction; 2. Classical methods; 3. Explore/exploit for recommender problems; 4. Evaluation methods; Part II. Common Problem Settings: 5. Problem settings and system architecture; 6. Most-popular recommendation; 7. Personalization through feature-based regression; 8. Personalization through factor models; Part III. Advanced Topics: 9. Factorization through latent dirichlet allocation; 10. Context-dependent recommendation; 11. Multi-objective optimization.
£45.59
Cambridge University Press Generalized Vectorization CrossProducts and Matrix Calculus
Book SynopsisMatrix calculus is an efficient procedure for obtaining many derivatives at once, used in statistics and econometrics. This book studies different concepts of matrix derivatives and a particular brand of mathematics behind matrix calculus, including special matrices whose elements are all zero or one.Trade Review'A very neat treatment of matrix calculus. There is no doubt that the new operators and matrices presented in the book will see their applications in many areas of econometrics.' Yong Bao, Purdue University'This book is very clearly written in a text style that conveys what needs to be said with no superfluous discussion. It represents a substantial contribution to our understanding of a difficult area. It is a beautiful book, and destined to become a classic.' Ross Maller, Australian National UniversityTable of Contents1. Mathematical prerequisites; 2. Zero-one matrices; 3. Elimination and duplication matrices; 4. Matrix calculus; 5. New matrix calculus results; 6. Applications.
£37.99
Cambridge University Press Psychology of the Digital Age
Book SynopsisThis book provides an engaging overview of life in the digital realm that will benefit scholars, students, and general readers. A founder of the cyberpsychology field, John R. Suler offers insights for improving wellbeing online, highlighting principles about identity management, online relationships, social media, virtual reality, artificial intelligence, and media overload.Trade Review'Professor John R. Suler is acknowledged as the world's leading expert in cyberpsychology and the founder of the discipline … [His] treatment creates a powerful argument for the consideration of cyberpsychology as a unique and valuable discipline in its own right, and is groundbreaking in this regard … His transdisciplinary vision is reflective of the discipline itself, and therefore the content will likely resonate with those of us who are immersed in this subject and those who are interested in discovering it. John's elegant writing style, especially the narrative and historical aspects of the book, should delight anyone with an interest in technology and psychology while providing professors and students in all the fields that interface with the digital world a coherent and informed overview of cyberpsychology.' Mary Aiken, Director, Cyberpsychology Research Centre, from the Foreword'John Suler's long anticipated follow-up to his groundbreaking The Psychology of Cyberspace is finally here - and it's well worth the wait. Exploring what it means to be human in this digital age, Suler smartly captures the challenges facing us as we integrate and translate our analog lives - and even our relationships - into digital. This is thought-provoking reading, setting a new standard as the reference for exploring and understanding our complex, ever-evolving interactions with technology.' John M. Grohol, Founder and CEO, PsychCentral.com'In Psychology of the Digital Age, Suler profoundly reviews cyberpsychology and provides thoughtful understanding of emerging human nature in the context of innovative social technologies, while suggesting interesting psychodynamic views on contemporary psychology. In a creative way, [he] offers a unique and fresh look at the psychological dynamics of numerous behavioral and emotional phenomena characterizing digitally immersed individuals, virtual social environments, and psychological interventions enabled online.' Azy Barak, University of Haifa'John Suler is a pioneer in the rapidly evolving field of cyberpsychology. This book integrates his groundbreaking work over the past two decades. Psychology of the Digital Age explains the diverse nature of online environments and how we form identity and communicate via text and photographs, and the intimate power of online relationships. The book looks at online communication and shows us how our online experiences help us grow, learn, and self-actualize.' Dr Kimberly S. Young, Founder and Director, Center for Internet Addiction Recovery'… Psychology of the Digital Age is a comprehensive and subtle exploration of the various ways that online technology is disputing norms of interaction, behaviour and identity. Professor Suler has done an excellent job of setting out a clear framework for future discussion and exploration of these subjects in a way that will be beneficial and fascinating to both professionals and laypeople, and to whom it is highly recommended.' Gareth SouthwellTable of ContentsList of figures; Foreword; Preface; Acknowledgements; Introduction: newborns in evolution; 1. Cyberpsychology architecture; 2. Presence: be here now; 3. The dynamic digital psyche; 4. The disinhibited self; 5. Electrified relationships; 6. Other than you think: interpersonal perceptions; 7. Text talk; 8. Image talk; 9. I, avatar; 10. One of us: groups and communities; 11. Change and excess; 12. Addicted or devoted; 13. The digital deviant; 14. Synthesized realities and synthesized beings; 15. Electric therapeutics; Conclusion: research and the researcher; References; Index.
£35.14
Cambridge University Press Advanced Data Structures
Book SynopsisThis graduate-level text explains the implementation and analysis of data structures as a specialised topic in applied algorithms. It examines efficient ways to realise query operations and the history of various structures as they are related to basic concepts of data storage.Trade Review'I think this book is well suited as a main or supplemental text in a graduate-level data structures course, not to mention an invaluable desk reference for those interested in implementing the advance structures outlined in this book. This book was a joy to review, and deserves a place on my bookshelf.' SIGACT News'It can be briefly said that the reader will be dealing with an illustration, diagram, and code packed book, that will do it's best not to confuse but to very well explain one of the toughest computer science subjects, and he will be pleasantly surprised to learn many new-age data structures.' Igor Gvero, Software Engineering NotesTable of Contents1. Elementary structures; 2. Search types; 3. Balanced search trees; 4. Tree structures for sets of intervals; 5. Heaps; 6. Union-find and related structures; 7. Data structure transformations; 8. Data structures for strings; 9. Hash tables; 10. Appendix.
£44.64
Cambridge University Press Analytic Combinatorics in Several Variables
Book SynopsisDiscrete structures, like DNA sequences and the internet, are complex objects created from indivisible parts. Now more accessible to graduate students, this book introduces multivariate generating functions, which are used to create computational tools to detect and understand patterns in such structures.Trade Review'A definitive treatment of a challenging but very useful subject. There is a wide variety of situations calling for the estimation of the coefficients of a multivariate generating function. The authors have done a superb job of classifying and elucidating the myriad of available techniques for achieving this aim.' Richard P. Stanley, University of Miami'This book is an invaluable resource that is certain to have dramatic impact on research and teaching in this rapidly developing area of mathematics. The first edition broke new ground; this edition prepares the field for others to harvest new knowledge with important applications in many scientific disciplines.'Table of ContentsPart I. Combinatorial Enumeration: 1. Introduction; 2. Generating functions; 3. Univariate asymptotics; Part II. Mathematical Background: 4. Fourier–Laplace integrals in one variable; 5. Multivariate Fourier–Laplace integrals; 6. Laurent series, amoebas, and convex geometry; Part III. Multivariate Enumeration: 7. Overview of analytic methods for multivariate generating functions; 8. Effective computations and ACSV; 9. Smooth point asymptotics; 10. Multiple point asymptotics; 11. Cone point asymptotics; 12. Combinatorial applications; 13. Challenges and extensions; Appendices: A. Integration on manifolds; B. Algebraic topology; C. Residue forms and classical Morse theory; D. Stratification and stratified Morse theory; References; Author index; Subject index.
£66.49
McGraw-Hill Education - Europe TCPIP Protocol Suite
Book SynopsisIn a world where the number of people who need to learn about data communications and networking is exploding, Forouzan's book is the answer. The book's visual approach makes it easy for students to learn about and understand the concepts involved in this rapidly developing field.TCP/IP Protocol Suite teaches students and professionals, with no prior knowledge of TCP/IP everything they need to know about the subject. This comprehensive book uses hundreds of figures to make technical concepts easy to grasp as well as many examples which help tie the material to the real-world. The fourth edition of TCP/IP Protocol Suite has been fully updated to include all of the recent technology changes in the field. Additionally, out-of-date material has been overhauled to reflect recent changes in technology.Table of ContentsPart 1 Introduction and Underlying Technologies1 Introduction2 The OSI Model and the TCP/IP Protocol Suite3 Underlying TechnologiesPart 2 Network Layer4 Introduction to Network Layer5 IPv4 Addresses6 Delivery and Forwarding, of IP Packets7 Internet Protocol Version 4 (IPv4)8 Address Resolution Protocol (ARP)9 Internet Control Message Protocol Version 4 (ICMPv4)10 Mobile IP11 Unicast Routing Protocols (RIP, OSPF, and BGP)12 Multicasting and Multicast Routing ProtocolsPart 3 Transport Layer13 Introduction to the Transport Layer14 User Datagram Protocol (UDP)15 Transmission Control Protocol (TCP)16 Stream Control Transmission Protocol (SCTP)Part 4 Application Layer17 Introduction to the Application Layer18 Host Configuration: DHCP19 Domain Name System (DNS)20 Remote Login: TELNET and SSH21 File Transfer: FTP and TFTP22 World Wide Web and HTTP23 Electronic Mail: SMTP, POP, IMAP, and MIME24 Network Management: SNMP25 MultimediaPart 5 Next Generation26 IPv6 Addressing27 IPv6 Protocol28 ICMPv6Part 6 Security29 Cryptography and Network Security30 Internet SecurityPart 7 AppendicesAppendix A UnicodeAppendix B Positional Numbering SystemsAppendix C Error Detection CodesAppendix D ChecksumAppendix E HTML, XHTML, XML,and XSL Appendix F Client-Server Programming in JavaAppendix G Miscellaneous Information
£207.96
McGraw-Hill Education - Europe ObjectOriented and Classical Software Engineering
Book SynopsisBuilding on seven strong editions, the eighth edition maintains the organization and approach for which Object-Oriented and Classical Software Engineering is known while making significant improvements and additions to content as well as problems and projects. The revisions for the eighth edition make the text easier to use in a one-semester course.Integrating case studies to show the object oriented approach to software engineering, Object-Oriented and Classical Software Engineering, 8/e presents an excellent introduction to software engineering fundamentals, covering both traditional and object-oriented techniques. While maintaining a unique organization with Part I covering underlying software engineering theory, and Part II presenting the more practical life cycle, the eighth edition includes significant revision to problems, new content, as well as a new chapter to enable instructors to better-utilize the book in a one-semester course. ComplementiTable of ContentsPart I: Introduction to Software EngineeringChapter 1: The Scope of Software EngineeringChapter 2: Software Life-Cycle ModelsChapter 3: The Software ProcessChapter 4: TeamsChapter 5: The Tools of the TradeChapter 6: TestingChapter 7: From Modules to ObjectsChapter 8: Reusability and PortabilityChapter 9: Planning and EstimatingPart II: The Workflows of the Software Life CycleChapter 10: Key Material from Part AChapter 11: RequirementsChapter 12: Classical AnalysisChapter 13: Object-Oriented AnalysisChapter 14: DesignChapter 15: ImplementationChapter 16: Postdelivery MaintenanceChapter 17: More on UMLChapter 18: Emerging Technologies
£216.15
McGraw-Hill Education - Europe Your UNIXLinux The Ultimate Guide
Book SynopsisYour UNIX/Linux: The Ultimate Guide, written with both users and programmers in mind, is the ultimate UNIX/Linux text. Both pedagogical tool and exhaustive reference, it is well-suited to any course that includes UNIX or Linux. A strong pedagogical framework sets it apart from similar texts and allows beginning students to gain a firm grasp of fundamental concepts, while chapters on advanced topics inspire the more experienced reader to move beyond the basics. Nearly a thousand exercises and self-test questions provide a way for students to test and reinforce their understanding of the material.Table of ContentsPart I -- User UNIXChapter 1 Introducing UNIXChapter 2 Getting familiar with UNIX CommandsChapter 3 The File SystemChapter 4 File AttributesChapter 5 The vi/vim EditorChapter 6 The ShellChapter 7 The ProcessChapter 8 The Shell - Customizing the EnvironmentChapter 9 Simple FiltersChapter 10 Filters Using Regular Expressions - grep and sedChapter 11 Networking and Internet ToolsPart II--Programmer UNIXChapter 12 Filtering and programming with awkChapter 13 Shell ProgrammingChapter 14 A C Programming PrimerChapter 15 Program Development ToolsChapter 16 Systems Programming I - FilesChapter 17 Systems Programming II - Process ControlChapter 18 perl - The Master ManipulatorPart III -- System AdministrationChapter 19 System Administration
£155.05
McGraw-Hill Education - Europe Computer Networks A Top Down Approach
Book SynopsisThis new networking text follows a top-down approach. The presentation begins with an explanation of the application layer, which makes it easier for students to understand how network devices work, and then, with the students fully engaged, the authors move on to discuss the other layers, ending with the physical layer. With this top-down approach, its thorough treatment of the topic, and a host of pedagogical features, this new networking book offers the market something it hasn't had for many years- a well-crafted, modern text that places the student at the center of the learning experience. Forouzan's Computer Networks presents a complex topic in an accessible, student-friendly way that makes learning the material not only manageable but fun as well. The appealing visual layout combines with numerous figures and examples to provide multiple routes to understanding. Students are presented with the most up-to-date material currently available and are encouraged to view what theyTable of ContentsChapter 1: Introduction Chapter 2: Application Layer Chapter 3: Transport Layer Chapter 4: Network Layer Chapter 5: Data Link Layer and Wired Networks Chapter 6: Wireless Networks and Mobile IP Chapter 7: Physical Layer and Transmission Media Chapter 8: Multimedia Chapter 9: Network Management Chapter 10: Network Security Chapter 11: Socket-Interface Programming in Java
£185.87
McGraw-Hill Education - Europe An Introduction to ObjectOriented Programming
Book SynopsisAn Introduction to Object-Oriented Programming with Java takes a full-immersion approach to object-oriented programming. Proper object-oriented design practices are emphasized throughout the book. Students learn how to use the standard classes first, then learn to design their own classes. Wu uses a gentler approach to teaching students how to design their own classes, separating the coverage into two chapters. GUI coverage is also located independently in the back of the book and can be covered if desired.Wu also features a robust set of instructors' materials including PowerPoint slides, code samples, and quiz questions.Table of ContentsChapter 0 Introduction to Computers and Programming LanguagesChapter 1 Introduction to Object-Oriented Programming and Software DevelopmentChapter 2 Getting Started with JavaChapter 3 Numerical DataChapter 4 Defining Your Own Classes - Part 1Chapter 5 Selection StatementsChapter 6 Repetition StatementsChapter 7 Defining Your Own Classes - Part 2Chapter 8 Exceptions and AssertionsChapter 9 Characters and StringsChapter 10 Arrays and CollectionsChapter 11 Sorting and SearchingChapter 12 File Input and OutputChapter 13 Inheritance and PolymorphismChapter 14 GUI and Event-Driven ProgrammingChapter 15 Recursive AlgorithmsAppendix AHow to Run Java ProgramsAppendix BSample ProgramsAppendix CStandard Classes and InterfacesAppendix DUML Diagrams
£177.83
McGraw-Hill Education - Europe Exploring Python
Book SynopsisExploring Python takes an active learning approach which engages the student as an equal partner in the process of learning the fun, educational, and powerful programming language. This approach instills habits that students will carry with them throughout their programming career and helps them retain and use the information they have learned.Tim Budd is one of the best-known authors in Computer Science and has a reputation for producing writing texts along the leading edge of the discipline. Exploring Python provides an accessible and reliable introduction into programming with the Python language.Table of ContentsPart I. Basic Features of Python 1.Exploring Python 2.Creating Python Programs3.Defining Functions4.Strings, Lists, Tuples, and Sets5.Dictionaries6.Files7.Classes8.Functional Programming9.Object-Oriented Programming10.Scopes, Name Spaces, and Modules 11.Advanced FeaturesPart II. 12.GUI Programming with Tkinter13.Web-Based Applications14.A Simple Blog15.A Wiki Web16.A Sudoku Solver17. Using XML to Read an iTunes Database18.Data StructuresAppendicesA.Brief Python ReferenceB.How to Learn a Second (or Third) Programming Language
£120.56
McGraw-Hill Education - Europe Java Programming A Comprehensive Introduction
Book SynopsisJava Programming: A Comprehensive Introduction is designed for an introductory programming course using Java. This text takes a logical approach to the presentation of core topics, moving step-by-step from the basics to more advanced material, with objects being introduced at the appropriate time. The book is divided into three parts: Part One covers the elements of the Java language and the fundamentals of programming. An introduction to object-oriented design is also included. Part Two introduces GUI (Graphical User Interface) programming using Swing. Part Three explores key aspects of Java's API (Application Programming Interface) library, including the Collections Framework and the concurrency API. Herb Schildt has written many successful programming books in Java, C++, C, and C#. His books have sold more than three million copies. Dale Skrien is a professor at Colby College with degrees from the University of Illinois-Champaign, the UniTable of ContentsPART ONE: The Java Language1. Java Programming Fundamentals2. Introducing Data Types and Operators3. Program Control Statements4. Introducing Classes, Objects, and Methods5. More Data Types and Operators6. A Closer Look at Methods and Classes7. Inheritance8. Interfaces9. Packages10. Exception Packages11. Using I/O12. Multithreaded Programming13. Enumerations, Autoboxing, and Annotations14. Generics15. Applets and the Remaining Java Keywords16. Introduction to Object-Oriented DesignPART TWO: Introducing GUI Programming with Swing17. Swing Fundamentals18. Exploring Swing Controls19. Working with Menus20. Dialogs21. Threading, Applets, and PaintingPART THREE: Exploring the Java API Library22. String Handling23. Exploring java.lang24. Exploring java.util25. Using the Data Structures in the Collections Framework26. Networking with java.net27. The Concurrency UtilitiesAppendix A: Using Java's Documentation CommentsAppendix B: An Introduction to Regular ExpressionsAppendix C: Answers to Selcted Exercises
£185.04
Pearson Education Adobe Animate CC Classroom in a Book 2018 release
Book Synopsis
£53.63
Pearson Education (US) GO All in One
Book SynopsisAbout our authors Shelley Gaskin (series editor) is a professor in the Business and Computer Technology Division at Pasadena City College in Pasadena, California. She holds a bachelor's degree in Business Administration from Robert Morris College (Pennsylvania), a master's degree in Business from Northern Illinois University, and a doctorate in Adult and Community Education from Ball State University (Indiana). Before joining Pasadena City College, she spent 12 years in the computer industry, where she was a systems analyst, sales representative, and director of Customer Education with Unisys Corporation. She also worked for Ernst & Young on the development of large systems applications for their clients. She has written and developed training materials for custom systems applications in both the public and private sector and has also written and edited numerous computer application textbooks. Debra?Geoghan (PowerPoint author) is a PTable of ContentsTable of Contents Concepts: Computers and Information Processing Concepts: Hardware Concepts: System Software Concepts: Networks, Security, and Privacy Concepts: Troubleshooting and Maintenance Concepts: Application Software Concepts: The Internet Concepts: Digital Ethics and Awareness Applications: Cloud Computing Project 9A: Google Productivity Project 9B: Microsoft Cloud Computing and OneNote Project 9C: Using Professional Networks Applications: Microsoft Office Features and Windows 10 File Management Project I0A: Chef Notes Project 10B: Hotel Files MICROSOFT WORD 2019 Applications: Creating Documents with Microsoft Word Project 11A: Flyer Project 11B: Information Handout Applications: Creating Cover Letters and Using Tables to Create Resumes Project 12A: Resume Project 12B: Cover Letter and Envelope Applications: Creating Research Papers, Newsletters, and Merged Mailing Labels Project 13A: Research Paper Project 13B: Newsletter with Optional Mailing Labels MICROSOFT EXCEL 2019 Applications: Creating a Worksheet and Charting Data Project 14A: Sales Report with Embedded Column Chart and Sparklines Project 14B: Inventory Valuation Applications: Using Functions, Creating Tables, and Managing Large Workbooks Project 15A: Inventory Status Report Project 15B: Weekly Sales Summary Applications: Analyzing Data with Pie Charts, Line Charts, and What-If Analysis Tools Project 16A: Enterprise Fund Pie Chart Project 16B: Tourism Spending Projection with Line Chart MICROSOFT ACCESS 2019 Applications: Getting Started with Microsoft Access 2019 Project 17A: Advising Database with Two Tables Project 17B: Instructors and Courses Database Project 17C: Athletic Scholarships Database MICROSOFT POWERPOINT 2019 Applications: Getting Started with Microsoft PowerPoint Project 18A: Company Overview Presentation Project 18B: Itinerary Presentation Project 18C: Employee Training Presentation
£181.90
MIT Press Ltd Principles of Model Checking The MIT Press
Book SynopsisA comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and
£140.75
MIT Press Ltd Culture and Subjective WellBeing Well Being and
Book SynopsisA textbook that uses a hands-on approach to teach principles of programming languages, with Java as the implementation language.This introductory textbook uses a hands-on approach to teach the principles of programming languages. Using Java as the implementation language, Rajan covers a range of emerging topics, including concurrency, Big Data, and event-driven programming. Students will learn to design, implement, analyze, and understand both domain-specific and general-purpose programming languages. Develops basic concepts in languages, including means of computation, means of combination, and means of abstraction.Examines imperative features such as references, concurrency features such as fork, and reactive features such as event handling.Covers language features that express differing perspectives of thinking about computation, including those of logic programming and flow-based programming.Presumes Java programming experi
£54.15
MIT Press Ltd There Are No Facts Attentive Algorithms
Book SynopsisThe entanglements of people and data, code and space, knowledge and power: how data and algorithms shape the world—and shape us within that world.With the emergence of a post-truth world, we have witnessed the dissolution of the common ground on which truth claims were negotiated, individual agency enacted, and public spheres shaped. What happens when, as Nietzsche claimed, there are no facts, but only interpretations? In this book, Mark Shepard examines the entanglements of people and data, code and space, knowledge and power that have produced an uncommon ground—a disaggregated public sphere where the extraction of behavioral data and their subsequent processing and sale have led to the emergence of micropublics of ever-finer granularity. Shepard explores how these new post-truth territories are propagated through machine learning systems and social networks, which shape the public and private spaces of everyday life. He traces the balkanizatio
£22.10
MIT Press Ltd The Developmental Organization of Robot Behavior
Book SynopsisA comprehensive introduction to the mathematical foundations of movement and actuation that apply equally to animals and machines.This textbook offers a computational framework for the sensorimotor stage of development as applied to robotics. Much work in developmental robotics is based on ad hoc examples, without a full computational basis. This book's comprehensive and complete treatment fills the gap, drawing on the principal mechanisms of development in the first year of life to introduce what is essentially an operating system for developing robots. The goal is to apply principles of development to robot systems that not only achieve new levels of performance but also provide evidence for scientific theories of human development.
£85.50
MIT Press Ltd Artificial Intelligence
Book Synopsis
£23.96
MIT Press Ltd Cryptographic City
Book Synopsis
£36.10
Cengage Learning, Inc Fundamentals of Python
Book SynopsisWhether you are a computer programming student, hobbyist or professional, Lambert's FUNDAMENTALS OF PYTHON: DATA STRUCTURES, 2E offers the perfect introduction to object-oriented design and data structures using the popular Python programming language. The level of instruction is ideal if you've had at least one semester of programming experience in an object-oriented language, such as Java, C++ or Python. Step-by-step explanations and focused exercises clearly explain the design of collection classes with polymorphism and inheritance and multiple implementations of collection interfaces. This edition also addresses the analysis of the space/time tradeoffs of different collection implementations and, specifically, array-based implementations and link-based implementations. You learn to work with collections, including sets, lists, stacks, queues, trees, dictionaries and graphs. Prepare for success with FUNDAMENTALS OF PYTHON: DATA STRUCTURES, 2E.Table of Contents1. Basic Python Programming. 2. An Overview of Collections. 3. Searching, Sorting, and Complexity Analysis. 4. Arrays and Linked Structures. 5. Interfaces, Implementations, and Polymorphism. 6. Inheritance and Abstract Classes. 7. Stacks. 8. Queues. 9. Lists. 10. Trees. 11. Sets and Dictionaries. 12. Graphs.
£218.04
Shelly Cashman Series Microsoft Windows 10
Book SynopsisIntroduce your students to the important new features that the latest version of Microsoft Office has to offer with the focused approach found in MICROSOFT Office 365 & WINDOWS 2019: COMPREHENSIVE. Part of the acclaimed Shelly Cashman Series, this edition continues the series' strong history of innovation with an enhanced learning approach designed to engage students, improve retention and prepare learners for success with Microsoft Windows. A trademark step-by-step, screen-by-screen approach encourages students to expand their understanding of the software through experimentation, critical thought and personalization while also engaging them in real-world scenarios to reinforce critical skills to make them successful in their educational and professional careers. In addition, MindTap and updated SAM (Skills Assessment Manager) online resources are available to guide additional study and ensure successful results.Table of Contents1. Introduction to Windows 10. 2. Working with the Windows 10 Desktop. 3. File and Folder Management. 4. Personalizing Your Work Environment. 5. Advanced Personalization and Customization. 6. Advanced Searching Techniques. 7. Microsoft Edge. 8. Mastering Digital Media. 9. Understanding Security, Networking and Utilities. Index.
£183.80
Cengage Learning, Inc Android Boot Camp for Developers Using Java A
Book SynopsisGain a strong foundation in Java programming with the confidence and technical skills to build working mobile applications when you use ANDROID BOOT CAMP FOR DEVELOPERS USING JAVA: A GUIDE TO CREATING YOUR FIRST ANDROID APPS, 4E. Written by an award-winning technology author, this book provides a thorough introduction to Java with an emphasis on creating effective mobile applications. This book is ideal whether you have some programming experience or are brand new to Java and the Android Studio. The book's hands-on tutorial approach offers step-by-step instruction and numerous screen shots to guide you through tasks. Practical callouts, industry tips, and a variety of cases and assignments reinforce your understanding of programming logic and Java tools for Android. Instruction is relevant for today and focused on programming principles for the future. Become a competitive programmer equipped to meet the growing demand for mobile apps with this engaging text.Table of Contents1. Voila! Meeting the Android Using Android Studio. 2. Simplify! The Android Studio User Interface. 3. Engage! Android User Input, Variables, and Operations. 4. Explore! Icons and Decision Making Controls. 5. Investigate! Android Lists, Arrays, and Web Browsers. 6. Jam! Implementing Audio in Android Apps. 7. Reveal! Displaying Pictures in a GridView. 8. Design! Using a DatePicker on a Tablet. 9. Customize! Navigating with Tabs on a Tablet App. 10. Move! Creating Animation and Graphics. 11. Discover! Persistent Data. 12. Finale! Publishing your Android App.
£152.69
John Wiley & Sons Inc An Introduction to Practical Formal Methods Using
Book SynopsisThis book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.Trade Review“The strength of the book is the nice mixture of a pleasant to read and gentle presentation of the underlying concepts together with detailed tool descriptions (focused on a user's point of view). This book is perfectly suited for a course at senior undergraduate or beginning graduate level.” (Zentralblatt MATH, 1 December 2012) "I highly recommend this book, both for formal methods in general and for temporal logic in particular. It will remain within my easy reach for a long time." (Computing Reviews, 1 December 2011) Table of ContentsPreface vii 1 Introduction 1 1.1 Aims of the book 2 1.2 Why temporal logic? 3 1.3 What is temporal logic? 4 1.4 Structure of the book 6 2 Temporal logic 9 2.1 Intuition 10 2.2 Syntactic aspects 12 2.3 Semantics 14 2.4 Reactive system properties 22 2.5 What is temporal logic? 25 2.6 Normal form 28 2.7 Büchi automata and temporal logic 29 2.8 Advanced topics 37 2.9 Final exercises 47 3 Specification 49 3.1 Describing simple behaviours 49 3.2 A semantics of imperative programs 53 3.3 Linking specifications 60 3.4 Advanced topics 74 3.5 Final exercises 82 3.6 Where to next? 83 4 Deduction 85 4.1 Temporal proof 85 4.2 Clausal temporal resolution 87 4.3 The TSPASS system 108 4.4 Advanced topics 122 4.5 Final exercises 127 5 Model checking 129 5.1 Algorithmic verification 129 5.2 Automata-theoretic model checking 135 5.3 The Spin system 143 5.4 Advanced topics 171 5.5 Final exercises 181 6 Execution 185 6.1 From specifications to programs 185 6.2 MetateM: executing temporal formulae 188 6.3 The Concurrent MetateM system 211 6.4 Advanced topics 233 7 Selected applications 243 7.1 Model checking programs 243 7.2 Security protocol analysis 246 7.3 Recognizing temporal patterns 251 7.4 Parameterized systems 255 7.5 Reasoning with intervals 260 7.6 Planning 264 8 Summary 267 A Review of classical logic 269 A.1 Introduction 269 A.2 Propositional logic 271 A.3 Normal forms 276 A.4 Propositional resolution 279 A.5 Horn clauses 286 A.6 First-order logic 288 B Solutions to exercises 307 References 321 Index 349
£98.95
John Wiley & Sons Inc Smart Technologies for Safety Engineering
Book SynopsisSmart technologies comprise a dynamic new interdisciplinary research field that encompasses a wide spectrum of engineering applications including, but not limited to, intelligent structures and materials, actuators, sensors and structural observability, control systems and software tools for the design of adaptive structures.Table of ContentsPreface. About the Authors. Organization of the Book. 1 Introduction to Smart Technologies (Jan Holnicki-Szulc, Jerzy Motylewski and Przemyslaw Kolakowski). 1.1 Smart Technologies – 30 Years of History. 1.2 Smart-Tech Hardware Issues. 1.2.1 Structual Health Monitoring. 1.2.2 Adaptive Impact Absorption. 1.3 Smart-Tech Software Issues. References. 2 The Virtual Distortion Method – A Versatile Reanalysis Tool (Przemyslaw Kolakowski, Marcin Wiklo and Jan Holnicki-Szulc). 2.1 Introduction. 2.2 Overview of Reanalysis Methods. 2.3 Virtual Distortion Method – The Main Idea. 2.4 VDM in Structural Statics. 2.4.1 Influence Matrix in Statics. 2.4.2 Stiffness Remodeling in Statics. 2.4.3 Plasticity in Statics. 2.4.4 Example 1 in Statics. 2.4.5 Example 2 in Statics. 2.5 VDM in Structural Dynamics. 2.5.1 Influence Matrices in Dynamics. 2.5.2 Stiffness Remodeling in Dynamics. 2.5.3 Plasticity in Dynamics. 2.5.4 Mass Remodeling in Dynamics. 2.6 VDM-Based Sensitivity Analysis. 2.7 Versatility of VDM in System Modeling. 2.8 Recapitulation. 2.8.1 General Remarks. 2.8.2 Applications of the VDM to Structures. 2.8.3 Applications of the VDM to Nonstructural Systems. References. 3 VDM-Based Health Monitoring of Engineering Systems (Przemyslaw Kolakowski, Andrzej´ Swiercz, Anita Orlowska, Marek Kokot and Jan Holnicki-Szulc). 3.1 Introduction to Structural Health Monitoring. 3.2 Damage Identification in Skeletal Structures. 3.2.1 Introduction. 3.2.2 Time Domain (VDM-T) versus Frequency Domain (VDM-F). 3.2.3 Modifications in Beams. 3.2.4 Problem Formulation and Optimization Issues. 3.2.5 Numerical Algorithm. 3.2.6 Numerical Examples. 3.2.7 Experimental Verification. 3.2.8 Conclusions. 3.3 Modeling and Identification of Delamination in Double-Layer Beams. 3.3.1 Introduction. 3.3.2 Modeling of Delamination. 3.3.3 Identification of Delamination. 3.3.4 Conclusions. 3.4 Leakage Identification in Water Networks. 3.4.1 Introduction. 3.4.2 Modeling of Water Networks and Analogies to Truss Structures. 3.4.3 VDM-Based Simulation of Parameter Modification. 3.4.4 Leakage Identification. 3.4.5 Numerical Examples. 3.4.6 Conclusions. 3.5 Damage Identification in Electrical Circuits. 3.5.1 Introduction. 3.5.2 Modeling of Electrical Circuits and Analogies to Truss Structures. 3.5.3 VDM Formulation. 3.5.4 Defect Identification. 3.5.5 Numerical Example. 3.5.6 Conclusions. References. 4 Dynamic Load Monitoring (Lukasz Jankowski, Krzysztof Sekula, Bartlomiej D. Blachowski, Marcin Wiklo, and Jan Holnicki-Szulc). 4.1 Real-Time Dynamic Load Identification. 4.1.1 Impact Load Characteristics. 4.1.2 Solution Map Approach. 4.1.3 Approach Based on Force and Acceleration. 4.1.4 Approaches Based on Conservation of Momentum. 4.1.5 Experimental Test Stand. 4.1.6 Experimental Verification. 4.1.7 Comparison of Approaches. 4.2 Observer Technique for On-Line Load Monitoring. 4.2.1 State-Space Representation of Mechanical Systems. 4.2.2 State Estimation and Observability. 4.2.3 Model-Based Input Estimation. 4.2.4 Unknown Input Observer. 4.2.5 Numerical Examples. 4.3 Off-Line Identification of Dynamic Loads. 4.3.1 Response to Dynamic Loading. 4.3.2 Load Reconstruction. 4.3.3 Optimum Sensor Location. 4.3.4 Numerical Example. References. 5 Adaptive Impact Absorption (Piotr K. Pawlowski, Grzegorz Mikulowski, Cezary Graczykowski, Marian Ostrowski, Lukasz Jankowski and Jan Holnicki-Szulc). 5.1 Introduction. 5.2 Multifolding Materials and Structures. 5.2.1 Introduction. 5.2.2 The Multifolding Effect. 5.2.3 Basic Model of the MFM. 5.2.4 Experimental Results. 5.3 Structural Fuses for Smooth Reception of Repetitive Impact Loads. 5.3.1 Introductory Numerical Example. 5.3.2 Optimal Control 162 5.3.3 Structural Recovery. 5.3.4 Numerical Example of Adaptation and Recovery. 5.4 Absorption of Repetitive, Exploitative Impact Loads in Adaptive Landing Gears. 5.4.1 The Concept of Adaptive Landing Gear. 5.4.2 Control System Issues. 5.4.3 Modeling of ALG. 5.4.4 Control Strategies. 5.4.5 Potential for Improvement. 5.4.6 Fast Control of an MRF-Based Shock Absorber. 5.5 Adaptive Inflatable Structures with Controlled Release of Pressure. 5.5.1 The Concept of Adaptive Inflatable Structures (AIS), Mathematical Modeling and Numerical Tools. 5.5.2 Protection against Exploitative Impact Loads for Waterborne Transport. 5.5.3 Protective Barriers against an Emergency Crash for Road Transport. 5.5.4 Adaptive Airbag for Emergency Landing in Aeronautic Applications. 5.6 Adaptive Crash Energy Absorber. 5.6.1 Low-Velocity Impacts. 5.6.2 Energy Absorption by the Prismatic Thin-Walled Structure. 5.6.3 Use of Pyrotechnic Technology for the Crash Stiffness Reduction. References. 6 VDM-Based Remodeling of Adaptive Structures Exposed to Impact Loads (Marcin Wiklo, Lukasz Jankowski, Malgorzata Mróz and Jan Holnicki-Szulc). 6.1 Material Redistribution in Elastic Structures. 6.1.1 VDM Formulation. 6.1.2 Sensitivity Analysis. 6.1.3 Numerical Testing Example. 6.2 Remodeling of Elastoplastic Structures. 6.2.1 VDM Formulation. 6.2.2 Sensitivity Analysis. 6.3 Adaptive Structures with Active Elements. 6.3.1 Stiffest Elastic Substructure. 6.3.2 Structural Fuses as Active Elements. 6.3.3 Comments. 6.4 Remodeling of Damped Elastic Structures. 6.4.1 Damping Model. 6.4.2 General VDM Formulation. 6.4.3 Specific Formulations and Sensitivity Analysis. References. 7 Adaptive Damping of Vibration by the Prestress Accumulation/Release Strategy (Arkadiusz Mróz, Anita Orlowska and Jan Holnicki-Szulc). 7.1 Introduction. 7.2 Mass–Spring System. 7.2.1 The Concept. 7.2.2 Analytical Solution. 7.2.3 Case with Inertia of the Active Spring Considered. 7.3 Delamination of a Layered Beam. 7.3.1 PAR Strategy for Layered Beams. 7.3.2 Numerical Example of a Simply Supported Beam. 7.3.3 PAR – the VDM Formulation. 7.4 Experimental Verification. 7.4.1 Experimental Set-up. 7.4.2 Control Procedure. 7.4.3 Results. 7.5 Possible Applications. References. 8 Modeling and Analysis of Smart Technologies in Vibroacoustics (Tomasz G. Zielínski). 8.1 Introduction. 8.1.1 Smart Hybrid Approach in Vibroacoustics. 8.1.2 A Concept of an Active Composite Noise Absorber. 8.1.3 Physical Problems Involved and Relevant Theories. 8.1.4 General Assumptions and Some Remarks on Notation. 8.2 Biot’s Theory of Poroelasticity. 8.2.1 Isotropic Poroelasticity and the Two Formulations. 8.2.2 The Classical Displacement Formulation. 8.2.3 The Mixed Displacement–Pressure Formulation. 8.3 Porous and Poroelastic Material Data and Coefficients. 8.3.1 Porous Materials with a Rigid Frame. 8.3.2 Poroelastic Materials. 8.4 Weak Forms of Poroelasticity, Elasticity, Piezoelectricity and Acoustics. 8.4.1 Weak Form of the Mixed Formulation of Poroelasticity. 8.4.2 Weak Form for an Elastic Solid. 8.4.3 Weak Form of Piezoelectricity. 8.4.4 Weak Form for an Acoustic Medium. 8.5 Boundary Conditions for Poroelastic Medium. 8.5.1 The Boundary Integral. 8.5.2 Imposed Displacement Field. 8.5.3 Imposed Pressure Field. 8.6 Interface Coupling Conditions for Poroelastic and Other Media. 8.6.1 Poroelastic–Poroelastic Coupling. 8.6.2 Poroelastic–Elastic Coupling. 8.6.3 Poroelastic–Acoustic Coupling. 8.6.4 Acoustic–Elastic Coupling. 8.7 Galerkin Finite Element Model of a Coupled System of Piezoelectric, Elastic, Poroelastic and Acoustic Media. 8.7.1 A Coupled Multiphysics System. 8.7.2 Weak Form of the Coupled System. 8.7.3 Galerkin Finite Element Approximation. 8.7.4 Submatrices and Couplings in the Algebraic System. 8.8 Modeling of Poroelastic Layers with Mass Implants Improving Acoustic Absorption. 8.8.1 Motivation. 8.8.2 Two Approaches in Modeling Small Solid Implants. 8.8.3 Acoustic Absorption of the Poroelastic Layer. 8.8.4 Results of Analyses. 8.8.5 Concluding Remarks. 8.9 Designs of Active Elastoporoelastic Panels. 8.9.1 Introduction. 8.9.2 Active Sandwich Panel. 8.9.3 Active Single-Plate Panel. 8.10 Modeling and Analysis of an Active Single-Plate Panel. 8.10.1 Kinds and Purposes of Numerical Tests. 8.10.2 Plate Tests. 8.10.3 Multilayer Analysis. 8.10.4 Analysis of Passive Behavior of the Panel. 8.10.5 Test of Active Behavior of the Panel. 8.10.6 Concluding Remarks. References. Acknowledgements. Index.
£117.75
