Filter by
4º congresso português de ‘Building Information Modelling’ vol. 2 - ptBIM
Livro de atas do Congresso ptBIM 2022, onde se promove um fórum de discussão técnico-científica em língua Portuguesa nas metodologias ‘Building Information Modelling’ (BIM), envolvendo a participação ativa das comunidades profissional e académica das áreas de Arquitetura e Engenharia. Pretende-se enfatizar os problemas e esforços de implementação na Indústria da Construção e …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
“Humanized” Large Animal Cancer Models: Accelerating Time and Effectivene…
This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics are very popular trademarks of the Frontiers Journals Series: they are collections of at least ten articles, all centered on a particular subject. With their unique mix of varied contributions from Original Research to Review Articles, Frontiers Research Topics unify the most influential researcher…
- Edition
- -
- ISBN/ISSN
- 9782889632497
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906602
- Collation
- XXI, 269 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906435
- Collation
- XXVII, 399 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906534
- Collation
- XX, 387hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906602
- Collation
- XXI, 269 hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
Economics and Mathematical Modeling in Health-Related Research
The definition of a healthcare system evolves continuously, becoming broader and more complex with each rendering. Healthcare systems can consist of many different elements, including but not limited to: access to comprehensive medical care, health promotion, disease prevention, institutional framework, financing schemes, government responsibility over health, etc. In light of its broad classif…
- Edition
- -
- ISBN/ISSN
- 978-90-04-51729-5
- Collation
- oer.unej.ac.id
- Series Title
- -
- Call Number
- -
Economics and Mathematical Modeling in Health-Related Research
The definition of a healthcare system evolves continuously, becoming broader and more complex with each rendering. Healthcare systems can consist of many different elements, including but not limited to: access to comprehensive medical care, health promotion, disease prevention, institutional framework, financing schemes, government responsibility over health, etc. In light of its broad classif…
- Edition
- -
- ISBN/ISSN
- 978-90-04-51729-5
- Collation
- oer.unej.ac.id
- Series Title
- -
- Call Number
- -
Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection
This open access book focuses on robot introspection, which has a direct impact on physical human–robot interaction and long-term autonomy, and which can benefit from autonomous anomaly monitoring and diagnosis, as well as anomaly recovery strategies. In robotics, the ability to reason, solve their own anomalies and proactively enrich owned knowledge is a direct way to improve autonomous beha…
- Edition
- 1
- ISBN/ISSN
- 9789811562631
- Collation
- XVII, 137 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Annals of Scientific Society for Assembly, Handling and Industrial Robotics
This Open Access proceedings present a good overview of the current research landscape of industrial robots. The objective of MHI Colloquium is a successful networking at academic and management level. Thereby the colloquium is focussing on a high level academic exchange to distribute the obtained research results, determine synergetic effects and trends, connect the actors personally and in c…
- Edition
- 1
- ISBN/ISSN
- 9783662617557
- Collation
- VII, 344 ill; lamp
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography