Search Results for Information Theory. - Narrowed by: 2018SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInformation$002bTheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026ic$003dtrue$0026ps$003d300?dt=list2024-10-11T18:29:05ZInformation Theory for Electrical Engineersent://SD_ILS/0/SD_ILS:4026172024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Gazi, Orhan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8432-4">https://doi.org/10.1007/978-981-10-8432-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information- and Communication Theory in Molecular Biologyent://SD_ILS/0/SD_ILS:4018802024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Bossert, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54729-9">https://doi.org/10.1007/978-3-319-54729-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3990862024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03329-3">https://doi.org/10.1007/978-3-030-03329-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Methods and Models Rudolf Ahlswede’s Lectures on Information Theory 4ent://SD_ILS/0/SD_ILS:3998182024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. Tamm, Ulrich. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53139-7">https://doi.org/10.1007/978-3-319-53139-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3999232024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03326-2">https://doi.org/10.1007/978-3-030-03326-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:4001142024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97595-5">https://doi.org/10.1007/978-3-319-97595-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Theory of Info-Statics: Conceptual Foundations of Information and Knowledgeent://SD_ILS/0/SD_ILS:4001392024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Dompere, Kofi K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61639-1">https://doi.org/10.1007/978-3-319-61639-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4004632024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Theory of Info-Dynamics: Rational Foundations of Information-Knowledge Dynamicsent://SD_ILS/0/SD_ILS:4017812024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Dompere, Kofi K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63853-9">https://doi.org/10.1007/978-3-319-63853-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3995452024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03332-3">https://doi.org/10.1007/978-3-030-03332-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3995992024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4022152024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Hancke, Gerhard P. editor. Damiani, Ernesto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93524-9">https://doi.org/10.1007/978-3-319-93524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensitivity and uncertainty analysisent://SD_ILS/0/SD_ILS:2873342024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Cacuci, D. G. Ionescu-Bujor, Mihaela. Navon, Ionel Michael.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203498798">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sensitivity and uncertainty analysisent://SD_ILS/0/SD_ILS:2863942024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Cacuci, D. G. Ionescu-Bujor, Mihaela. Navon, Ionel Michael.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203483572">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Microeconomics of bankingent://SD_ILS/0/SD_ILS:758472024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Freixas, Xavier.<br/>Preferred Shelf Number HG 1601 F74 1997<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Handbook of software engineering & knowledge engineeringent://SD_ILS/0/SD_ILS:792872024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Chang, Shi Kuo, 1944- ed.<br/>Preferred Shelf Number QA 76.758 H36 2001- V.2<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:3990832024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor González-Beltrán, Alejandra. editor. (orcid)0000-0003-3499-8262 Osborne, Francesco. editor. (orcid)0000-0001-6557-3131 Peroni, Silvio. editor. (orcid)0000-0003-0530-4305 Vahdati, Sahar. editor. (orcid)0000-0002-7171-169X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01379-0">https://doi.org/10.1007/978-3-030-01379-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992182024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXXent://SD_ILS/0/SD_ILS:3992672024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Thanh Nguyen, Ngoc. editor. Kowalczyk, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99810-7">https://doi.org/10.1007/978-3-319-99810-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approachesent://SD_ILS/0/SD_ILS:3992702024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68397-3">https://doi.org/10.1007/978-3-319-68397-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Scienceent://SD_ILS/0/SD_ILS:3993602024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Ausiello, Giorgio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62680-2">https://doi.org/10.1007/978-3-319-62680-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3993652024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:3993662024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3993972024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994522024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93372-6">https://doi.org/10.1007/978-3-319-93372-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:3995692024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001292024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Matterent://SD_ILS/0/SD_ILS:4002712024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Stepney, Susan. editor. Rasmussen, Steen. editor. Amos, Martyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65826-1">https://doi.org/10.1007/978-3-319-65826-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4004652024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005062024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Faron Zucker, Catherine. editor. (orcid)0000-0001-5959-5561 Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965 Napoli, Amedeo. editor. Toussaint, Yannick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03667-6">https://doi.org/10.1007/978-3-030-03667-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Parallel Constraint Reasoningent://SD_ILS/0/SD_ILS:4005102024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Hamadi, Youssef. editor. Sais, Lakhdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63516-3">https://doi.org/10.1007/978-3-319-63516-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4005962024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Camacho, David. editor. (orcid)0000-0002-0535-7450 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Tallón-Ballesteros, Antonio J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03493-1">https://doi.org/10.1007/978-3-030-03493-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4014952024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93701-4">https://doi.org/10.1007/978-3-319-93701-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994722024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994082024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94418-0">https://doi.org/10.1007/978-3-319-94418-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3994102024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles in Noisy Optimization Applied to Multi-agent Coordinationent://SD_ILS/0/SD_ILS:3994362024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Rakshit, Pratyusha. author. Konar, Amit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8642-7">https://doi.org/10.1007/978-981-10-8642-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995512024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Metaheuristics for Optimizationent://SD_ILS/0/SD_ILS:3996272024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Chopard, Bastien. author. Tomassini, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93073-2">https://doi.org/10.1007/978-3-319-93073-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XIIIent://SD_ILS/0/SD_ILS:3996372024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58381-4">https://doi.org/10.1007/978-3-662-58381-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approachent://SD_ILS/0/SD_ILS:3996852024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Raynal, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94141-7">https://doi.org/10.1007/978-3-319-94141-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Science XXXIIIent://SD_ILS/0/SD_ILS:3997332024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hyper-Heuristics: Theory and Applicationsent://SD_ILS/0/SD_ILS:3990152024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Pillay, Nelishia. author. Qu, Rong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96514-7">https://doi.org/10.1007/978-3-319-96514-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthdayent://SD_ILS/0/SD_ILS:3998612024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foraging-Inspired Optimisation Algorithmsent://SD_ILS/0/SD_ILS:3998342024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Brabazon, Anthony. author. McGarraghy, Seán. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59156-8">https://doi.org/10.1007/978-3-319-59156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papersent://SD_ILS/0/SD_ILS:4000412024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96562-8">https://doi.org/10.1007/978-3-319-96562-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4001632024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Böckenhauer, Hans-Joachim. editor. Komm, Dennis. editor. Unger, Walter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98355-4">https://doi.org/10.1007/978-3-319-98355-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003332024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02852-7">https://doi.org/10.1007/978-3-030-02852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006402024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89722-6">https://doi.org/10.1007/978-3-319-89722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006442024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:4012932024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4015212024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93698-7">https://doi.org/10.1007/978-3-319-93698-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017142024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4019902024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Artifacts Towards a Philosophy of Computer Scienceent://SD_ILS/0/SD_ILS:4027122024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Turner, Raymond. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55565-1">https://doi.org/10.1007/978-3-662-55565-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4002302024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Taşın altındaki el : günlük yaşamdaki gizli asimetrilerent://SD_ILS/0/SD_ILS:4610942024-10-11T18:29:05Z2024-10-11T18:29:05ZAuthor Taleb, Nassim Nicholas. Deniztekin, Filiz.<br/>Preferred Shelf Number HM1101 T3519 2018<br/>Format: Books<br/>Availability Beytepe Library~1<br/>