Rakuten Kobo

Risk Assessment and Risk-Driven Testing

Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers

Edited by Michael Felderer, Fredrik Seehusen, Marc-Florian Wendland, Jürgen Großmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed conference proceedings of the Third International Workshop on Risk Assessment and Risk-driven Testing, RISK 2015, held in conjunction with the OMG Technical Meeting in Berlin, Germany, in June 2015.The revised 8 full papers were carefully reviewed and selected from 12 submissions. This workshop addresses systematic approaches that combine risk ... Read more

$40.49 USD

This book constitutes the thoroughly refereed conference proceedings of the Third International Workshop on Risk Assessment and Risk-driven Testing, RISK 2015, held in conjunction with the OMG Technical Meeting in Berlin, Germany, in June 2015.The revised 8 full papers were carefully reviewed and selected from 12 submissions. This workshop addresses systematic approaches that combine risk
... Read more
Projektmanagement für die Praxis

Ein Leitfaden und Werkzeugkasten für erfolgreiche Projekte

by Daud Alam, Uwe Gühl ...

Series series Computer Science and Engineering (German Language)
Dieses Buch vermittelt praxisnahes Wissen und dient als Werkzeugkasten für erfolgreiches Projektmanagement. Das Autorenteam beschäftigt sich mit projektübergreifenden Querschnittsthemen und der Darstellung der Projektphasen. Ausführlich werden deren spezifische Inhalte und die einschlägigen Fachbegriffe erläutert.Tipps und Hinweise, Beispiele, Vorlagen und Checklisten sowie Aufgaben und Lösungen ... Read more

$28.49 USD

Dieses Buch vermittelt praxisnahes Wissen und dient als Werkzeugkasten für erfolgreiches Projektmanagement. Das Autorenteam beschäftigt sich mit projektübergreifenden Querschnittsthemen und der Darstellung der Projektphasen. Ausführlich werden deren spezifische Inhalte und die einschlägigen Fachbegriffe erläutert.Tipps und Hinweise, Beispiele, Vorlagen und Checklisten sowie Aufgaben und Lösungen
... Read more
High Performance Mobile Web

Best Practices for Optimizing Mobile Web Apps

by Maximiliano Firtman ...

Optimize the performance of your mobile websites and webapps to the extreme. With this hands-on book, veteran mobile and web developer Maximiliano Firtman demonstrates which aspects of your site or app slow down the user’s experience, and what you can do to achieve lightning-fast performance. There’s much at stake: if you want to boost your app’s conversion rate, then tackling performance issues ... Read more

$24.49 USD

Optimize the performance of your mobile websites and webapps to the extreme. With this hands-on book, veteran mobile and web developer Maximiliano Firtman demonstrates which aspects of your site or app slow down the user’s experience, and what you can do to achieve lightning-fast performance. There’s much at stake: if you want to boost your app’s conversion rate, then tackling performance issues
... Read more
Tests and Proofs

10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Edited by Bernhard K. Aichernig, Carlo A. Furia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP
... Read more
Lean Python

Learn Just Enough Python to Build Useful Tools

by Paul Gerrard ...

Series series Professional and Applied Computing (R0)
Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says ... Read more

$31.49 USD

Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says
... Read more
Hybrid Systems Biology

5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Edited by Alexandre Donzé, Eugenio Cinquemani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016.The 11 full papers presented in this book were carefully reviewed and selected from 26 submissions. They were organized and presented in 4 thematic sessions also reflected in this book: model simulation; model analysis; discrete and network ... Read more

$40.49 USD

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016.The 11 full papers presented in this book were carefully reviewed and selected from 26 submissions. They were organized and presented in 4 thematic sessions also reflected in this book: model simulation; model analysis; discrete and network
... Read more
Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Edited by Bill Roscoe, Márcio Cornélio ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and ... Read more

$40.49 USD

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and
... Read more
Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Edited by Marieke Huisman, Corina Păsăreanu, Naijun Zhan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, ... Read more

$98.09 USD

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning,
... Read more
机器学习与Python实践

by 黄勉 ...

本书是一本机器学习入门的书籍。全书系统地讲解了机器学习的理论以及在实际数据分析中使用机器学习的基本步骤和方法；介绍了进行数据处理和分析时怎样选择合适的模型，以及模型的估计和优化算法等，并通过多个例子展示了机器学习的应用和实践经验。不同于很多讲解机器学习方法的书籍，本书以实践为导向，使用Python作为编程语言，强调简单、快速地建立模型，解决实际问题。读者通过对本书内容的学习，可以迅速上手实践机器学习，并利用机器学习解决实际问题。 ... Read more

$15.83 USD

本书是一本机器学习入门的书籍。全书系统地讲解了机器学习的理论以及在实际数据分析中使用机器学习的基本步骤和方法；介绍了进行数据处理和分析时怎样选择合适的模型，以及模型的估计和优化算法等，并通过多个例子展示了机器学习的应用和实践经验。不同于很多讲解机器学习方法的书籍，本书以实践为导向，使用Python作为编程语言，强调简单、快速地建立模型，解决实际问题。读者通过对本书内容的学习，可以迅速上手实践机器学习，并利用机器学习解决实际问题。
... Read more
Architekturen Verteilter Softwaresysteme

SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration

by Hansruedi Tremp ...

Series series Computer Science and Engineering (German Language)
Das Lehrbuch führt schrittweise in die faszinierende Welt der modernen verteilten Softwaresysteme ein.Dabei beginnt die Reise mit Überlegungen zu den Tätigkeiten des Softwarearchitekten. Weiter geht es zur Modellierung von serviceorientierten Mehrschichtenarchitekturen sowie deren technischer Umsetzung in den einzelnen Schichten. Dabei beschäftigt sich das Buch mit aktuellen Technologien wie z. B. ... Read more

$35.99 USD

Das Lehrbuch führt schrittweise in die faszinierende Welt der modernen verteilten Softwaresysteme ein.Dabei beginnt die Reise mit Überlegungen zu den Tätigkeiten des Softwarearchitekten. Weiter geht es zur Modellierung von serviceorientierten Mehrschichtenarchitekturen sowie deren technischer Umsetzung in den einzelnen Schichten. Dabei beschäftigt sich das Buch mit aktuellen Technologien wie z. B.
... Read more
Applied Informatics

5th International Conference, ICAI 2022, Arequipa, Peru, October 27–29, 2022, Proceedings

Edited by Hector Florez, Henry Gomez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 5th International Conference on Applied Informatics, ICAI 2022, which took place in Arequipa, Peru, in October 2022.The 32 papers presented in this volume were carefully reviewed and selected from 90 submissions. The contributions are divided into the following thematic blocks: Artificial Intelligence; Data Analysis; Decision Systems; Health Care ... Read more

$49.49 USD

This book constitutes the proceedings of the 5th International Conference on Applied Informatics, ICAI 2022, which took place in Arequipa, Peru, in October 2022.The 32 papers presented in this volume were carefully reviewed and selected from 90 submissions. The contributions are divided into the following thematic blocks: Artificial Intelligence; Data Analysis; Decision Systems; Health Care
... Read more
We Deserve Better Villains

A Video Game Design Survival Guide

by Jai Kristjan ...

We Deserve Better Villains is a highly accessible how-to guide for video game designers no matter what level of experience to understand what is needed to be successful in the development cycle of any video game from concept to supporting the game live. Each chapter outlines a period in a video games development cycle, what key concepts need to be on a designers mind and how they can work to ... Read more

$54.99 USD

We Deserve Better Villains is a highly accessible how-to guide for video game designers no matter what level of experience to understand what is needed to be successful in the development cycle of any video game from concept to supporting the game live. Each chapter outlines a period in a video games development cycle, what key concepts need to be on a designers mind and how they can work to
... Read more
SonarQube in Action

by Patroklos Papapetrou ...

SummarySonarQube in Action shows developers how to use the SonarQube platform to help them continuously improve their source code. The book presents SonarQube's core Seven Axes of Quality: design/architecture, duplications, comments, unit tests, complexity, potential bugs, and coding rules. You'll find simple, easy-to-follow discussion and examples as you learn to integrate SonarQube into your ... Read more

$49.99 USD

SummarySonarQube in Action shows developers how to use the SonarQube platform to help them continuously improve their source code. The book presents SonarQube's core Seven Axes of Quality: design/architecture, duplications, comments, unit tests, complexity, potential bugs, and coding rules. You'll find simple, easy-to-follow discussion and examples as you learn to integrate SonarQube into your
... Read more
Beginning Functional JavaScript

Uncover the Concepts of Functional Programming with EcmaScript 8

by Anto Aravinth, Srikanth Machiraju ...

Series series Professional and Applied Computing (R0)
Understand functional programming concepts and the functional nature of the JavaScript language. Starting with an introduction to functional programming concepts, you will learn the key differences between imperative and functional programming. Diving straight into JavaScript functions, you will learn to write them with ES8. Followed by this you will move to higher order functions and learn how ... Read more

$62.99 USD

Understand functional programming concepts and the functional nature of the JavaScript language. Starting with an introduction to functional programming concepts, you will learn the key differences between imperative and functional programming. Diving straight into JavaScript functions, you will learn to write them with ES8. Followed by this you will move to higher order functions and learn how
... Read more
Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Edited by Peter Csaba Ölveczky, Gwen Salaün ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware
... Read more
PHP grafica dinamica, funzioni e figure

by Antonio Taccetti ...

GD è una libreria di codice open source per la creazione dinamica di immagini.Scritta in C, il suo uso è disponibile con vari linguaggi di programmazione fra i quali PHP dove normalmente è attiva per default.GD crea immagini nei formati grafici PNG, JPEG e GIF e molti altri.Comunemente utilizzata in siti web per generare e modificare immagini runtime, il suo impiego è molto più ampio e variegato ... Read more

$5.99 USD or Free with Kobo Plus

GD è una libreria di codice open source per la creazione dinamica di immagini.Scritta in C, il suo uso è disponibile con vari linguaggi di programmazione fra i quali PHP dove normalmente è attiva per default.GD crea immagini nei formati grafici PNG, JPEG e GIF e molti altri.Comunemente utilizzata in siti web per generare e modificare immagini runtime, il suo impiego è molto più ampio e variegato
... Read more
C# and .NET Core Test-Driven Development

Dive into TDD to create flexible, maintainable, and production-ready .NET Core applications

by Ayobami Adewole ...

Learn how to apply a test-driven development process by building ready C\# 7 and .NET Core applications.Key FeaturesCreate tests to quickly detect and resolve issues when writing portable codeUncover code integration issues that improve code quality using continuous integrationSet up and use data-driven unit testing to verify your codeBook DescriptionThis book guides developers to create robust, ... Read more

$34.19 USD or Free with Kobo Plus

Learn how to apply a test-driven development process by building ready C\# 7 and .NET Core applications.Key FeaturesCreate tests to quickly detect and resolve issues when writing portable codeUncover code integration issues that improve code quality using continuous integrationSet up and use data-driven unit testing to verify your codeBook DescriptionThis book guides developers to create robust,
... Read more
Microservices Development Cookbook

Design and build independently deployable modular services

by Paul Osman ...

Learn and employ practical methods for developing microservices in a quick and efficient wayKey FeaturesGet to grips with microservice architecture to build enterprise-ready applicationsAdopt best practices to find solutions to specific problemsMonitor and manage your services in productionBook DescriptionMicroservices have become a popular choice for building distributed systems that power modern ... Read more

$41.39 USD or Free with Kobo Plus

Learn and employ practical methods for developing microservices in a quick and efficient wayKey FeaturesGet to grips with microservice architecture to build enterprise-ready applicationsAdopt best practices to find solutions to specific problemsMonitor and manage your services in productionBook DescriptionMicroservices have become a popular choice for building distributed systems that power modern
... Read more
Fundamentals of Computation Theory

21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings

Edited by Ralf Klasing, Marc Zeitoun ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms,
... Read more
Foundations of Software Science and Computation Structures

20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Edited by Javier Esparza, Andrzej S. Murawski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They ... Read more

$49.49 USD

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They
... Read more
Information Modelling for Archaeology and Anthropology

Software Engineering Principles for Cultural Heritage

by Cesar Gonzalez-Perez ...

Series series Computer Science (R0)
This unique text/reference reviews the key principles and techniques in conceptual modelling which are of relevance to specialists in the field of cultural heritage.Information modelling tasks are a vital aspect of work and study in such disciplines as archaeology, anthropology, history, and architecture. Yet the concepts and methods behind information modelling are rarely covered by the training ... Read more

$58.49 USD

This unique text/reference reviews the key principles and techniques in conceptual modelling which are of relevance to specialists in the field of cultural heritage.Information modelling tasks are a vital aspect of work and study in such disciplines as archaeology, anthropology, history, and architecture. Yet the concepts and methods behind information modelling are rarely covered by the training
... Read more
CALL (Analyse af GtPlus)

by Heidi Sand ...

Seminar paper from the year 2001 in the subject Computer Science - Software, grade: Bestanden, University of Flensburg (Linguistik), course: Informatik - Medien im Sprachunterricht, language: Danish, abstract: Telekommunikationens teknologiske muligheder udvikler sig i dag hurtigere end nogensinde. Computere er ikke længere kun forbeholdt militæret og ethvert moderne hjem med respekt for sig selv ... Read more

$14.75 USD

Seminar paper from the year 2001 in the subject Computer Science - Software, grade: Bestanden, University of Flensburg (Linguistik), course: Informatik - Medien im Sprachunterricht, language: Danish, abstract: Telekommunikationens teknologiske muligheder udvikler sig i dag hurtigere end nogensinde. Computere er ikke længere kun forbeholdt militæret og ethvert moderne hjem med respekt for sig selv
... Read more
Interactive path planning and real-time motion synthesis for articulated humanoid characters in virtual environments

by Predrag Stojadinović ...

Master's Thesis from the year 2005 in the subject Computer Science - Applied, grade: 2, RWTH Aachen University, language: English, abstract: Virtual Environments are becoming more realistic and more functional with today’s constant technological advances. These advances allow for virtualworlds to closely resemblereality. Therefore, new areas of usage andapplication of virtual environments are ... Read more

$38.95 USD

Master's Thesis from the year 2005 in the subject Computer Science - Applied, grade: 2, RWTH Aachen University, language: English, abstract: Virtual Environments are becoming more realistic and more functional with today’s constant technological advances. These advances allow for virtualworlds to closely resemblereality. Therefore, new areas of usage andapplication of virtual environments are
... Read more
Clean Code für Dummies

by Jürgen Lampe ...

Series series Für Dummies
Clean Code ist eine wichtige Methode, um zu besserer Software zu kommen. Zu beachten sind Korrektheit, Verständlichkeit, Lesbarkeit und Ressourcenverbrauch. Programmieren ist aber mehr als ein Handwerk. Klarer Code ist auch Ausdruck klaren Denkens und beginnt damit schon vor der Niederschrift. Regeln sind wichtige Stützen, aber das eigenständige Denken, Entscheiden und Abwägen ersetzen sie nicht. ... Read more

$24.95 USD

Clean Code ist eine wichtige Methode, um zu besserer Software zu kommen. Zu beachten sind Korrektheit, Verständlichkeit, Lesbarkeit und Ressourcenverbrauch. Programmieren ist aber mehr als ein Handwerk. Klarer Code ist auch Ausdruck klaren Denkens und beginnt damit schon vor der Niederschrift. Regeln sind wichtige Stützen, aber das eigenständige Denken, Entscheiden und Abwägen ersetzen sie nicht.
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Software Development eBooks

Show: