Skip to main content
Search Button
Danmark Kobo butik Gavekort Hjælp

Kobo Rakuten

Ønskeliste

Indkøbskurv

Du får VIP-behandling!

Vare(r) ikke tilgængelig til køb
Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.
varervare
varervare

Anbefalet til dig

Loading...

Udarbejdere e-bøger

Hvis du kan lide Udarbejdere e-bøger, så vil du elske disse fremragende valg.
Viser 313 - 336 af 1247 resultater
Skip side bar filters

  • Software Technologies

    12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

    Redigeret af Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and ... Læs mere

    466,89 kr.

  • Beginning KeystoneJS

    A practical introduction to KeystoneJS using a real-world project

    af Manikanta Panati ...
    Serier serie Professional and Applied Computing (R0)
    Learn how to develop a complete and robust Node, express.js and MongoDB-based web application and mobile application backend quickly using KeystoneJS. You’ll learn how KeystoneJS makes complicated things simple, without limiting the power or flexibility of node.js or the frameworks it is built on.Beginning KeystoneJS shows you how to build database-driven websites, applications, and APIs, all ... Læs mere

    305,41 kr.

  • Integrated Formal Methods

    15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

    Redigeret af Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their ... Læs mere

    466,89 kr.

  • C Recipes

    A Problem-Solution Approach

    af Shirish Chavan ...
    Serier serie Professional and Applied Computing (R0)
    Solve your C programming problems with practical and informative recipes. This book covers various aspects of C programming including the fundamentals of C, operators and expressions, control statements, recursion, and user-defined functions. Each chapter contains a series of recipes that you can easily reference to quickly find the answers you are looking for.C Recipes also contains recipes and ... Læs mere

    497,43 kr.

  • Formal Methods: Foundations and Applications

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

    Redigeret af Bill Roscoe, Márcio Cornélio ...
    Serier serie 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 ... Læs mere

    373,49 kr.

  • Excel Avanzato 2.0

    Il Manuale Completo e Aggiornato Per Diventare un Esperto e Imparare Microsoft Excel in Meno di 7 Giorni. Scopri Tutte le Sue Funzionalità in Maniera Professionale

    af Denis Martin ...
    Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo ... Læs mere

    12,51 kr.

  • Logic-Based Program Synthesis and Transformation

    27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

    Redigeret af Fabio Fioravanti, John P. Gallagher ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by ... Læs mere

    466,89 kr.

  • Advanced Guide to Python 3 Programming

    af John Hunt ...
    Serier serie Computer Science (R0)
    Advanced Guide to Python 3 Programming delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.There are nine different sections within the book covering Computer Graphics(including GUIs), ... Læs mere

    560,28 kr.

  • Formal Methods for Multicore Programming

    15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

    Redigeret af Marco Bernardo, Einar Broch Johnsen ...
    Serier serie Computer Science (R0)
    This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and ... Læs mere

    438,87 kr.

  • Designing Microservices with Django

    An Overview of Tools and Practices

    af Akos Hochrein ...
    Serier serie Professional and Applied Computing (R0)
    Explore microservices using the Python-based Django framework and review the benefits and drawbacks of them. This book will examine what microservices look like, how they talk to each other, and how they are crafted using the Python programming language and the Django web framework.You’ll start by understanding what the key differences are between microservices and monolithic architectures. The ... Læs mere

    497,43 kr.

  • Interactive Theorem Proving

    9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

    Redigeret af Jeremy Avigad, Assia Mahboubi ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... Læs mere

    840,47 kr.

  • Introduction to Automata Theory and Formal Languages

    A Logic Building and Problem-solving Approach

    af Amol M. Jagtap, Gautami G. Shingan ...
    This book provides a structured introduction to automata theory, bridging theoretical foundations with practical applications. Designed for students, researchers, and professionals, this book explores fundamental concepts like deterministic and non-deterministic finite automata, context-free grammars, pushdown automata, and Turing machines. It emphasises problem-solving, critical thinking, and ... Læs mere

    847,48 kr.

    FORUDBESTIL

  • Aprende programación de computadoras

    af Miguel Ángel Aquino Martínez, Fernando Aquino Medina ...
    El libro está dirigido a profesionales como abogados, contadores, administradores, estudiantes de nivel básico hasta superior, profesores y en general a cualquier persona que tenga interés por la programación de computadoras. La secuencia de los temas está diseñado para que cualquiera pueda aprender paso a paso los alcances y las limitaciones de cada uno de los componentes de los lenguajes de ... Læs mere

    75,00 kr. eller Gratis med Kobo Plus

  • Decoding the AI Enigma: A Layperson's Guide to Understanding the Concepts, Math, and Pitfalls of Artificial Intelligence

    af Eugene Raymond ...
    Artificial intelligence (AI) has become an integral part of our modern lives, influencing everything from the way we shop and communicate to how we work and make decisions. As AI continues to advance at an astonishing pace, it is crucial for individuals from all walks of life to grasp its concepts, comprehend its underlying mathematics, and navigate its potential pitfalls. In this book, "Decoding ... Læs mere

    62,88 kr. eller Gratis med Kobo Plus

  • Beginning Perl Programming

    From Novice to Professional

    af William "Bo" Rothwell ...
    Serier serie Professional and Applied Computing (R0)
    Get started with Perl 5 and learn the important core concepts of Perl programming, such as variables, flow control, expressions, and I/O. Additionally, this book covers pattern matching and shows that Perl is extremely flexible and powerful, and that it isn’t afraid of the cloud. After reading and using this book, you'll be able to start writing your own powerful scripts to solve many web and ... Læs mere

    497,43 kr.

  • Hybrid Artificial Intelligent Systems

    12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

    Redigeret af Rubén Urraca, Emilio Corchado, Francisco Javier Martínez de Pisón, Héctor Quintián ...
    Serier serie Springer Nature Proceedings Computer Science
    This volume constitutes the refereed proceedings of the 12th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2017, held in La Rioja, Spain, in June 2017.The 60 full papers published in this volume were carefully reviewed and selected from 130 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bioinspired models ... Læs mere

    466,89 kr.

  • Introduction to Programming Languages

    af Arvind Kumar Bansal ...
    In programming courses, using the different syntax of multiple languages, such as C++, Java, PHP, and Python, for the same abstraction often confuses students new to computer science. Introduction to Programming Languages separates programming language concepts from the restraints of multiple language syntax by discussing the concepts at an abstract level.Designed for a one-semester undergraduate ... Læs mere

    1.019,15 kr.

  • Java XML and JSON

    af JEFF FRIESEN ...
    Serier serie Professional and Applied Computing (R0)
    Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select ... Læs mere

    322,87 kr.

  • Conceptual Modeling

    36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

    Redigeret af Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... Læs mere

    466,89 kr.

  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

    Redigeret af Tiziana Margaria, Bernhard Steffen ...
    Serier Bog 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Læs mere

    840,47 kr.

  • Hardware and Software: Verification and Testing

    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

    Redigeret af Roderick Bloem, Eli Arbel ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future ... Læs mere

    466,89 kr.

  • Pro CDI 2 in Java EE 8

    An In-Depth Guide to Context and Dependency Injection

    af Jan Beernink, Arjan Tijms ...
    Serier serie Professional and Applied Computing (R0)
    In Pro CDI 2 in Java EE 8, use CDI and the CDI 2.0 to automatically manage the life cycle of your enterprise Java, Java EE, or Jakarta EE application’s beans using predefined scopes and define custom life cycles using scopes. In this book, you will see how you can implement dynamic and asynchronous communication between separate beans in your application with CDI events.The authors explain how to ... Læs mere

    497,43 kr.

  • Visual Studio Code Distilled

    Evolved Code Editing for Windows, macOS, and Linux

    af Alessandro Del Sole ...
    Serier serie Professional and Applied Computing (R0)
    Use Visual Studio Code to write and debug code quickly and efficiently on any platform, for any device, using any programming language, and on the operating system of your choice.Visual Studio Code is an open source and cross-platform development tool that focuses on code editing across a variety of development scenarios, including web, mobile, and cloud development. Visual Studio Code Distilled ... Læs mere

    322,87 kr.

  • Spring REST

    Building Java Microservices and Cloud Applications

    af Balaji Varanasi, Maxim Bartkov ...
    Serier serie Professional and Applied Computing (R0)
    Design and develop Java-based RESTful APIs using the latest versions of the Spring MVC and Spring Boot frameworks. This book walks you through the process of designing and building a REST application while delving into design principles and best practices for versioning, security, documentation, error handling, paging, and sorting.Spring REST provides a brief introduction to REST, HTTP, and web ... Læs mere

    322,87 kr.