Filter by
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, …
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I…
- Edition
- 1
- ISBN/ISSN
- 9783031377037
- Collation
- XVI, 460
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 26th International Conference…
This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 subm…
- Edition
- 1
- ISBN/ISSN
- 9783031308260
- Collation
- XVI, 332
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 25th International Conference…
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submis…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99429-7
- Collation
- XIV, 347
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
- Edition
- 1
- ISBN/ISSN
- 9783031131882
- Collation
- XIX, 549
- Series Title
- -
- Call Number
- -
Agile Processes in Software Engineering and Extreme Programming
This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present a…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08169-9
- Collation
- -
- Series Title
- Lecture Notes in Business Information Processing
- Call Number
- X, 237
The Computer Boys Take Over: Computers, Programmers, and the Politics of Tech…
"This book provides the most holistic approach to the history of the development of programming and computer systems so far written. By embedding this history in a sociological and political context, Ensmenger has added hugely to our understanding of how the world of computing and its work practices came to be." Martin Campbell-Kelly, Professor of Computer Science, Warwick University.;"The Comp…
- Edition
- -
- ISBN/ISSN
- 9780262289351
- Collation
- -
- Series Title
- -
- Call Number
- -
Designing with blends: conceptual foundations of human-computer interaction a…
How recent research in cognitive science offers new ways to understand the interaction of people and computers and develops a new literacy for well-informed, sensitive software design.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262256407
- Collation
- 1 online resource (xi, 229 pages) :illustrations
- Series Title
- -
- Call Number
- -
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin…
This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 submissions. The scale and the heterogenous nature of web data poses many challenges, and turns ba…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22002-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Web Programming with Dart
Web Programming with Dart is for programmers who want to master the new Dart programming language from Google, and also web developers who want to understand how Dart can integrate perfectly with HTML5 and CSS3. With this book you will understand the ins and outs of the language, how the tools work, and how to get the most from the core functions and libraries. Web Programming with Dart is a…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0556-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Web Information Systems Engineering – WISE 2015 16th International Confere…
This two volume set LNCS 9418 and LNCS 9419 constitutes the proceedings of the 16th International Conference on Web Information Systems Engineering, WISE 2015, held in Miami, FL, USA, in November 2015. The 53 full papers, 17 short and 14 special sessions and invited papers, presented in these proceedings were carefully reviewed and selected from 189 submissions. The papers cover the areas of…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26190-4
- 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