Computer programming / software engineering Books
Springer Fachmedien Wiesbaden App4U: Mehrwerte durch Apps im B2B und B2C
Book SynopsisProprietäre und monolithische Softwaresysteme haben die Wirtschaft in den letzten Jahrzehnten geprägt. Ohne die digitale Unterstützung der Geschäftsprozesse ist kein Unternehmen wettbewerbsfähig. Die Revolution wird durch den Consumer Bereich vorangetrieben, die Geschäftsprozesse werden mobil und ubiquitär. Konsumenten im B2C und Unternehmen im B2B werden zukünftig permanent in Kontakt treten können, die one-to-one Kommunikation wird durch einen many-to-many Informationsaustausch ersetzt werden.Trade Review“... Die Zielgruppe ist ambitioniert definiert, vom Unternehmer über den IT-Verantwortlichen und IT-Praktiker bis hin zu Lehrenden und Studierenden der BWL und der WI und all denjenigen, die sich in Politik und Gesellschaft mit dem IT-Sektor beschäftigen. ... Ein noch immer aktuelles Buch, das viele nützliche Informationen enthält ...” (Matthias Knoll, in: HMD Praxis der Wirtschaftsinformatik, Jg. 53, 2016, S. 557 f.)Table of ContentsApp4U: Einführung in die Welt der mobilen Applikationen - Strategische Aspekte, Geschäftsmodelle für App-Projekte, mobile Unternehmensprozesse - Aktuelle Situation am Markt, Umsatz und Nutzung mobiler Datendienste und Applikationen - Vorgehens- und Validierungsmodell für die APP Entwicklung - Die technologischen Grundlagen der App Entwicklung - Mobile Security - Aktuelle Praxisbeispiele - Zusammenfassung und Ausblick
£23.74
Springer Fachmedien Wiesbaden Webseiten-Programmierung: Sprachen, Werkzeuge,
Book SynopsisErwerben Sie Internet-Kompetenz durch Learning by Coding. Erstellen und pflegen Sie die eigene WEB-Präsenz mit Interaktion, Grafik und Animation unter Nutzung von Open Source-Software und frei verfügbaren Werkzeugen. Mit HTML5 und CSS3 finden die aktuellen Entwicklungen des Webs Berücksichtigung. Sie generieren QRCode, fügen Social-Buttons der Homepage hinzu und binden RSS-Feeds ein. Lernen Sie Programmieren mit JavaScript und PHP. Dazu steht Ihnen eine Entwicklungsumgebung mit Webserver und Tools wie Texteditor, Bildbearbeitung, sowie weiteren hilfreichen Programmen online zur Verfügung. Die Webseite zum Buch bietet außerdem den Download der Beispiel-Quellcodes und lauffähigen Applikationen an. Leser und Autor können sich über www.seiten-programmierung.de vernetzen. Table of ContentsInternet Infrastruktur, Technologie und Werkzeuge - Webseiten gestalten mit HTML und CSS - Clientseitige Dynamik mit JavaScript - Der Dokumentenstandard XML - Grafik mit SVG - PHP als erste Programmiersprache
£23.74
Springer Fachmedien Wiesbaden Anwendungsentwicklung für Intelligente Umgebungen
Book SynopsisAndreas Heil beschreibt den ganzheitlichen Ansatz zur Anwendungsentwicklung für komplexe Software-Systeme im Web Engineering. Basierend auf dem WebComposition-Vorgehensmodell betrachtet der Autor einen iterativen Entwicklungsprozess – insbesondere für intelligente Umgebungen und verteilte Systeme. Im Vordergrund steht dabei die effiziente und kostengünstige Integration von Hard- und Softwarekomponenten unter Zuhilfenahme von Web-Technologien und dem Semantic Web. Das formale Beschreibungsverfahren WebComposition-Concurrency-System ermöglicht hierbei die effiziente Planung und Überwachung sowohl der Entwicklung als auch des operativen Betriebs des Systems.Table of ContentsEinleitung.- Grundlagen und Prinzipien.- Vorgehensmodelle.- Methoden.- Werkzeuge.- Formalismen.- Umsetzung und Bewertung.- Zusammenfassung und Ausblicke.- Anhang: Ontologien und Schemata.- Formale Darstellung.- Popfly Mashup.
£61.19
Springer Verlag Logica: Volume 1 - Dimostrazioni e modelli al
Book SynopsisGli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica.Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello.Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze.Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale.Table of Contents1 Introduzione.- 2 Alcune nozioni preliminari.- 3 Dimostrabilità e soddisfacibilità.- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK.- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza.
£18.99
New India Publishing Agency Basic and Advance: Python Programming
£140.28
Springer Verlag, Singapore Proceedings of International Conference on
Book SynopsisThis book gathers a collection of high-quality peer-reviewed research papers presented at First International Conference on Innovations in Software Architecture and Computational Systems (ISACS 2021), held at Guru Nanak Institute of Technology, Kolkata, India, during 2 – 3 April 2021. The book primarily focuses on developing artificial intelligence-based algorithms and methodologies for enabling intelligent hardware and software systems. This book brings together the latest findings on efficient technological solutions for developing intelligent and hybrid systems, intelligent software architecture, machine intelligence-based analytical tools and also smart sensors and networks. The prime focus is on solving technological problems using state-of-the-art research finding like fuzzy computing, evolutionary and hybrid frameworks, neuro-computing, etc., along with other AI-based computation platforms. The book offers a valuable resource for all undergraduate, postgraduate students and researchers interested in exploring solution frameworks for social good problems using artificial intelligence. Table of ContentsText to Image Classification using Attn: Gan With Dense Net Architecture.- Cyclone Detection and Forecasting Using Deep Neural Networks through Satellite Data.- An Improved Differential Evolution Scheme for Multilevel Image Thresholding Aided with Fuzzy Entropy.- Clustered Fault Repairing Architecture for 3D ICs using Redundant TSV.- The Implementation of Similarity Measures in Group Decision-Making Problems by Signless Laplacian Energy of an Intuitionistic Fuzzy Graph.- Uniform Grid Formation by Asynchronous Fat Robots.- A LSB Substitution based Steganography Technique using DNA Computing for Color Images.- An Approach of Safe Stock Prediction using Genetic Algorithm.- Suicide Ideation Detection in Online Social Networks: A Comparative Review.- An Improved K-Means Algorithm for Effective Medical Image Segmentation.- Breast Cancer Histopathological Image Classification using Convolutional Neural Networks.- A Framework for Predicting Placement of a Graduate using Machine Learning Techniques.
£179.99
Springer Verlag, Singapore Distributed Computing and Optimization
Book SynopsisThis book introduces research presented at the International Conference on Distributed Computing and Optimization Techniques (ICDCOT–2021), a two-day conference, where researchers, engineers, and academicians from all over the world came together to share their experiences and findings on all aspects of distributed computing and its applications in diverse areas. The book includes papers on distributed computing, intelligent system, optimization method, mathematical modeling, fuzzy logic, neural networks, grid computing, load balancing, communication. It will be a valuable resource for students, academics, and practitioners in the industry working on distributed computing.Table of Contents1. 1T-1D Single-Ended SRAM Cell Design for Low Power Applications using CMOS technology.- 2. A Local Descriptor and Histogram of Oriented Gradients for Makeup Invariant Face Recognition under Uncontrolled Environment.- 3. A Preventive Framework for Mine Representatives Utilizing Remote Sensor Networks with Optimized Routing.- 4. A Quantitative Study of Image Fusion using Hybrid Approach.- 5. A Review on Smart Road Traffic Management System using LoRa WAN.- 6. A Road Side Unit Based Proxy Signature Scheme for Fast Verification of Messages in Vehicular Ad-Hoc Network.- 7. A Secure Data Transmission using AODV and Hash Function for MANET.- 8. A Study on Different Types of Convolutions in Deep Learning in the Area of Lane Detection.- 9. A Study on the Impact of DC Appliances and Direct DC Power System in India.- 10. A Survey on Vehicle Detection and Classification for Electronic Toll Collection Applications
£116.99
Springer Verlag, Singapore Formal Methods and Software Engineering: 24th
Book SynopsisThis book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.Table of ContentsInvited Talk: Verifying Compiler Optimisations.- Regular Papers: An Idealist’s Approach for Smart Contract Correctness.- Active Inference of EFSMs Without Reset.- Learning Mealy Machines with Local Timers.- Compositional Vulnerability Detection with Insecurity Separation Logic.- Dynamic Extrapolation in Extended Timed Automata.- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models.- Trace models of concurrent valuation algebras.- Branch and Bound for Sigmoid-like Neural Network Verification.- Certifying Sequential Consistency of Machine Learning Accelerators.- Guided Integration of Formal Verification in Assurance Cases.- Validation-Driven Development.- Incremental Property Directed Reachability.- Proving Local Invariants in ASTDs.- Doctoral Symposium Papers: Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.- Early and systematic validation of formal models.- Verifying Neural Networks by Approximating Convex Hulls.- Eager to Stop: Efficient Falsification of Deep Neural Networks.- A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning.- Unified Verification of Neural Networks’ Robustness and Privacy in Computer Vision.- IoT Software Vulnerability Detection Techniques through Large Language Model.- Vulnerability Detection via Typestate-Guided Code Representation Learning.
£47.49
Pearson Education SharePoint 2003 Advanced Concepts
Book SynopsisShows how to make SharePoint "jump through hoops" for you - and do exactly what you want. This work covers both Windows SharePoint Services and SharePoint Portal Server 2003 and illuminates SharePoint's interactions with other technologies.
£37.75
Elsevier Science Rapid Contextual Design
Book SynopsisIntroduces Rapid Contextual Design, a fast-paced, adaptive form of Contextual Design. This book walks you step-by-step through organizing the data so you can see your key issues, along with visioning fresh solutions, storyboarding to work out the details, and paper prototype interviewing to iterate the design.Trade Review"Rapid Contextual Design is a timely, relevant book for technical communicators. Whether you are a seasoned usability professional or a novice trying to develop your awareness of user-centered design, you should add this title to your bookshelf." –Eddie VanArsdall, Technical Communication "Here are those little gems of advice that a skilled mentor who peered over your shoulder would tell you. If you lack such a mentor, this book is the next best thing, explaining just what you need to do in a straightforward, easy to read, easy to understand manner." --Don Norman, Nielsen Norman group, Prof., Northwestern University, Author of Emotional Design "The new how-to guide boosts the value of the original Contextual Design book by transforming a design method into pragmatic advices of how to run a Contextual Design project in your own environment." --Joerg Beringer, Director, Strategic Product Design, SAP-AG "A wise guide to interface design dos and don'ts, from people with experience. They create a new language for thinking about design processes, combining a compelling structured process with sufficient freedom for innovative excursions." --Ben Shneiderman, University of Maryland "Rapid Contextual Design provides a further step in innovation by providing detailed, practical advice on how to conduct successful research projects and to fit the project to the need. My team welcomes these new advances and the flexibility they will provide when we conduct future projects using this method." --Terry Austin, User Experience Group Manager, MicrosoftTable of ContentsChapter 1: Introduction Chapter 2: Planning Your Rapid CD Project Chapter 3: Planning Your Contextual Interviews Chapter 4: The Contextual Inquiry Interview Chapter 5: Contextual Interview Interpretation Session Chapter 6: Work Modeling Chapter 7: Building an Affinity Diagram Chapter 8: Consolidated Sequence Models Chapter 9: Using Contextual Data to Write Personas Chapter 10: Walking the Affinity and Consolidated Sequences Chapter 11: Visioning a New Way to Work Chapter 12: Storyboarding Chapter 13: Testing with Paper Prototypes Chapter 14: Paper Prototype Interviews Chapter 15: Rapid CD and Other Methodologies Chapter 16: Issues of Organizational Adoption Appendix 1: Supply Checklist Index
£39.42
Taylor & Francis Ltd Building Enterprise IoT Applications
a huge range and FREE tracked UK delivery on ALL orders.
£175.75
Taylor & Francis Ltd Knowledge Architectures Structures and Semantics
a huge range and FREE tracked UK delivery on ALL orders.
£128.25
Taylor & Francis Knowledge Architectures Structures and Semantics
a huge range and FREE tracked UK delivery on ALL orders.
£45.99
Taylor & Francis Ltd Reliable Computer Systems Design and Evaluation Third Edition
a huge range and FREE tracked UK delivery on ALL orders.
£54.14
Taylor & Francis Ltd Distributed System Design
a huge range and FREE tracked UK delivery on ALL orders.
£56.99
Taylor & Francis Ltd Systems Approach to the Design of Commercial Aircraft
a huge range and FREE tracked UK delivery on ALL orders.
£77.89
Taylor & Francis Ltd PIC16F1847 MicrocontrollerBased Programmable Logic Controller Intermediate Concepts
a huge range and FREE tracked UK delivery on ALL orders.
£104.50
Taylor & Francis Ltd Exploratory Data Analytics for Healthcare
a huge range and FREE tracked UK delivery on ALL orders.
£128.25
Taylor & Francis Ltd C
a huge range and FREE tracked UK delivery on ALL orders.
£36.99
Taylor & Francis Ltd Optimal Enterprise
a huge range and FREE tracked UK delivery on ALL orders.
£109.25
Taylor & Francis Ltd How to Win at CRM Strategy Implementation Management
a huge range and FREE tracked UK delivery on ALL orders.
£42.99
Taylor & Francis Ltd Optimal Enterprise
a huge range and FREE tracked UK delivery on ALL orders.
£42.74
Taylor & Francis Ltd Higher National Computing 2nd ed Core Units for BTEC Higher Nationals in Computing and IT
a huge range and FREE tracked UK delivery on ALL orders.
£45.59
Taylor & Francis Ltd HIGHER NATIONAL COMPUTING TUTOR RESOURCE PACK 2ND EDITION
a huge range and FREE tracked UK delivery on ALL orders.
£128.25
Taylor & Francis Ltd Real Process Improvement Using the CMMI
a huge range and FREE tracked UK delivery on ALL orders.
£75.99
Cambridge University Press Foundations of Parallel Programming
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press A Short Course in Computational Science and Engineering
a huge range and FREE tracked UK delivery on ALL orders.
£29.44
Cambridge University Press Principles of Constraint Programming
a huge range and FREE tracked UK delivery on ALL orders.
£48.44
Cambridge University Press Student Solution Manual for Essential Mathematical Methods for the Physical Sciences
a huge range and FREE tracked UK delivery on ALL orders.
£18.99
Cambridge University Press Formal Methods for Distributed Processing
a huge range and FREE tracked UK delivery on ALL orders.
£45.59
Cambridge University Press Program Construction 22 Cambridge Computer Science Texts Series Number 22
a huge range and FREE tracked UK delivery on ALL orders.
£41.79
Cambridge University Press Testing in Software Development
a huge range and FREE tracked UK delivery on ALL orders.
£29.99
Cambridge University Press Concurrent Programming 26 Cambridge Computer Science Texts Series Number 26
a huge range and FREE tracked UK delivery on ALL orders.
£37.99
Cambridge University Press A Practical Handbook for Software Development
a huge range and FREE tracked UK delivery on ALL orders.
£46.54
Cambridge University Press Efficient Algorithms for Listing Combinatorial Structures 5 Distinguished Dissertations in Computer Science Series Number 5
a huge range and FREE tracked UK delivery on ALL orders.
£88.00
Cambridge University Press The Muse Method for Usability Engineering
a huge range and FREE tracked UK delivery on ALL orders.
£115.90
Cambridge University Press The Muse Method for Usability Engineering
a huge range and FREE tracked UK delivery on ALL orders.
£52.24
Cambridge University Press Semiotics of Programming
a huge range and FREE tracked UK delivery on ALL orders.
£57.95
Cambridge University Press Memory as a Programming Concept in C and C
Book SynopsisThis 2004 book provides students and professional programmers with a concise yet comprehensive view of the role memory plays in all aspects of programming and program behaviour. Describes the techniques and tools to deal with the problems related to memory and its effective use, assuming only a basic knowledge of C or C++.Table of Contents1. Introduction; 2. From source file to executable file; 3. Variables and objects, pointers and addresses; 4. Dynamic allocation and deallocation of memory; 5. Functions and function calls; 6. One-dimensional arrays and strings; 7. Multi-dimensional arrays; 8. Classes and objects; 9. Linked data structures; 10. Memory leaks and their debugging; 11. Programs in execution - processes and threads.
£40.84
Cambridge University Press Parallel Scientific Computing in C and Mpi
a huge range and FREE tracked UK delivery on ALL orders.
£71.24
Cambridge University Press Qualified Types
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press Logic Programming
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press Predicate Transformer Semantics
a huge range and FREE tracked UK delivery on ALL orders.
£49.39
Cambridge University Press Online Computation Compet Analysis
a huge range and FREE tracked UK delivery on ALL orders.
£75.99
Cambridge University Press Information Theory Inference and Learning
Book SynopsisInformation theory and inference, taught together in this exciting textbook, lie at the heart of many important areas of modern technology - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics and cryptography. The book introduces theory in tandem with applications. Information theory is taught alongside practical communication systems such as arithmetic coding for data compression and sparse-graph codes for error-correction. Inference techniques, including message-passing algorithms, Monte Carlo methods and variational approximations, are developed alongside applications to clustering, convolutional codes, independent component analysis, and neural networks. Uniquely, the book covers state-of-the-art error-correcting codes, including low-density-parity-check codes, turbo codes, and digital fountain codes - the twenty-first-century standards for satellite communications, disk drives, and data broadcast. RichlyTrade Review'This is an extraordinary and important book, generous with insight and rich with detail in statistics, information theory, and probabilistic modeling across a wide swathe of standard, creatively original, and delightfully quirky topics. David MacKay is an uncompromisingly lucid thinker, from whom students, faculty and practitioners all can learn.' Peter Dayan and Zoubin Ghahramani, Gatsby Computational Neuroscience Unit, University College, London'This is primarily an excellent textbook in the areas of information theory, Bayesian inference and learning algorithms. Undergraduates and postgraduates students will find it extremely useful for gaining insight into these topics; however, the book also serves as a valuable reference for researchers in these areas. Both sets of readers should find the book enjoyable and highly useful.' David Saad, Aston University'An utterly original book that shows the connections between such disparate fields as information theory and coding, inference, and statistical physics.' Dave Forney, Massachusetts Institute of Technology'An instant classic, covering everything from Shannon's fundamental theorems to the postmodern theory of LDPC codes. You'll want two copies of this astonishing book, one for the office and one for the fireside at home.' Bob McEliece, California Institute of Technology'… a quite remarkable work … the treatment is specially valuable because the author has made it completely up-to-date … this magnificent piece of work is valuable in introducing a new integrated viewpoint, and it is clearly an admirable basis for taught courses, as well as for self-study and reference. I am very glad to have it on my shelves.' Robotica'With its breadth, accessibility and handsome design, this book should prove to be quite popular. Highly recommended as a primer for students with no background in coding theory, the set of chapters on error correcting codes are an excellent brief introduction to the elements of modern sparse graph codes: LDPC, turbo, repeat-accumulate and fountain codes are described clearly and succinctly.' IEEE Transactions on Information TheoryTable of Contents1. Introduction to information theory; 2. Probability, entropy and inference; 3. More about inference; Part I. Data Compression: 4. The source coding theorem; 5. Symbol codes; 6. Stream codes; 7. Codes for integers; Part II. Noisy-Channel Coding: 8. Dependent random variables; 9. Communication over a noisy channel; 10. The noisy-channel coding theorem; 11. Error-correcting codes and real channels; Part III. Further Topics in Information Theory: 12. Hash codes; 13. Binary codes; 14. Very good linear codes exist; 15. Further exercises on information theory; 16. Message passing; 17. Constrained noiseless channels; 18. Crosswords and codebreaking; 19. Why have sex? Information acquisition and evolution; Part IV. Probabilities and Inference: 20. An example inference task: clustering; 21. Exact inference by complete enumeration; 22. Maximum likelihood and clustering; 23. Useful probability distributions; 24. Exact marginalization; 25. Exact marginalization in trellises; 26. Exact marginalization in graphs; 27. Laplace's method; 28. Model comparison and Occam's razor; 29. Monte Carlo methods; 30. Efficient Monte Carlo methods; 31. Ising models; 32. Exact Monte Carlo sampling; 33. Variational methods; 34. Independent component analysis; 35. Random inference topics; 36. Decision theory; 37. Bayesian inference and sampling theory; Part V. Neural Networks: 38. Introduction to neural networks; 39. The single neuron as a classifier; 40. Capacity of a single neuron; 41. Learning as inference; 42. Hopfield networks; 43. Boltzmann machines; 44. Supervised learning in multilayer networks; 45. Gaussian processes; 46. Deconvolution; Part VI. Sparse Graph Codes; 47. Low-density parity-check codes; 48. Convolutional codes and turbo codes; 49. Repeat-accumulate codes; 50. Digital fountain codes; Part VII. Appendices: A. Notation; B. Some physics; C. Some mathematics; Bibliography; Index.
£52.24
Cambridge University Press The Haskell School of Expression Learning Functional Programming through Multimedia
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Cambridge University Press The Haskell School of Expression Learning Functional Programming through Multimedia
a huge range and FREE tracked UK delivery on ALL orders.
£43.69
Cambridge University Press Semiotics of Programming
a huge range and FREE tracked UK delivery on ALL orders.
£33.24
