Søkt på: pascal it
totalt 588 treff
Ontology Engineering with Ontology Design Patterns
Data Science and Network Engineering
This book includes research papers presented at the International Conference on Data Science and Network Engineering (ICDSNE 2023) organized by the Department of Computer Science …
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
This two-volume set constitutes the refereed proceedings of the workshops which complemented the 21th Joint European Conference on Machine Learning and Knowledge Discovery in …
Computer Science – Theory and Applications
This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. combinatorics in computer …
Augmented Environments for Computer-Assisted Interventions
This book constitutes the refereed proceedings of the 9th International Workshop on Augmented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI …
PASCAL-XSC
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a …
Automated Deduction - CADE 27
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system …
Einführung in PASCAL
PASCAL-XSC
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). Numerical mathematics has devised …
Concentration Inequalities
Concentration inequalities for functions of independent random variables is an area of probability theory that has witnessed a great revolution in the last few decades, and has …
Marketing Engineering Reloaded
Testbeds and Research Infrastructures for the Development of Networks and Communities
This book constitutes the refereed proceedings of the 11th International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, …