Search Results for - Narrowed by: 2016 - Logic design.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092016$0025092016$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300$0026isd$003dtrue?2024-06-22T18:49:17ZDigital design and computer architectureent://SD_ILS/0/SD_ILS:22165232024-06-22T18:49:17Z2024-06-22T18:49:17Zby Harris, Sarah L., author.<br/><a href="https://ebookcentral.proquest.com/lib/iyte/detail.action?docID=5754460">Click to View</a><br/>Format: Electronic Resources<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:20861172024-06-22T18:49:17Z2024-06-22T18:49:17Zby Steffen, Bernhard. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861252024-06-22T18:49:17Z2024-06-22T18:49:17Zby Larsen, Kim Guldstrand. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45994-3">https://doi.org/10.1007/978-3-319-45994-3</a><br/>Format: Electronic Resources<br/>Computational Autisment://SD_ILS/0/SD_ILS:20847862024-06-22T18:49:17Z2024-06-22T18:49:17Zby Galitsky, Boris. author.<br/><a href="https://doi.org/10.1007/978-3-319-39972-0">https://doi.org/10.1007/978-3-319-39972-0</a><br/>Format: Electronic Resources<br/>Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852502024-06-22T18:49:17Z2024-06-22T18:49:17Zby Ebert, Achim. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45916-5">https://doi.org/10.1007/978-3-319-45916-5</a><br/>Format: Electronic Resources<br/>High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automationent://SD_ILS/0/SD_ILS:20874742024-06-22T18:49:17Z2024-06-22T18:49:17Zby Palchaudhuri, Ayan. author.<br/><a href="https://doi.org/10.1007/978-81-322-2520-1">https://doi.org/10.1007/978-81-322-2520-1</a><br/>Format: Electronic Resources<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:20850172024-06-22T18:49:17Z2024-06-22T18:49:17Zby Skrzypczak, Michał. author.<br/><a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858362024-06-22T18:49:17Z2024-06-22T18:49:17Zby Festa, Paola. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50349-3">https://doi.org/10.1007/978-3-319-50349-3</a><br/>Format: Electronic Resources<br/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20855622024-06-22T18:49:17Z2024-06-22T18:49:17Zby Bloem, Roderick. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857572024-06-22T18:49:17Z2024-06-22T18:49:17Zby Lucanu, Dorel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Reversible Logic Synthesis Methodologies with Application to Quantum Computingent://SD_ILS/0/SD_ILS:20879162024-06-22T18:49:17Z2024-06-22T18:49:17Zby Taha, Saleem Mohammed Ridha. author.<br/><a href="https://doi.org/10.1007/978-3-319-23479-3">https://doi.org/10.1007/978-3-319-23479-3</a><br/>Format: Electronic Resources<br/>Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllersent://SD_ILS/0/SD_ILS:20872862024-06-22T18:49:17Z2024-06-22T18:49:17Zby Cervantes, Leticia. author.<br/><a href="https://doi.org/10.1007/978-3-319-26671-8">https://doi.org/10.1007/978-3-319-26671-8</a><br/>Format: Electronic Resources<br/>Towards Paraconsistent Engineeringent://SD_ILS/0/SD_ILS:20872122024-06-22T18:49:17Z2024-06-22T18:49:17Zby Akama, Seiki. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40418-9">https://doi.org/10.1007/978-3-319-40418-9</a><br/>Format: Electronic Resources<br/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860022024-06-22T18:49:17Z2024-06-22T18:49:17Zby Kapitsaki, Georgia M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format: Electronic Resources<br/>Digital Logic Design Using Verilog Coding and RTL Synthesisent://SD_ILS/0/SD_ILS:20870932024-06-22T18:49:17Z2024-06-22T18:49:17Zby Taraate, Vaibbhav. author.<br/><a href="https://doi.org/10.1007/978-81-322-2791-5">https://doi.org/10.1007/978-81-322-2791-5</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20850382024-06-22T18:49:17Z2024-06-22T18:49:17Zby Albert, Elvira. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Electronic Resources<br/>Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860002024-06-22T18:49:17Z2024-06-22T18:49:17Zby Milazzo, Paolo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860112024-06-22T18:49:17Z2024-06-22T18:49:17Zby Igarashi, Atsushi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:20845652024-06-22T18:49:17Z2024-06-22T18:49:17Zby van der Aalst, Wil. author.<br/><a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854362024-06-22T18:49:17Z2024-06-22T18:49:17Zby Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20850922024-06-22T18:49:17Z2024-06-22T18:49:17Zby Fränzle, Martin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47677-3">https://doi.org/10.1007/978-3-319-47677-3</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854412024-06-22T18:49:17Z2024-06-22T18:49:17Zby Wotawa, Franz. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856282024-06-22T18:49:17Z2024-06-22T18:49:17Zby Sampaio, Augusto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856682024-06-22T18:49:17Z2024-06-22T18:49:17Zby Kiselyov, Oleg. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857692024-06-22T18:49:17Z2024-06-22T18:49:17Zby Jacobs, Bart. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856122024-06-22T18:49:17Z2024-06-22T18:49:17Zby Lluch Lafuente, Alberto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Electronic Resources<br/>Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857752024-06-22T18:49:17Z2024-06-22T18:49:17Zby Kordon, Fabrice. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39086-4">https://doi.org/10.1007/978-3-319-39086-4</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20858862024-06-22T18:49:17Z2024-06-22T18:49:17Zby Liu, Shaoying. editor.<br/><a href="https://doi.org/10.1007/978-3-319-31220-0">https://doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857102024-06-22T18:49:17Z2024-06-22T18:49:17Zby Gavanelli, Marco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28228-2">https://doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Electronic Resources<br/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857142024-06-22T18:49:17Z2024-06-22T18:49:17Zby Falcone, Yliès. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856252024-06-22T18:49:17Z2024-06-22T18:49:17Zby Chechik, Marsha. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Electronic Resources<br/>Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20860462024-06-22T18:49:17Z2024-06-22T18:49:17Zby Karydis, Ioannis. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857892024-06-22T18:49:17Z2024-06-22T18:49:17Zby Kulikov, Alexander S. editor.<br/><a href="https://doi.org/10.1007/978-3-319-34171-2">https://doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20857192024-06-22T18:49:17Z2024-06-22T18:49:17Zby Serrano, Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859772024-06-22T18:49:17Z2024-06-22T18:49:17Zby Devitt, Simon. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40578-0">https://doi.org/10.1007/978-3-319-40578-0</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859782024-06-22T18:49:17Z2024-06-22T18:49:17Zby Blanchette, Jasmin Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859822024-06-22T18:49:17Z2024-06-22T18:49:17Zby Dignum, Virginia. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42691-4">https://doi.org/10.1007/978-3-319-42691-4</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857982024-06-22T18:49:17Z2024-06-22T18:49:17Zby Rayadurgam, Sanjai. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:20857992024-06-22T18:49:17Z2024-06-22T18:49:17Zby Liu, Zhiming. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858032024-06-22T18:49:17Z2024-06-22T18:49:17Zby Han, Yo-Sub. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40946-7">https://doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20858092024-06-22T18:49:17Z2024-06-22T18:49:17Zby Väänänen, Jouko. editor.<br/><a href="https://doi.org/10.1007/978-3-662-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>Transactions on Petri Nets and Other Models of Concurrency XIent://SD_ILS/0/SD_ILS:20858112024-06-22T18:49:17Z2024-06-22T18:49:17Zby Koutny, Maciej. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53401-4">https://doi.org/10.1007/978-3-662-53401-4</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858132024-06-22T18:49:17Z2024-06-22T18:49:17Zby Ogata, Kazuhiro. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20858172024-06-22T18:49:17Z2024-06-22T18:49:17Zby Jobstmann, Barbara. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20858192024-06-22T18:49:17Z2024-06-22T18:49:17Zby Gurfinkel, Arie. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858202024-06-22T18:49:17Z2024-06-22T18:49:17Zby Wąsowski, Andrzej. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42061-5">https://doi.org/10.1007/978-3-319-42061-5</a><br/>Format: Electronic Resources<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20840842024-06-22T18:49:17Z2024-06-22T18:49:17Zby Yakovyna, Vitaliy. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20843672024-06-22T18:49:17Z2024-06-22T18:49:17Zby Maciaszek, Leszek A. editor.<br/><a href="https://doi.org/10.1007/978-3-319-56390-9">https://doi.org/10.1007/978-3-319-56390-9</a><br/>Format: Electronic Resources<br/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:20841252024-06-22T18:49:17Z2024-06-22T18:49:17Zby Göbel, Susanne. author.<br/><a href="https://doi.org/10.1007/978-3-658-11765-8">https://doi.org/10.1007/978-3-658-11765-8</a><br/>Format: Electronic Resources<br/>Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20852322024-06-22T18:49:17Z2024-06-22T18:49:17Zby Bošnački, Dragan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Electronic Resources<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20852342024-06-22T18:49:17Z2024-06-22T18:49:17Zby Lecomte, Thierry. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20845882024-06-22T18:49:17Z2024-06-22T18:49:17Zby Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20852852024-06-22T18:49:17Z2024-06-22T18:49:17Zby Brlek, Srečko. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53132-7">https://doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857412024-06-22T18:49:17Z2024-06-22T18:49:17Zby Ábrahám, Erika. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33693-0">https://doi.org/10.1007/978-3-319-33693-0</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20855752024-06-22T18:49:17Z2024-06-22T18:49:17Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859502024-06-22T18:49:17Z2024-06-22T18:49:17Zby De Nicola, Rocco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20859892024-06-22T18:49:17Z2024-06-22T18:49:17Zby Câmpeanu, Cezar. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41114-9">https://doi.org/10.1007/978-3-319-41114-9</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859942024-06-22T18:49:17Z2024-06-22T18:49:17Zby Fränzle, Martin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Electronic Resources<br/>Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20861612024-06-22T18:49:17Z2024-06-22T18:49:17Zby Amunts, Katrin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50862-7">https://doi.org/10.1007/978-3-319-50862-7</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20860692024-06-22T18:49:17Z2024-06-22T18:49:17Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20850672024-06-22T18:49:17Z2024-06-22T18:49:17Zby Hasuo, Ichiro. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40370-0">https://doi.org/10.1007/978-3-319-40370-0</a><br/>Format: Electronic Resources<br/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20850872024-06-22T18:49:17Z2024-06-22T18:49:17Zby Grabowski, Jens. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:20843852024-06-22T18:49:17Z2024-06-22T18:49:17Zby Lamprecht, Anna-Lena. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</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:20855462024-06-22T18:49:17Z2024-06-22T18:49:17Zby Bernardo, Marco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20855482024-06-22T18:49:17Z2024-06-22T18:49:17Zby Stevens, Perdita. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49665-7">https://doi.org/10.1007/978-3-662-49665-7</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:20858372024-06-22T18:49:17Z2024-06-22T18:49:17Zby Fiems, Dieter. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857392024-06-22T18:49:17Z2024-06-22T18:49:17Zby Rival, Xavier. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53413-7">https://doi.org/10.1007/978-3-662-53413-7</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858552024-06-22T18:49:17Z2024-06-22T18:49:17Zby Blazy, Sandrine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>Deductive Software Verification – The KeY Book From Theory to Practiceent://SD_ILS/0/SD_ILS:20855652024-06-22T18:49:17Z2024-06-22T18:49:17Zby Ahrendt, Wolfgang. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Electronic Resources<br/>Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858672024-06-22T18:49:17Z2024-06-22T18:49:17Zby Echahed, Rachid. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858052024-06-22T18:49:17Z2024-06-22T18:49:17Zby Skavhaug, Amund. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45477-1">https://doi.org/10.1007/978-3-319-45477-1</a><br/>Format: Electronic Resources<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860802024-06-22T18:49:17Z2024-06-22T18:49:17Zby Olivetti, Nicola. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:20845262024-06-22T18:49:17Z2024-06-22T18:49:17Zby O'Regan, Gerard. author.<br/><a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857272024-06-22T18:49:17Z2024-06-22T18:49:17Zby Bertogna, Marko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<br/>Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857302024-06-22T18:49:17Z2024-06-22T18:49:17Zby Cinquemani, Eugenio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47151-8">https://doi.org/10.1007/978-3-319-47151-8</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:20856092024-06-22T18:49:17Z2024-06-22T18:49:17Zby van Eekelen, Marko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20856962024-06-22T18:49:17Z2024-06-22T18:49:17Zby Chaudhuri, Swarat. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41540-6">https://doi.org/10.1007/978-3-319-41540-6</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20857002024-06-22T18:49:17Z2024-06-22T18:49:17Zby Chaudhuri, Swarat. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41528-4">https://doi.org/10.1007/978-3-319-41528-4</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857012024-06-22T18:49:17Z2024-06-22T18:49:17Zby Daneva, Maya. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30282-9">https://doi.org/10.1007/978-3-319-30282-9</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856182024-06-22T18:49:17Z2024-06-22T18:49:17Zby Ribeiro, Leila. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format: Electronic Resources<br/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858982024-06-22T18:49:17Z2024-06-22T18:49:17Zby Crnkovic, Ivica. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858992024-06-22T18:49:17Z2024-06-22T18:49:17Zby Amos, Martyn. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41312-9">https://doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Electronic Resources<br/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:20858452024-06-22T18:49:17Z2024-06-22T18:49:17Zby Lindley, Sam. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:20861552024-06-22T18:49:17Z2024-06-22T18:49:17Zby Cornélio, Márcio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format: Electronic Resources<br/>Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852242024-06-22T18:49:17Z2024-06-22T18:49:17Zby Mauw, Sjouke. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29968-6">https://doi.org/10.1007/978-3-319-29968-6</a><br/>Format: Electronic Resources<br/>Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861602024-06-22T18:49:17Z2024-06-22T18:49:17Zby Amblard, Maxime. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53826-5">https://doi.org/10.1007/978-3-662-53826-5</a><br/>Format: Electronic Resources<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:20861692024-06-22T18:49:17Z2024-06-22T18:49:17Zby Ábrahám, Erika. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860782024-06-22T18:49:17Z2024-06-22T18:49:17Zby Hildebrandt, Thomas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33612-1">https://doi.org/10.1007/978-3-319-33612-1</a><br/>Format: Electronic Resources<br/>Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858232024-06-22T18:49:17Z2024-06-22T18:49:17Zby Abdulla, Parosh Aziz. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46140-3">https://doi.org/10.1007/978-3-319-46140-3</a><br/>Format: Electronic Resources<br/>Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20862002024-06-22T18:49:17Z2024-06-22T18:49:17Zby Alferes, Jose Julio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42019-6">https://doi.org/10.1007/978-3-319-42019-6</a><br/>Format: Electronic Resources<br/>PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20862012024-06-22T18:49:17Z2024-06-22T18:49:17Zby Baldoni, Matteo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44832-9">https://doi.org/10.1007/978-3-319-44832-9</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20862072024-06-22T18:49:17Z2024-06-22T18:49:17Zby Skavhaug, Amund. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45480-1">https://doi.org/10.1007/978-3-319-45480-1</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861082024-06-22T18:49:17Z2024-06-22T18:49:17Zby Michael, Loizos. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Electronic Resources<br/>Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859302024-06-22T18:49:17Z2024-06-22T18:49:17Zby ter Beek, Maurice H. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45943-1">https://doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Electronic Resources<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858752024-06-22T18:49:17Z2024-06-22T18:49:17Zby Castor, Fernando. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857792024-06-22T18:49:17Z2024-06-22T18:49:17Zby Butler, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857802024-06-22T18:49:17Z2024-06-22T18:49:17Zby Thiemann, Peter. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861292024-06-22T18:49:17Z2024-06-22T18:49:17Zby Foret, Annie. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859572024-06-22T18:49:17Z2024-06-22T18:49:17Zby Inoue, Katsumi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40566-7">https://doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Electronic Resources<br/>FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859582024-06-22T18:49:17Z2024-06-22T18:49:17Zby Fitzgerald, John. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48989-6">https://doi.org/10.1007/978-3-319-48989-6</a><br/>Format: Electronic Resources<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:20859592024-06-22T18:49:17Z2024-06-22T18:49:17Zby Probst, Christian W. editor.<br/><a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857862024-06-22T18:49:17Z2024-06-22T18:49:17Zby Braga, Christiano. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861412024-06-22T18:49:17Z2024-06-22T18:49:17Zby Comyn-Wattiau, Isabelle. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46397-1">https://doi.org/10.1007/978-3-319-46397-1</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857232024-06-22T18:49:17Z2024-06-22T18:49:17Zby Mazzara, Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859072024-06-22T18:49:17Z2024-06-22T18:49:17Zby Kohlhase, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859082024-06-22T18:49:17Z2024-06-22T18:49:17Zby Aichernig, Bernhard K. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</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:20859262024-06-22T18:49:17Z2024-06-22T18:49:17Zby Agha, Gul. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43425-4">https://doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Make: FPGAs : turning software into hardware with eight fun and easy DIY projects.ent://SD_ILS/0/SD_ILS:23099842024-06-22T18:49:17Z2024-06-22T18:49:17Zby Romano, David, author.<br/><a href="https://learning.oreilly.com/library/view/~/9781457187841">https://learning.oreilly.com/library/view/~/9781457187841</a>
<a href="https://learning.oreilly.com/library/view/~/9781457187841/?ar">https://learning.oreilly.com/library/view/~/9781457187841/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781457187841/?ar">https://go.oreilly.com/library-access/library/view/-/9781457187841/?ar</a><br/>Format: Electronic Resources<br/>