Search Results for - Narrowed by: Springer E-Book Collection - Computer science. - Mathematical statistics. - Probability and Statistics in Computer Science.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bstatistics.$002509Mathematical$002bstatistics.$0026qf$003dSUBJECT$002509Konu$002509Probability$002band$002bStatistics$002bin$002bComputer$002bScience.$002509Probability$002band$002bStatistics$002bin$002bComputer$002bScience.$0026ic$003dtrue$0026ps$003d300?2024-09-25T13:36:41ZProbability and Statistics for Computer Scienceent://SD_ILS/0/SD_ILS:2259852024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Forsyth, David. author.<br/><a href="https://doi.org/10.1007/978-3-319-64410-3">https://doi.org/10.1007/978-3-319-64410-3</a><br/>Format: Electronic Resources<br/>Doubly Classified Model with Rent://SD_ILS/0/SD_ILS:2243792024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Tan, Teck Kiang. author.<br/><a href="https://doi.org/10.1007/978-981-10-6995-6">https://doi.org/10.1007/978-981-10-6995-6</a><br/>Format: Electronic Resources<br/>Introduction to Data Science A Python Approach to Concepts, Techniques and Applicationsent://SD_ILS/0/SD_ILS:2216722024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Igual, Laura. author.<br/><a href="https://doi.org/10.1007/978-3-319-50017-1">https://doi.org/10.1007/978-3-319-50017-1</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:181142024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Carvalho, Joao Paulo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40596-4">http://dx.doi.org/10.1007/978-3-319-40596-4</a><br/>Format: Electronic Resources<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:182872024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Dudin, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44615-8">http://dx.doi.org/10.1007/978-3-319-44615-8</a><br/>Format: Electronic Resources<br/>Computer Networks 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179702024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Gaj, Piotr. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39207-3">http://dx.doi.org/10.1007/978-3-319-39207-3</a><br/>Format: Electronic Resources<br/>Quantum Zero-Error Information Theoryent://SD_ILS/0/SD_ILS:182222024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar B. Guedes, Elloá. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42794-2">http://dx.doi.org/10.1007/978-3-319-42794-2</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182382024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Agha, Gul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43425-4">http://dx.doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Algorithms in Bioinformatics 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedingsent://SD_ILS/0/SD_ILS:182462024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Frith, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43681-4">http://dx.doi.org/10.1007/978-3-319-43681-4</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedingsent://SD_ILS/0/SD_ILS:174412024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Gyssens, Marc. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30024-5">http://dx.doi.org/10.1007/978-3-319-30024-5</a><br/>Format: Electronic Resources<br/>Machine Learning and Interpretation in Neuroimaging 4th International Workshop, MLINI 2014, Held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:183132024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Rish, Irina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45174-9">http://dx.doi.org/10.1007/978-3-319-45174-9</a><br/>Format: Electronic Resources<br/>Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19–21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186862024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Gairing, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53354-3">http://dx.doi.org/10.1007/978-3-662-53354-3</a><br/>Format: Electronic Resources<br/>Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184182024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Czachórski, Tadeusz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47217-1">http://dx.doi.org/10.1007/978-3-319-47217-1</a><br/>Format: Electronic Resources<br/>Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:175612024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Vishnevsky, Vladimir. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30843-2">http://dx.doi.org/10.1007/978-3-319-30843-2</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:172772024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Camara, Oscar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28712-6">http://dx.doi.org/10.1007/978-3-319-28712-6</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:181122024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Carvalho, Joao Paulo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40581-0">http://dx.doi.org/10.1007/978-3-319-40581-0</a><br/>Format: Electronic Resources<br/>Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:182692024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Angelini, Claudia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44332-4">http://dx.doi.org/10.1007/978-3-319-44332-4</a><br/>Format: Electronic Resources<br/>Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulationent://SD_ILS/0/SD_ILS:178862024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Al-Begain, Khalid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33786-9">http://dx.doi.org/10.1007/978-3-319-33786-9</a><br/>Format: Electronic Resources<br/>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 Lecturesent://SD_ILS/0/SD_ILS:179172024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34096-8">http://dx.doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:183802024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Galinina, Olga. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46301-8">http://dx.doi.org/10.1007/978-3-319-46301-8</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183832024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Fiems, Dieter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46433-6">http://dx.doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:183962024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar van Eekelen, Marko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46559-3">http://dx.doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Statistical Analysis of Noise in MRI Modeling, Filtering and Estimationent://SD_ILS/0/SD_ILS:180402024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Aja-Fernández, Santiago. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39934-8">http://dx.doi.org/10.1007/978-3-319-39934-8</a><br/>Format: Electronic Resources<br/>Probabilistic Graphical Models Principles and Applicationsent://SD_ILS/0/SD_ILS:195702024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Sucar, Luis Enrique. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6699-3">http://dx.doi.org/10.1007/978-1-4471-6699-3</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232012024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Campos, Javier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22264-6">http://dx.doi.org/10.1007/978-3-319-22264-6</a><br/>Format: Electronic Resources<br/>Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232632024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Walsh, Toby. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23114-3">http://dx.doi.org/10.1007/978-3-319-23114-3</a><br/>Format: Electronic Resources<br/>Optimization in the Natural Sciences 30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:230382024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Plakhov, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20352-2">http://dx.doi.org/10.1007/978-3-319-20352-2</a><br/>Format: Electronic Resources<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:234912024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Dudin, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25861-4">http://dx.doi.org/10.1007/978-3-319-25861-4</a><br/>Format: Electronic Resources<br/>Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedingsent://SD_ILS/0/SD_ILS:236172024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Suzuki, Joe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28379-1">http://dx.doi.org/10.1007/978-3-319-28379-1</a><br/>Format: Electronic Resources<br/>Introduction to Information Retrieval and Quantum Mechanicsent://SD_ILS/0/SD_ILS:248662024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Melucci, Massimo. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48313-8">http://dx.doi.org/10.1007/978-3-662-48313-8</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:222702024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Camara, Oscar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14678-2">http://dx.doi.org/10.1007/978-3-319-14678-2</a><br/>Format: Electronic Resources<br/>Protein Homology Detection Through Alignment of Markov Random Fields Using MRFalignent://SD_ILS/0/SD_ILS:223002024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Xu, Jinbo. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14914-1">http://dx.doi.org/10.1007/978-3-319-14914-1</a><br/>Format: Electronic Resources<br/>Information Processing in Medical Imaging 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230052024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Ourselin, Sebastien. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19992-4">http://dx.doi.org/10.1007/978-3-319-19992-4</a><br/>Format: Electronic Resources<br/>Measures of Complexity Festschrift for Alexey Chervonenkisent://SD_ILS/0/SD_ILS:231712024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Vovk, Vladimir. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21852-6">http://dx.doi.org/10.1007/978-3-319-21852-6</a><br/>Format: Electronic Resources<br/>Computer Networks 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229342024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Gaj, Piotr. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19419-6">http://dx.doi.org/10.1007/978-3-319-19419-6</a><br/>Format: Electronic Resources<br/>Big-Data Analytics and Cloud Computing Theory, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:234442024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Trovati, Marcello. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25313-8">http://dx.doi.org/10.1007/978-3-319-25313-8</a><br/>Format: Electronic Resources<br/>Cyber-Risk Managementent://SD_ILS/0/SD_ILS:233022024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Refsdal, Atle. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23570-7">http://dx.doi.org/10.1007/978-3-319-23570-7</a><br/>Format: Electronic Resources<br/>Algorithmic Game Theory 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:248722024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Hoefer, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48433-3">http://dx.doi.org/10.1007/978-3-662-48433-3</a><br/>Format: Electronic Resources<br/>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 Lecturesent://SD_ILS/0/SD_ILS:228752024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18941-3">http://dx.doi.org/10.1007/978-3-319-18941-3</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:248962024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Bianculli, Domenico. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49224-6">http://dx.doi.org/10.1007/978-3-662-49224-6</a><br/>Format: Electronic Resources<br/>Large-Scale Scientific Computing 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:235322024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Lirkov, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26520-9">http://dx.doi.org/10.1007/978-3-319-26520-9</a><br/>Format: Electronic Resources<br/>Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:236252024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Croitoru, Madalina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28702-7">http://dx.doi.org/10.1007/978-3-319-28702-7</a><br/>Format: Electronic Resources<br/>Data-driven Generation of Policiesent://SD_ILS/0/SD_ILS:198512024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Parker, Austin. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4939-0274-3">http://dx.doi.org/10.1007/978-1-4939-0274-3</a><br/>Format: Electronic Resources<br/>Handbook of Biometric Anti-Spoofing Trusted Biometrics under Spoofing Attacksent://SD_ILS/0/SD_ILS:195452024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Marcel, Sébastien. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6524-8">http://dx.doi.org/10.1007/978-1-4471-6524-8</a><br/>Format: Electronic Resources<br/>Distributed Computer and Communication Networks 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:206282024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Vishnevsky, Vladimir. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05209-0">http://dx.doi.org/10.1007/978-3-319-05209-0</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216002024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Horváth, András. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10885-8">http://dx.doi.org/10.1007/978-3-319-10885-8</a><br/>Format: Electronic Resources<br/>Computer Networks 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211002024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar KwiecieĊ, Andrzej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07941-7">http://dx.doi.org/10.1007/978-3-319-07941-7</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215662024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Norman, Gethin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10696-0">http://dx.doi.org/10.1007/978-3-319-10696-0</a><br/>Format: Electronic Resources<br/>Biomedical Image Registration 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211942024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Ourselin, Sébastien. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08554-8">http://dx.doi.org/10.1007/978-3-319-08554-8</a><br/>Format: Electronic Resources<br/>System Modeling and Optimization 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:246392024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Pötzsche, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45504-3">http://dx.doi.org/10.1007/978-3-662-45504-3</a><br/>Format: Electronic Resources<br/>Semantics of Probabilistic Processes An Operational Approachent://SD_ILS/0/SD_ILS:246082024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Deng, Yuxin. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45198-4">http://dx.doi.org/10.1007/978-3-662-45198-4</a><br/>Format: Electronic Resources<br/>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 Lecturesent://SD_ILS/0/SD_ILS:246352024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45489-3">http://dx.doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Electronic Resources<br/>Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:209012024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Breugel, Franck van. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06880-0">http://dx.doi.org/10.1007/978-3-319-06880-0</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211422024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Sericola, Bruno. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08219-6">http://dx.doi.org/10.1007/978-3-319-08219-6</a><br/>Format: Electronic Resources<br/>Probabilistic Graphical Models 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217092024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Gaag, Linda C. van der. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11433-0">http://dx.doi.org/10.1007/978-3-319-11433-0</a><br/>Format: Electronic Resources<br/>Information Technologies and Mathematical Modelling 13th International Scientific Conference, ITMM 2014, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221202024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Dudin, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13671-4">http://dx.doi.org/10.1007/978-3-319-13671-4</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:244642024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Bonsangue, Marcello M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44124-4">http://dx.doi.org/10.1007/978-3-662-44124-4</a><br/>Format: Electronic Resources<br/>Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:244362024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Lirkov, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43880-0">http://dx.doi.org/10.1007/978-3-662-43880-0</a><br/>Format: Electronic Resources<br/>CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245222024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Baldan, Paolo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44584-6">http://dx.doi.org/10.1007/978-3-662-44584-6</a><br/>Format: Electronic Resources<br/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:239612024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Mendes, Emilia. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54157-5">http://dx.doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 – October 2, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245592024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Lavi, Ron. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44803-8">http://dx.doi.org/10.1007/978-3-662-44803-8</a><br/>Format: Electronic Resources<br/>Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:220772024-09-25T13:36:41Z2024-09-25T13:36:41ZYazar Bobillo, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13413-0">http://dx.doi.org/10.1007/978-3-319-13413-0</a><br/>Format: Electronic Resources<br/>