Foundations of Software Science and Computation Structures: 24th Internationa…

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…

Computer Aided Verification: 30th International Conference, CAV 2018, Held as…

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Top…

This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Using motivations, rigorous definitions, proofs and various examples, the author systematically int…

Discourse and digital practices : doing discourse analysis in the digital age

Edition

-

ISBN/ISSN

9781315726465

Collation

-

Series Title

-

Call Number

-

Knowledge Transfer and Innovation

Knowledge? : what knowledge? -- Explosive innovation : putting knowledge to work -- Leadership -- Culture -- Knowledge corruption -- Training and socialization -- Knowledge structure and processes -- Technologies and social media -- Putting it all together -- A "Rosetta stone" for military skills translation to business.

Start-up wolf: the Shenzhen model of high-tech entrepreneurship

Introduction: Start-up wolf of Shenzhen -- Contextualising transnational entrepreneurs in China -- Performative governance: the campaign of mass entrepreneurship and innovation -- To be entrepreneured: creating hierarchies among privileged biographies -- Entrepreneurship competitions: the state and market ideals of talents -- Striving talents: performing excellence for economic privilege -- Pre…

Internet of things - the call of the edge: everything intelligent

Edition

-

ISBN/ISSN

9781003338611

Collation

-

Series Title

-

Call Number

-

Managing sustainable luxury and digitalization :technology trends and ethical…

Defining luxury in the watch industry: exploring the gestalt of Swiss luxury watches -- Trends and challenges in the Swiss luxury watch industry: insights from an expert survey -- Luxury watches and ethical hubris: a comparative overview of illustrative cases -- Gestalt-switch of luxury products: exploring pitfalls of inconsistent value expressions in conspicuous consumption -- "Some of my cust…

Bioimage Data Analysis Workflows ‒ Advanced Components and Methods

This open access textbook aims at providing detailed explanations on how to design and construct image analysis workflows to successfully conduct bioimage analysis. Addressing the main challenges in image data analysis, where acquisition by powerful imaging devices results in very large amounts of collected image data, the book discusses techniques relying on batch and GPU programming, as w…