Filter by
Environmental Software Systems. Infrastructures, Services and Applications 1…
This book constitutes the refereed proceedings of the 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015, held in Melbourne, Australia, in March 2015. The 62 revised full papers presented were carefully reviewed and selected from 104 submissions. The papers are organized in the following topical sections: information systems, information modeling and semanti…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15994-2
- Collation
- 206 illustrations in colour
- Series Title
- Springer Texts in Business and Economics
- Call Number
- -
Transactions on Petri Nets and Other Models of Concurrency X
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC cont…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48650-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Information Systems Reengineering, Integration and Normalization
Taking a very practical approach, the author describes in detail database conversion techniques, reverse engineering, forward engineering and re-engineering methodologies for information systems, offering a systematic software engineering approach for reusing existing database systems built with “old” technology. He demonstrates how the existing systems can be transformed into the new tech…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12294-6
- Collation
- XVII, 391
- Series Title
- -
- Call Number
- 004 FON i
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
Information Security: 16th International Conference, ISC 2013, Dallas, Texas,…
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information Security, ISC 2013, held in Dallas, Texas, in November 2013. The 16 revised full papers presented together with 14 short papers were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanaly…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27658-8
- Collation
- XIV, 418
- Series Title
- -
- Call Number
- 004 INF
Transactions on Computational Collective Intelligence XX
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competiti…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27543-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Computational Collective Intelligence XVIII
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competiti…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48145-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Computational Collective Intelligence XIX
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competiti…
- Edition
- -
- ISBN/ISSN
- 978-3-662-49017-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Aspect-Oriented Software Development XII
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and com…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46734-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography