Advanced Topics in Java, Noel Kalicharan

Автор: Noel Kalicharan
Название: Advanced Topics in C
ISBN: 1430264004 ISBN-13(EAN): 9781430264002
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Advanced Topics In C teaches concepts that any budding programmer should know. This book assumes you have a working knowledge of basic programming concepts such as variables, constants, assignment, selection (if..else) and looping (while, for).

Автор: Enno Ohlebusch
Название: Advanced Topics in Term Rewriting
ISBN: 1441929215 ISBN-13(EAN): 9781441929211
Издательство: Springer
Рейтинг:
Цена: 65170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Term rewriting techniques are applicable in various fields of computer sci- ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro- gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and mathematics. Roughly speaking, term rewriting techniques can suc- cessfully be applied in areas that demand efficient methods for reasoning with equations. One of the major problems one encounters in the theory of term rewriting is the characterization of classes of rewrite systems that have a desirable property like confluence or termination. If a term rewriting system is conflu- ent, then the normal form of a given term is unique. A terminating rewrite system does not permit infinite computations, that is, every computation starting from a term must end in a normal form. Therefore, in a system that is both terminating and confluent every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This book provides a comprehensive study of termination and confluence as well as related properties.

Автор: Selmin Nurcan; Pnina Soffer; Marko Bajec; Johann E
Название: Advanced Information Systems Engineering
ISBN: 3319396951 ISBN-13(EAN): 9783319396958
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Collaboration.- Business Process Modeling.- Innovation, Gamication.- Mining and Business Process Performance.- Requirements Engineering.- Process Mining.- Conceptual Modeling.- Mining and Decision Support.- Cloud and Services.- Variability and Configuration.- Open Source Software.- Business Process Management.

Автор: Sergey Balandin; Dmitri Moltchanov; Yevgeni Kouche
Название: Next Generation Teletraffic and Wired/Wireless Advanced Networking
ISBN: 3540854991 ISBN-13(EAN): 9783540854999
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 8th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN 2008, held in St Petersburg, Russia in September 3-5, 2008 in conjunction with the First ruSMART 2008.

Автор: David Salomon
Название: The Advanced TEXbook
ISBN: 0387945563 ISBN-13(EAN): 9780387945569
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: TEX is hard to use because it is in essence a programming language and so is best viewed from this perspective. In this text, the author presents a complete course in TEX which should be suitable for users of TEX who want to advance beyond the basics.

Автор: Anne Persson; Janis Stirna
Название: Advanced Information Systems Engineering Workshops
ISBN: 3319192426 ISBN-13(EAN): 9783319192420
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: ASDENCA 2015.- Investigating the Potential of Capability-Driven Design and Delivery in an SME Case Study.- Advanced Context Processing for Business Process Execution Adjustment.- Strategies for Capability Modelling: Analysis Based on Initial Experiences.- Analyzing IT Flexibility to Enable Dynamic Capabilities.- COGNISE 2015.- Towards Guiding Process Modelers Depending upon Their Expertise Levels.- How Does It Look? Exploring Meaningful Layout Features of Process Models.- Advanced Dynamic Role Resolution in Business Processes.- A Position Paper Proposing Behavioral Solutions to Challenges in Software Development Projects.- To Document or Not to Document? An Exploratory Study on Developers' Motivation to Document Code.- When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management.- An Argument for More User-Centric Analysis of Modeling Languages' Visual Notation Quality.- DiFenSE 2015.- Some Heuristics for Digital Business Model Configuration.- Inherent Cognitive Dependencies in the Transformation of Business Models from Non-digital to Digital.- Capability-as-a-Service: Investigating the Innovation Potential from a Business Model Perspective.- Supporting Service Innovation Through a Value Development Framework.- Designing Software Ecosystems: How to Develop Sustainable Collaborations?: Scenarios from Apple iOS and Google Android.- Fitness of Business Models for Digital Collaborative Platforms in Clusters: A Case Study.- Accelerating Web-Entrepreneurship in Local Incubation Environments.- Challenges Laying Ahead for Future Digital Enterprises: A Research Perspective.- EM 2015.- Ontology-Driven Enterprise Modelling in Practice: Experiences from Industrial Cases.- Extending Enterprise Architectures to Capture Consumer Values: The Case of TOGAF.- The Devil in the Details: Fine-Grained Enterprise Model Weaving.- Extending Feature Models to Express Variability in Business Process Models.- Enterprise Architecture for Business Network Planning: A Capability-Based Approach.- Towards Flexible and Efficient Process and Workflow Support in Enterprise Modeling.- RW-BPMS 2015.- The Things of the Internet of Things in BPMN.- Applying Process Mining to Smart Spaces: Perspectives and Research Challenges.- Factors Affecting Ocean-Going Cargo Ship Speed and Arrival Time.- Monitoring Batch Regions in Business Processes.- TEAR 2015.- Revealing Hidden Structures in Organizational Transformation - A Case Study.- Enterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration.- Modeling Decisions for Collaborative Enterprise Architecture Engineering.- Towards an Enterprise Architecture Benefits Measurement Instrument.- Modelling Value with ArchiMate.- Implementing Architectural Thinking: A Case Study at Commerzbank AG.- Data Governance on EA Information Assets: Logical Reasoning for Derived Data.- Success Factors for Federated Enterprise Architecture Model Management.- Aligning Enterprise Architecture with Strategic Planning.- Enterprise Architecture in the Age of Digital Transformation.- WISSE 2015.- Optimizing Information Systems Security Design Based on Existing Security Knowledge.- Towards the ENTRI Framework: Security Risk Management Enhanced by the Use of Enterprise Architectures.- Towards the Development of a Cloud Forensics Methodology: A Conceptual Model.- Knowledge-Based Model to Represent Security Information and Reason About Multi-stage Attacks.- Towards the Integration of Security Transparency in the Modelling and Design of Cloud Based Systems.- A Framework for Secure Migration Processes of Legacy Systems to the Cloud.- An Experience Report on Scalable Implementation of DDoS Attack Detection.

Автор: Jelena Zdravkovic; Marite Kirikova; Paul Johanness
Название: Advanced Information Systems Engineering
ISBN: 3319190687 ISBN-13(EAN): 9783319190686
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015, held in Stockholm, Sweden, in June 2015. business process modeling and languages; high volume and complex information management; enterprise data management; enterprise IT integration and management;

Автор: Peter M?ller
Название: Advanced Lectures on Software Engineering
ISBN: 3642130097 ISBN-13(EAN): 9783642130090
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec# programming and verification system, multi-core chip design and much more.

Автор: G.S. Tomar; Ruay-Shiung Chang; Osvaldo Gervasi; Ta
Название: Advanced Computer Science and Information Technology
ISBN: 3642133452 ISBN-13(EAN): 9783642133459
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 2nd International Conference on Advanced Science and Technology, AST 2010, held in Miyazaki, Japan, in June 2010.

Автор: Khaled Elleithy
Название: Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
ISBN: 1402087349 ISBN-13(EAN): 9781402087349
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2007) which was part of the International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 2007).

Автор: Heinz Schw?rtzel; Igor A. Mizin
Название: Advanced Information Processing
ISBN: 3540526838 ISBN-13(EAN): 9783540526834
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of a joint symposium, held in Moscow in June 1990, which provided a platform for scientists and engineers to exchange results and discuss the most recent advances in the fields of information processing, software and systems design automation.

Автор: Rudolf Andersen; Janis A. Jr. Bubenko; Arne Soelvb
Название: Advanced Information Systems Engineering
ISBN: 3540540598 ISBN-13(EAN): 9783540540595
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: CAiSE `91 is the third in a series of conferences on advanced information systems engineering. The call for papers was given a wide international distribution, the programme committee included reputed researchers and key professionals, and 29 papers were selected for this volume.