Search Results for - Narrowed by: Springer E-Book Collection - Probability and Statistics in Computer Science.

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Coecke, Bob. editor. (orcid)0000-0002-5310-8723
https://doi.org/10.1007/978-3-030-35895-2
Format: Electronic Resources

Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Dimov, Ivan. editor.
https://doi.org/10.1007/978-3-030-11539-5
Format: Electronic Resources

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26–28, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Galinina, Olga. editor. (orcid)0000-0002-5386-1061
https://doi.org/10.1007/978-3-030-30859-9
Format: Electronic Resources

Hybrid Systems Biology 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Češka, Milan. editor. (orcid)0000-0002-0300-9727
https://doi.org/10.1007/978-3-030-28042-0
Format: Electronic Resources

Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Vishnevskiy, Vladimir M. editor.
https://doi.org/10.1007/978-3-030-36614-8
Format: Electronic Resources

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Bebis, George. editor.
https://doi.org/10.1007/978-3-030-35210-3
Format: Electronic Resources

Adversarial and Uncertain Reasoning for Adaptive Cyber Defense Control- and Game-Theoretic Approaches to Cyber Security

2024-04-28T05:48:54Z

Yazar Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X
https://doi.org/10.1007/978-3-030-30719-6
Format: Electronic Resources

Applications in Statistical Computing From Music Data Analysis to Industrial Quality Improvement

2024-04-28T05:48:54Z

Yazar Bauer, Nadja. editor.
https://doi.org/10.1007/978-3-030-25147-5
Format: Electronic Resources

Machine Learning Risk Assessments in Criminal Justice Settings

2024-04-28T05:48:54Z

Yazar Berk, Richard. author.
https://doi.org/10.1007/978-3-030-02272-3
Format: Electronic Resources

Machine Learning and Data Mining for Sports Analytics 5th International Workshop, MLSA 2018, Co-located with ECML/PKDD 2018, Dublin, Ireland, September 10, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Brefeld, Ulf. editor.
https://doi.org/10.1007/978-3-030-17274-9
Format: Electronic Resources

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Parker, David. editor. (orcid)0000-0003-4137-8862
https://doi.org/10.1007/978-3-030-30281-8
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037
https://doi.org/10.1007/978-3-030-26773-5
Format: Electronic Resources

Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946
https://doi.org/10.1007/978-3-030-27181-7
Format: Electronic Resources

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391
https://doi.org/10.1007/978-3-030-29765-7
Format: Electronic Resources

Domain-Specific Knowledge Graph Construction

2024-04-28T05:48:54Z

Yazar Kejriwal, Mayank. author.
https://doi.org/10.1007/978-3-030-12375-8
Format: Electronic Resources

Selected Areas in Cryptography – SAC 2018 25th International Conference, Calgary, AB, Canada, August 15–17, 2018, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Cid, Carlos. editor. (orcid)0000-0001-5761-8694
https://doi.org/10.1007/978-3-030-10970-7
Format: Electronic Resources

Applied Machine Learning

2024-04-28T05:48:54Z

Yazar Forsyth, David. author.
https://doi.org/10.1007/978-3-030-18114-7
Format: Electronic Resources

Adolescent Brain Cognitive Development Neurocognitive Prediction First Challenge, ABCD-NP 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Pohl, Kilian M. editor. (orcid)0000-0001-5416-5159
https://doi.org/10.1007/978-3-030-31901-4
Format: Electronic Resources

Predictive Intelligence in Medicine Second International Workshop, PRIME 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Rekik, Islem. editor. (orcid)0000-0001-5595-6673
https://doi.org/10.1007/978-3-030-32281-6
Format: Electronic Resources

Handbook of Biometric Anti-Spoofing Presentation Attack Detection

2024-04-28T05:48:54Z

Yazar Marcel, Sébastien. editor.
https://doi.org/10.1007/978-3-319-92627-8
Format: Electronic Resources

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623
https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources

Broad Learning Through Fusions An Application on Social Networks

2024-04-28T05:48:54Z

Yazar Zhang, Jiawei. author.
https://doi.org/10.1007/978-3-030-12528-8
Format: Electronic Resources

Possibility Theory for the Design of Information Fusion Systems

2024-04-28T05:48:54Z

Yazar Solaiman, Basel. author.
https://doi.org/10.1007/978-3-030-32853-5
Format: Electronic Resources

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Silva, Alexandra. editor.
https://doi.org/10.1007/978-3-662-59565-7
Format: Electronic Resources

Artificial Intelligence in Medicine 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Riaño, David. editor. (orcid)0000-0002-1608-0215
https://doi.org/10.1007/978-3-030-21642-9
Format: Electronic Resources

Matrices, Statistics and Big Data Selected Contributions from IWMS 2016

2024-04-28T05:48:54Z

Yazar Ahmed, S. Ejaz. editor.
https://doi.org/10.1007/978-3-030-17519-1
Format: Electronic Resources

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2024-04-28T05:48:54Z

Yazar Alvim, Mário S. editor.
https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources

Theory and Applications of Time Series Analysis Selected Contributions from ITISE 2018

2024-04-28T05:48:54Z

Yazar Valenzuela, Olga. editor.
https://doi.org/10.1007/978-3-030-26036-1
Format: Electronic Resources

Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Ben Amor, Nahla. editor.
https://doi.org/10.1007/978-3-030-35514-2
Format: Electronic Resources

IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Li, Bo. editor.
https://doi.org/10.1007/978-3-030-14657-3
Format: Electronic Resources

Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Vishnevskiy, Vladimir M. editor.
https://doi.org/10.1007/978-3-030-36625-4
Format: Electronic Resources

Network Science An Aerial View

2024-04-28T05:48:54Z

Yazar Biagini, Francesca. editor.
https://doi.org/10.1007/978-3-030-26814-5
Format: Electronic Resources

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Sun, Xiaoming. editor.
https://doi.org/10.1007/978-981-15-0105-0
Format: Electronic Resources

Computer Networks 26th International Conference, CN 2019, Kamień Śląski, Poland, June 25–27, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341
https://doi.org/10.1007/978-3-030-21952-9
Format: Electronic Resources

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Dudin, Alexander. editor. (orcid)0000-0003-2881-0227
https://doi.org/10.1007/978-3-030-33388-1
Format: Electronic Resources

Statistics and Data Science Research School on Statistics and Data Science, RSSDS 2019, Melbourne, VIC, Australia, July 24–26, 2019, Proceedings

2024-04-28T05:48:54Z

Yazar Nguyen, Hien. editor. (orcid)0000-0002-9958-432X
https://doi.org/10.1007/978-981-15-1960-4
Format: Electronic Resources

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576
https://doi.org/10.1007/978-3-319-97628-0
Format: Electronic Resources

Data Science and Predictive Analytics Biomedical and Health Applications using R

2024-04-28T05:48:54Z

Yazar Dinov, Ivo D. author.
https://doi.org/10.1007/978-3-319-72347-1
Format: Electronic Resources

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Potapov, Igor. editor.
https://doi.org/10.1007/978-3-030-00250-3
Format: Electronic Resources

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-00617-4
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I

2024-04-28T05:48:54Z

Yazar Shacham, Hovav. editor.
https://doi.org/10.1007/978-3-319-96884-1
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

2024-04-28T05:48:54Z

Yazar Shacham, Hovav. editor.
https://doi.org/10.1007/978-3-319-96878-0
Format: Electronic Resources

Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach

2024-04-28T05:48:54Z

Yazar Azim, Tayyaba. author.
https://doi.org/10.1007/978-3-319-98524-4
Format: Electronic Resources

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
https://doi.org/10.1007/978-3-030-00461-3
Format: Electronic Resources

Probabilistic Cellular Automata Theory, Applications and Future Perspectives

2024-04-28T05:48:54Z

Yazar Louis, Pierre-Yves. editor.
https://doi.org/10.1007/978-3-319-65558-1
Format: Electronic Resources

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Takahashi, Yutaka. editor.
https://doi.org/10.1007/978-3-319-93736-6
Format: Electronic Resources

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Balsamo, Simonetta. editor.
https://doi.org/10.1007/978-3-319-91632-3
Format: Electronic Resources

Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2018, Valencia, Spain, September 26–28, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Domingo-Ferrer, Josep. editor. (orcid)0000-0001-7213-4962
https://doi.org/10.1007/978-3-319-99771-1
Format: Electronic Resources

Computational Pathology and Ophthalmic Medical Image Analysis First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Stoyanov, Danail. editor.
https://doi.org/10.1007/978-3-030-00949-6
Format: Electronic Resources

Machine Learning A Practical Approach on the Statistical Learning Theory

2024-04-28T05:48:54Z

Yazar F MELLO, RODRIGO. author.
https://doi.org/10.1007/978-3-319-94989-5
Format: Electronic Resources

Multiscale Forecasting Models

2024-04-28T05:48:54Z

Yazar Barba Maggi, Lida Mercedes. author.
https://doi.org/10.1007/978-3-319-94992-5
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II

2024-04-28T05:48:54Z

Yazar Auger, Anne. editor.
https://doi.org/10.1007/978-3-319-99259-4
Format: Electronic Resources

Secure Networked Inference with Unreliable Data Sources

2024-04-28T05:48:54Z

Yazar Vempaty, Aditya. author.
https://doi.org/10.1007/978-981-13-2312-6
Format: Electronic Resources

Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Christodoulou, George. editor.
https://doi.org/10.1007/978-3-030-04612-5
Format: Electronic Resources

Deep Learning in Natural Language Processing

2024-04-28T05:48:54Z

Yazar Deng, Li. editor.
https://doi.org/10.1007/978-981-10-5209-5
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Dorigo, Marco. editor. (orcid)0000-0002-3971-0507
https://doi.org/10.1007/978-3-030-00533-7
Format: Electronic Resources

Connectomics in NeuroImaging Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Wu, Guorong. editor.
https://doi.org/10.1007/978-3-030-00755-3
Format: Electronic Resources

Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Raphael, Benjamin J. editor.
https://doi.org/10.1007/978-3-319-89929-9
Format: Electronic Resources

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries Third International Workshop, BrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Crimi, Alessandro. editor.
https://doi.org/10.1007/978-3-319-75238-9
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Croitoru, Madalina. editor.
https://doi.org/10.1007/978-3-319-78102-0
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I

2024-04-28T05:48:54Z

Yazar Auger, Anne. editor.
https://doi.org/10.1007/978-3-319-99253-2
Format: Electronic Resources

Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks

2024-04-28T05:48:54Z

Yazar Rozonoer, Lev. editor.
https://doi.org/10.1007/978-3-319-99492-5
Format: Electronic Resources

Integrated Uncertainty in Knowledge Modelling and Decision Making 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815
https://doi.org/10.1007/978-3-319-75429-1
Format: Electronic Resources

Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341
https://doi.org/10.1007/978-3-319-92459-5
Format: Electronic Resources

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

2024-04-28T05:48:54Z

Yazar Dudin, Alexander. editor.
https://doi.org/10.1007/978-3-319-97595-5
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

2024-04-28T05:48:54Z

Yazar Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478
https://doi.org/10.1007/978-3-319-75172-6
Format: Electronic Resources

Random Numbers and Computers

2024-04-28T05:48:54Z

Yazar Kneusel, Ronald T. author.
https://doi.org/10.1007/978-3-319-77697-2
Format: Electronic Resources

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Black, Elizabeth. editor. (orcid)0000-0002-4295-449X
https://doi.org/10.1007/978-3-319-75553-3
Format: Electronic Resources

CABology: Value of Cloud, Analytics and Big Data Trio Wave

2024-04-28T05:48:54Z

Yazar Upadhyay, Nitin. author.
https://doi.org/10.1007/978-981-10-8675-5
Format: Electronic Resources

Probability and Statistics for Computer Science

2024-04-28T05:48:54Z

Yazar Forsyth, David. author.
https://doi.org/10.1007/978-3-319-64410-3
Format: Electronic Resources

Introduction to Data Science A Python Approach to Concepts, Techniques and Applications

2024-04-28T05:48:54Z

Yazar Igual, Laura. author.
https://doi.org/10.1007/978-3-319-50017-1
Format: Electronic Resources

Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194
https://doi.org/10.1007/978-3-319-69775-8
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-319-69483-2
Format: Electronic Resources

Soft Methods for Data Science

2024-04-28T05:48:54Z

Yazar Ferraro, Maria Brigida. editor.
https://doi.org/10.1007/978-3-319-42972-4
Format: Electronic Resources

Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I

2024-04-28T05:48:54Z

Yazar Felsberg, Michael. editor.
https://doi.org/10.1007/978-3-319-64689-3
Format: Electronic Resources

Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Müller, Henning. editor.
https://doi.org/10.1007/978-3-319-61188-4
Format: Electronic Resources

Fetal, Infant and Ophthalmic Medical Image Analysis International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings

2024-04-28T05:48:54Z

Yazar Cardoso, M. Jorge. editor.
https://doi.org/10.1007/978-3-319-67561-9
Format: Electronic Resources

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25–29, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Vishnevskiy, Vladimir M. editor.
https://doi.org/10.1007/978-3-319-66836-9
Format: Electronic Resources

Computational Intelligence in Music, Sound, Art and Design 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19–21, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Correia, João. editor.
https://doi.org/10.1007/978-3-319-55750-2
Format: Electronic Resources

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Mansi, Tommaso. editor.
https://doi.org/10.1007/978-3-319-52718-5
Format: Electronic Resources

Patch-Based Techniques in Medical Imaging Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Wu, Guorong. editor.
https://doi.org/10.1007/978-3-319-67434-6
Format: Electronic Resources

Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II

2024-04-28T05:48:54Z

Yazar Felsberg, Michael. editor.
https://doi.org/10.1007/978-3-319-64698-5
Format: Electronic Resources

Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Barbero, Ángela I. editor. (orcid)0000-0002-2042-8288
https://doi.org/10.1007/978-3-319-66278-7
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X
https://doi.org/10.1007/978-3-319-58631-1
Format: Electronic Resources

Computer Networks 24th International Conference, CN 2017, Lądek Zdrój, Poland, June 20–23, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341
https://doi.org/10.1007/978-3-319-59767-6
Format: Electronic Resources

Feistel Ciphers Security Proofs and Cryptanalysis

2024-04-28T05:48:54Z

Yazar Nachef, Valerie. author.
https://doi.org/10.1007/978-3-319-49530-9
Format: Electronic Resources

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

2024-04-28T05:48:54Z

Yazar Draheim, Dirk. author.
https://doi.org/10.1007/978-3-642-55198-7
Format: Electronic Resources

Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Rothe, Jörg. editor.
https://doi.org/10.1007/978-3-319-67504-6
Format: Electronic Resources

Doubly Classified Model with R

2024-04-28T05:48:54Z

Yazar Tan, Teck Kiang. author.
https://doi.org/10.1007/978-981-10-6995-6
Format: Electronic Resources

Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Beecks, Christian. editor.
https://doi.org/10.1007/978-3-319-68474-1
Format: Electronic Resources

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28–30, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Galinina, Olga. editor. (orcid)0000-0002-5386-1061
https://doi.org/10.1007/978-3-319-67380-6
Format: Electronic Resources

Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 – December 2, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Shikata, Junji. editor. (orcid)0000-0003-2861-359X
https://doi.org/10.1007/978-3-319-72089-0
Format: Electronic Resources

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Bertrand, Nathalie. editor.
https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources

Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Rykov, Vladimir V. editor.
https://doi.org/10.1007/978-3-319-71504-9
Format: Electronic Resources

Information Processing in Medical Imaging 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Niethammer, Marc. editor.
https://doi.org/10.1007/978-3-319-59050-9
Format: Electronic Resources

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Dudin, Alexander. editor.
https://doi.org/10.1007/978-3-319-68069-9
Format: Electronic Resources

Intuitionistic Fuzzy Calculus

2024-04-28T05:48:54Z

Yazar Lei, Qian. author.
https://doi.org/10.1007/978-3-319-54148-8
Format: Electronic Resources

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2024-04-28T05:48:54Z

Yazar Reinecke, Philipp. editor.
https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2024-04-28T05:48:54Z

Yazar Draheim, Dirk. author.
https://doi.org/10.1007/978-3-319-69868-7
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260
https://doi.org/10.1007/978-3-319-67834-4
Format: Electronic Resources

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2024-04-28T05:48:54Z

Yazar Berry, Stuart. editor.
https://doi.org/10.1007/978-3-319-55417-4
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II

2024-04-28T05:48:54Z

Yazar Carvalho, Joao Paulo. editor.
http://dx.doi.org/10.1007/978-3-319-40581-0
Format: Electronic Resources

Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings

2024-04-28T05:48:54Z

Yazar Czachórski, Tadeusz. editor.
http://dx.doi.org/10.1007/978-3-319-47217-1
Format: Electronic Resources

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2024-04-28T05:48:54Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources

Information Technologies and Mathematical Modelling - Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

2024-04-28T05:48:54Z

Yazar Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-44615-8
Format: Electronic Resources

Python for Probability, Statistics, and Machine Learning

2024-04-28T05:48:54Z

Yazar Unpingco, José. author.
http://dx.doi.org/10.1007/978-3-319-30717-6
Format: Electronic Resources

Computer Networks 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedings

2024-04-28T05:48:54Z

Yazar Gaj, Piotr. editor.
http://dx.doi.org/10.1007/978-3-319-39207-3
Format: Electronic Resources

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2024-04-28T05:48:54Z

Yazar Fiems, Dieter. editor.
http://dx.doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2024-04-28T05:48:54Z

Yazar van Eekelen, Marko. editor.
http://dx.doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources

Machine Learning and Interpretation in Neuroimaging 4th International Workshop, MLINI 2014, Held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Rish, Irina. editor.
http://dx.doi.org/10.1007/978-3-319-45174-9
Format: Electronic Resources

Uncertain Differential Equations

2024-04-28T05:48:54Z

Yazar Yao, Kai. author.
http://dx.doi.org/10.1007/978-3-662-52729-0
Format: Electronic Resources

Bayesian Methods in the Search for MH370

2024-04-28T05:48:54Z

Yazar Davey, Sam. author.
http://dx.doi.org/10.1007/978-981-10-0379-0
Format: Electronic Resources

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Camara, Oscar. editor.
http://dx.doi.org/10.1007/978-3-319-28712-6
Format: Electronic Resources

Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

2024-04-28T05:48:54Z

Yazar Gyssens, Marc. editor.
http://dx.doi.org/10.1007/978-3-319-30024-5
Format: Electronic Resources

Advances and Applications in Chaotic Systems

2024-04-28T05:48:54Z

Yazar Vaidyanathan, Sundarapandian. editor.
http://dx.doi.org/10.1007/978-3-319-30279-9
Format: Electronic Resources

Algorithms in Bioinformatics 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings

2024-04-28T05:48:54Z

Yazar Frith, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-43681-4
Format: Electronic Resources

Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Vishnevsky, Vladimir. editor.
http://dx.doi.org/10.1007/978-3-319-30843-2
Format: Electronic Resources

Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19–21, 2016, Proceedings

2024-04-28T05:48:54Z

Yazar Gairing, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-53354-3
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I

2024-04-28T05:48:54Z

Yazar Carvalho, Joao Paulo. editor.
http://dx.doi.org/10.1007/978-3-319-40596-4
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Angelini, Claudia. editor.
http://dx.doi.org/10.1007/978-3-319-44332-4
Format: Electronic Resources

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings

2024-04-28T05:48:54Z

Yazar Galinina, Olga. editor.
http://dx.doi.org/10.1007/978-3-319-46301-8
Format: Electronic Resources

Quantum Zero-Error Information Theory

2024-04-28T05:48:54Z

Yazar B. Guedes, Elloá. author.
http://dx.doi.org/10.1007/978-3-319-42794-2
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2024-04-28T05:48:54Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

2024-04-28T05:48:54Z

Yazar Al-Begain, Khalid. editor.
http://dx.doi.org/10.1007/978-3-319-33786-9
Format: Electronic Resources

Statistical Analysis of Noise in MRI Modeling, Filtering and Estimation

2024-04-28T05:48:54Z

Yazar Aja-Fernández, Santiago. author.
http://dx.doi.org/10.1007/978-3-319-39934-8
Format: Electronic Resources

Measures of Complexity Festschrift for Alexey Chervonenkis

2024-04-28T05:48:54Z

Yazar Vovk, Vladimir. editor.
http://dx.doi.org/10.1007/978-3-319-21852-6
Format: Electronic Resources

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

2024-04-28T05:48:54Z

Yazar Campos, Javier. editor.
http://dx.doi.org/10.1007/978-3-319-22264-6
Format: Electronic Resources

Probabilistic Graphical Models Principles and Applications

2024-04-28T05:48:54Z

Yazar Sucar, Luis Enrique. author.
http://dx.doi.org/10.1007/978-1-4471-6699-3
Format: Electronic Resources

Protein Homology Detection Through Alignment of Markov Random Fields Using MRFalign

2024-04-28T05:48:54Z

Yazar Xu, Jinbo. author.
http://dx.doi.org/10.1007/978-3-319-14914-1
Format: Electronic Resources

Large-Scale Scientific Computing 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-26520-9
Format: Electronic Resources

Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Camara, Oscar. editor.
http://dx.doi.org/10.1007/978-3-319-14678-2
Format: Electronic Resources

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2024-04-28T05:48:54Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-18941-3
Format: Electronic Resources

Optimization in the Natural Sciences 30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014. Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Plakhov, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-20352-2
Format: Electronic Resources

Big-Data Analytics and Cloud Computing Theory, Algorithms and Applications

2024-04-28T05:48:54Z

Yazar Trovati, Marcello. editor.
http://dx.doi.org/10.1007/978-3-319-25313-8
Format: Electronic Resources

Computer Networks 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings

2024-04-28T05:48:54Z

Yazar Gaj, Piotr. editor.
http://dx.doi.org/10.1007/978-3-319-19419-6
Format: Electronic Resources

Information Processing in Medical Imaging 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings

2024-04-28T05:48:54Z

Yazar Ourselin, Sebastien. editor.
http://dx.doi.org/10.1007/978-3-319-19992-4
Format: Electronic Resources

Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

2024-04-28T05:48:54Z

Yazar Walsh, Toby. editor.
http://dx.doi.org/10.1007/978-3-319-23114-3
Format: Electronic Resources

Uncertainty Theory

2024-04-28T05:48:54Z

Yazar Liu, Baoding. author.
http://dx.doi.org/10.1007/978-3-662-44354-5
Format: Electronic Resources

Introduction to Information Retrieval and Quantum Mechanics

2024-04-28T05:48:54Z

Yazar Melucci, Massimo. author.
http://dx.doi.org/10.1007/978-3-662-48313-8
Format: Electronic Resources

Algorithmic Game Theory 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings

2024-04-28T05:48:54Z

Yazar Hoefer, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48433-3
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Bianculli, Domenico. editor.
http://dx.doi.org/10.1007/978-3-662-49224-6
Format: Electronic Resources

Cyber-Risk Management

2024-04-28T05:48:54Z

Yazar Refsdal, Atle. author.
http://dx.doi.org/10.1007/978-3-319-23570-7
Format: Electronic Resources

Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings

2024-04-28T05:48:54Z

Yazar Suzuki, Joe. editor.
http://dx.doi.org/10.1007/978-3-319-28379-1
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Croitoru, Madalina. editor.
http://dx.doi.org/10.1007/978-3-319-28702-7
Format: Electronic Resources

Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings

2024-04-28T05:48:54Z

Yazar Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-25861-4
Format: Electronic Resources

Probabilistic Graphical Models 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedings

2024-04-28T05:48:54Z

Yazar Gaag, Linda C. van der. editor.
http://dx.doi.org/10.1007/978-3-319-11433-0
Format: Electronic Resources

Business Intelligence Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures

2024-04-28T05:48:54Z

Yazar Zimányi, Esteban. editor.
http://dx.doi.org/10.1007/978-3-319-05461-2
Format: Electronic Resources

Computer Networks 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings

2024-04-28T05:48:54Z

Yazar Kwiecień, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-319-07941-7
Format: Electronic Resources

Data-driven Generation of Policies

2024-04-28T05:48:54Z

Yazar Parker, Austin. author.
http://dx.doi.org/10.1007/978-1-4939-0274-3
Format: Electronic Resources

Handbook of Biometric Anti-Spoofing Trusted Biometrics under Spoofing Attacks

2024-04-28T05:48:54Z

Yazar Marcel, Sébastien. editor.
http://dx.doi.org/10.1007/978-1-4471-6524-8
Format: Electronic Resources

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

2024-04-28T05:48:54Z

Yazar Breugel, Franck van. editor.
http://dx.doi.org/10.1007/978-3-319-06880-0
Format: Electronic Resources

Dynamic Quality Management for Cloud Labor Services Methods and Applications for Gaining Reliable Work Results with an On-Demand Workforce

2024-04-28T05:48:54Z

Yazar Kern, Robert. author.
http://dx.doi.org/10.1007/978-3-319-09776-3
Format: Electronic Resources

Distributed Computer and Communication Networks 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Vishnevsky, Vladimir. editor.
http://dx.doi.org/10.1007/978-3-319-05209-0
Format: Electronic Resources

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

2024-04-28T05:48:54Z

Yazar Norman, Gethin. editor.
http://dx.doi.org/10.1007/978-3-319-10696-0
Format: Electronic Resources

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Bobillo, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-13413-0
Format: Electronic Resources

Information Technologies and Mathematical Modelling 13th International Scientific Conference, ITMM 2014, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings

2024-04-28T05:48:54Z

Yazar Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-13671-4
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings

2024-04-28T05:48:54Z

Yazar Sericola, Bruno. editor.
http://dx.doi.org/10.1007/978-3-319-08219-6
Format: Electronic Resources

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings

2024-04-28T05:48:54Z

Yazar Horváth, András. editor.
http://dx.doi.org/10.1007/978-3-319-10885-8
Format: Electronic Resources

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

2024-04-28T05:48:54Z

Yazar Mendes, Emilia. author.
http://dx.doi.org/10.1007/978-3-642-54157-5
Format: Electronic Resources

Biomedical Image Registration 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings

2024-04-28T05:48:54Z

Yazar Ourselin, Sébastien. editor.
http://dx.doi.org/10.1007/978-3-319-08554-8
Format: Electronic Resources

Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 – October 2, 2014. Proceedings

2024-04-28T05:48:54Z

Yazar Lavi, Ron. editor.
http://dx.doi.org/10.1007/978-3-662-44803-8
Format: Electronic Resources

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

2024-04-28T05:48:54Z

Yazar Baldan, Paolo. editor.
http://dx.doi.org/10.1007/978-3-662-44584-6
Format: Electronic Resources

Semantics of Probabilistic Processes An Operational Approach

2024-04-28T05:48:54Z

Yazar Deng, Yuxin. author.
http://dx.doi.org/10.1007/978-3-662-45198-4
Format: Electronic Resources

System Modeling and Optimization 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Pötzsche, Christian. editor.
http://dx.doi.org/10.1007/978-3-662-45504-3
Format: Electronic Resources

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-662-44124-4
Format: Electronic Resources

Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers

2024-04-28T05:48:54Z

Yazar Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-662-43880-0
Format: Electronic Resources

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

2024-04-28T05:48:54Z

Yazar Remke, Anne. editor.
http://dx.doi.org/10.1007/978-3-662-45489-3
Format: Electronic Resources