Filter by
Certifying Software Component Performance Specifications
In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its …
- Edition
- -
- ISBN/ISSN
- 978-3-7315-0080-3
- Collation
- -
- Series Title
- -
- Call Number
- 005 GRO c
Blueprints : Creating, Describing, and Implementing Designs for Larger-Scale …
Blueprints is a concise yet comprehensive coverage of Object-Oriented Analysis and Design concepts, suitable for a second programming course in Computer Science. It introduces and teaches application development in a command-line environment, and assumes basic expertise with the Java programming language.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 DAV b
The Cognitive Foundations of Group Attitudes and Social Interaction
This volume delves into the links between individual attitudes (such as beliefs, goals and intentions) and how they are reflected in shared attitudes where common belief, collective acceptance, joint intentions, and group preferences come into play. It pursues answers to the connections between trust and beliefs, goals and intentions and attempts to investigate questions such as: does trust hav…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21732-1
- Collation
- VII, 202
- Series Title
- Studies in the Philosophy of Sociality
- Call Number
- -
Of Sunken Islands and Pestilence Restoring the Voice of Edward Taylor Fletch…
Fletcher was a voracious reader of works in many languages and although he was oriented toward Britain, his writing notably reflects a gaze fixed on a horizon much further away. His work therefore stands in contrast to the tendency of later Canadian writers, who focus inward on the nation, and on issues of Canadian identity. His work as a surveyor allowed him to travel across the country, obser…
- Edition
- James Gifford
- ISBN/ISSN
- 9781771993449.01
- Collation
- -
- Series Title
- -
- Call Number
- 6x9 , 220 pages
Linear Functional Analysis: An Application-Oriented Introduction
This book gives an introduction to Linear Functional Analysis, which is a synthesis of algebra, topology, and analysis. In addition to the basic theory it explains operator theory, distributions, Sobolev spaces, and many other things. The text is self-contained and includes all proofs, as well as many exercises, most of them with solutions. Moreover, there are a number of appendices, for exampl…
- Edition
- -
- ISBN/ISSN
- 978-1-4471-7280-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Linear Algebra Done Right
This best-selling textbook for a second course in linear algebra is aimed at undergrad math majors and graduate students. The novel approach taken here banishes determinants to the end of the book. The text focuses on the central goal of linear algebra: understanding the structure of linear operators on finite-dimensional vector spaces. The author has taken unusual care to motivate concepts and…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11080-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Futur…
This book discusses the latest advances in people-centered design, operation, and management of broadly defined advanced manufacturing systems and processes. It reports on human factors issues related to various research areas such as intelligent manufacturing technologies, web-based manufacturing services, digital manufacturing worlds, and manufacturing knowledge support systems, as well as ot…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-41697-7
- Collation
- XVI, 631
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 006.3 ADV a
The Medium Is the Monster Canadian Adaptations of Frankenstein and the Disco…
Technology, a word that emerged historically first to denote the study of any art or technique, has come, in modernity, to describe advanced machines, industrial systems, and media. McCutcheon argues that it is Mary Shelley’s 1818 novel Frankenstein that effectively reinvented the meaning of the word for modern English. It was then Marshall McLuhan’s media theory and its adaptations in Cana…
- Edition
- -
- ISBN/ISSN
- 9781771992244.01
- Collation
- -
- Series Title
- -
- Call Number
- 6 x 9, 248 pages
Advances in Engineering Education in the Middle East and North Africa: Curren…
This book provides a collection of the latest advances in engineering education in the Middle East and North Africa (MENA) region and sheds insights for future development. It is one of the first books to address the lack of comprehensive literature on undergraduate engineering curricula, and stimulates intellectual and critical discourse on the next wave of engineering innovation and education…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-15323-0
- Collation
- XXVI, 454
- Series Title
- -
- Call Number
- 507 ADV a
Advances in Digital Forensics XI: 11th IFIP WG 11.9 International Conference,…
Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices have expanded the role of digital forensics beyond traditional computer crime investigations. Practically every crime now involves some aspect of digital evidence; digital forensics provides the …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-24123-4
- Collation
- XVIII, 357
- Series Title
- IFIP Advances in Information and Communication Technology
- Call Number
- 005.8 ADV a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography