Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda
Kobo Rakuten
Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


Computer Science (R0) Serie de eBooks

1 - 12 de 12 resultados
Skip side bar filters

  • On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

    de Brian Henderson-Sellers ...
    Series series Computer Science (R0)
    Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms.Introducing set theory as a consistent ... Leer más

    $49.49 USD

  • Situational Method Engineering

    de Brian Henderson-Sellers, Jolita Ralyté, Matti Rossi, Pär J. Ågerfalk ...
    Series series Computer Science (R0)
    While previously available methodologies for software – like those published in the early days of object technology – claimed to be appropriate for every conceivable project, situational method engineering (SME) acknowledges that most projects typically have individual characteristics and situations. Thus, finding the most effective methodology for a particular project needs specific tailoring to ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Computational Logic and Set Theory

    Applying Formalized Logic to Analysis

    de Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo ...
    Series series Computer Science (R0)
    This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a ... Leer más

    $49.99 USD

  • Agile Risk Management

    de Alan Moran ...
    Series series Computer Science (R0)
    This work is the definitive guide for IT managers and agile practitioners. It elucidates the principles of agile risk management and how these relate to individual projects. Explained in clear and concise terms, this synthesis of project risk management and agile techniques is illustrated using the major methodologies such as XP, Scrum and DSDM.Although the agile community frequently cites risk ... Leer más

    $58.99 USD

  • A Concise Introduction to Languages and Machines

    de Alan P. Parkes ...
    Series series Computer Science (R0)
    A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear ... Leer más

    $40.99 USD

  • Logistic Core Operations with SAP

    Procurement, Production and Distribution Logistics

    de Jens Kappauf, Bernd Lauterbach, Matthias Koch ...
    Series series Engineering (R0)
    “Logistic Core Operations with SAP” not only provides an overview of core logistics processes and functionality—it also shows how SAP’s Business Suite covers logistic core operations, what features are supported, and which systems can be used to implement end-to-end processes in the following logistic core disciplines: Procurement, Distribution, Transportation, Warehouse Logistics and Inventory ... Leer más

    $80.99 USD

  • Pursuit of the Universal

    12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

    Edición de Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic ... Leer más

    $49.99 USD

  • Critical Information Infrastructures Security

    10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers

    Edición de Marianthi Theocharidou, Stephen Wolthusen, Erich Rome ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 10th International Conference on Critical Information Infrastructures Security, CRITIS 2015, held in Berlin, Germany, in October 2015.The 18 full and 6 short papers presented in this volume were carefully reviewed and selected from 54 submissions. They are organized in topical sections named: critical information infrastructure protection; ... Leer más

    $49.99 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

    Edición de Axel Legay, Tiziana Margaria ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 48 full papers, 4 tool demonstration papers, and 12 software ... Leer más

    $49.99 USD

  • Multilevel Secure Transaction Processing

    de Vijay Atluri, Sushil Jajodia, Binto George ...
    Series series Computer Science (R0)
    Information security is receiving a great deal of attention as computers increasingly process more and more sensitive information. A multilevel secure database management system (MLS DBMS) is designed to store, retrieve and process information in compliance with certain mandatory security requirements, essential for protecting sensitive information from unauthorized access, modification and abuse. ... Leer más

    $143.09 USD

  • Statistical Language and Speech Processing

    5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings

    Edición de Nathalie Camelin, Yannick Estève, Carlos Martín-Vide ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th InternationalConference on Statistical Language and Speech Processing, SLSP 2017,held in Le Mans, France, in October 2017.The 21 full papers presented were carefully reviewed and selected from39 submissions. The papers cover topics such as anaphora and conferenceresolution; authorship identification, plagiarism and spam filtering;computer ... Leer más

    $49.99 USD

  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

    Edición de Tiziana Margaria, Bernhard Steffen ...
    Series Libro 2 - 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 ... Leer más

    $49.99 USD