Katalog
| No. Katalog | Katalog | Subjek | Actions |
|---|---|---|---|
| 163720 results (page 491/16372) | |||
24.21.1051 |
Biomedical and Computational Biology
Second International Symposium, BECB 2022, Virtual Event, August 13–15, 2022, Revised Selected Papers tersedia 1 koleksi total 1 koleksi tersedia 1 file download |
BIOMEDICAL ENGINEERING
|
|
24.21.1050 |
Domain-Specific Languages: Effective Modeling, Automation, and Reuse tersedia 1 koleksi total 1 koleksi tersedia 1 file download |
LANGUAGE PROGRAMMING
|
|
24.21.1049 |
Verified Software. Theories, Tools and Experiments.
14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers tersedia 1 koleksi total 1 koleksi tersedia 1 file download |
SOFTWARE ENGINEERING
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.
The 9 papers..selengkapnya..
|
|
24.21.1048 |
Probabilistic Topic Models: Foundation and Application tersedia 1 koleksi total 1 koleksi tersedia 1 file download |
PROBABILITY AND STATISTICS IN COMPUTER SCIENCE
|
|
24.21.1047 |
Distributed Applications and Interoperable Systems: 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 tersedia 1 koleksi total 1 koleksi tersedia 1 file download |
DISTRIBUTED PARAMETER SYSTEMS
|
|
24.21.1046 |
Security and Trust Management tersedia 1 koleksi total 1 koleksi tersedia 2 file download |
SECURITY SERVICES
Systems and Data Security, Computer Communication Networks, Software Engineering/Programming and Operating Systems, Computer Applications, Data Mining and Knowledge Discovery
This book constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023,..selengkapnya..
|
|
24.09.011 |
Lean Empowerment and Respect for People: The Evolution of Lean Production Systems tersedia 1 koleksi total 1 koleksi tersedia 2 file download |
COMMUNICATION BEHAVIOUR
There are two pillars of a Lean Management System: Continuous Improvement and Respect for People. Most books about Lean Production have focused overwhelmingly on Continuous Improvement and fail to treat..selengkapnya..
|
|
24.21.1045 |
Responsible Artificial Intelligence: Challenges for Sustainable Management tersedia 1 koleksi total 1 koleksi tersedia 1 file download |
ARTIFICIAL INTELEGENCE
|
|
24.21.1044 |
Shape in Medical Imaging tersedia 1 koleksi total 1 koleksi tersedia 2 file download |
IMAGE PROCESSING AND COMPUTER VISION
Machine Learning, Special Purpose and Application-Based Systems
This volume comprises the proceedings of the International Workshop, ShapeMI 2023, which took place alongside MICCAI 2023 on October 8, 2023, in Vancouver, British Columbia, Canada.
The 23 selected full papers..selengkapnya..
|
|
24.21.1043 |
Software Engineering and Formal Methods tersedia 1 koleksi total 1 koleksi tersedia 2 file download |
SOFTWARE ENGINEERING
Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Logic in AI, Control Structures and Microprogramming, Computer System Implementation, Programming Techniques
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.
The 18 regular..selengkapnya..
|
|
