Search Results for Beer. - Narrowed by: Computer science.SirsiDynix Enterprisehttp://librarycatalog.yyu.edu.tr/client/en_US/default/default/qu$003dBeer.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list2025-02-13T11:29:58ZLanguage, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedingsent://SD_ILS/0/SD_ILS:1713492025-02-13T11:29:58Z2025-02-13T11:29:58Zby Beckmann, Arnold. editor.<br/><a href="https://doi.org/10.1007/978-3-319-08019-2">https://doi.org/10.1007/978-3-319-08019-2</a><br/>Format: Electronic Resources<br/>Advances in Artificial Intelligence 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:1486932025-02-13T11:29:58Z2025-02-13T11:29:58Zby Sokolova, Marina. editor.<br/><a href="https://doi.org/10.1007/978-3-319-06483-3">https://doi.org/10.1007/978-3-319-06483-3</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1700272025-02-13T11:29:58Z2025-02-13T11:29:58Zby Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291<br/><a href="https://doi.org/10.1007/978-3-642-35887-6">https://doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Electronic Resources<br/>Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:1726132025-02-13T11:29:58Z2025-02-13T11:29:58Zby ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367<br/><a href="https://doi.org/10.1007/978-3-642-38230-7">https://doi.org/10.1007/978-3-642-38230-7</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lecturesent://SD_ILS/0/SD_ILS:1741102025-02-13T11:29:58Z2025-02-13T11:29:58Zby Giachino, Elena. editor.<br/><a href="https://doi.org/10.1007/978-3-642-40615-7">https://doi.org/10.1007/978-3-642-40615-7</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedingsent://SD_ILS/0/SD_ILS:1486102025-02-13T11:29:58Z2025-02-13T11:29:58Zby Beyer, Dirk. editor.<br/><a href="https://doi.org/10.1007/978-3-642-38592-6">https://doi.org/10.1007/978-3-642-38592-6</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010ent://SD_ILS/0/SD_ILS:1723102025-02-13T11:29:58Z2025-02-13T11:29:58Zby Aichernig, Bernhard K. editor.<br/><a href="https://doi.org/10.1007/978-3-642-25271-6">https://doi.org/10.1007/978-3-642-25271-6</a><br/>Format: Electronic Resources<br/>Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedingsent://SD_ILS/0/SD_ILS:1405122025-02-13T11:29:58Z2025-02-13T11:29:58Zby Baeten, Jos C.M. editor.<br/><a href="https://doi.org/10.1007/978-3-642-33475-7">https://doi.org/10.1007/978-3-642-33475-7</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1714852025-02-13T11:29:58Z2025-02-13T11:29:58Zby de Boer, Frank S. editor.<br/><a href="https://doi.org/10.1007/978-3-642-17071-3">https://doi.org/10.1007/978-3-642-17071-3</a><br/>Format: Electronic Resources<br/>Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedingsent://SD_ILS/0/SD_ILS:1715512025-02-13T11:29:58Z2025-02-13T11:29:58Zby Brennan, Rob. editor.<br/><a href="https://doi.org/10.1007/978-3-642-16836-9">https://doi.org/10.1007/978-3-642-16836-9</a><br/>Format: Electronic Resources<br/>Architecture and Methods for Flexible Content Management in Peer-to-Peer Systemsent://SD_ILS/0/SD_ILS:1351192025-02-13T11:29:58Z2025-02-13T11:29:58Zby Bartlang, Udo. author.<br/><a href="https://doi.org/10.1007/978-3-8348-9645-2">https://doi.org/10.1007/978-3-8348-9645-2</a><br/>Format: Electronic Resources<br/>Parsing the Turing Test Philosophical and Methodological Issues in the Quest for the Thinking Computerent://SD_ILS/0/SD_ILS:1555102025-02-13T11:29:58Z2025-02-13T11:29:58Zby Epstein, Robert. editor.<br/><a href="https://doi.org/10.1007/978-1-4020-6710-5">https://doi.org/10.1007/978-1-4020-6710-5</a><br/>Format: Electronic Resources<br/>Verification of Sequential and Concurrent Programsent://SD_ILS/0/SD_ILS:1566502025-02-13T11:29:58Z2025-02-13T11:29:58Zby Apt, Krzysztof R. author.<br/><a href="https://doi.org/10.1007/978-1-84882-745-5">https://doi.org/10.1007/978-1-84882-745-5</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lecturesent://SD_ILS/0/SD_ILS:1719782025-02-13T11:29:58Z2025-02-13T11:29:58Zby de Boer, Frank S. editor.<br/><a href="https://doi.org/10.1007/978-3-540-74792-5">https://doi.org/10.1007/978-3-540-74792-5</a><br/>Format: Electronic Resources<br/>Large Scale Management of Distributed Systems 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedingsent://SD_ILS/0/SD_ILS:1707042025-02-13T11:29:58Z2025-02-13T11:29:58Zby State, Radu. editor.<br/><a href="https://doi.org/10.1007/11907466">https://doi.org/10.1007/11907466</a><br/>Format: Electronic Resources<br/>Parallel Problem Solving from Nature - PPSN IX 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedingsent://SD_ILS/0/SD_ILS:1505042025-02-13T11:29:58Z2025-02-13T11:29:58Zby Runarsson, Thomas Philip. editor.<br/><a href="https://doi.org/10.1007/11844297">https://doi.org/10.1007/11844297</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:1423342025-02-13T11:29:58Z2025-02-13T11:29:58Zby de Boer, Frank S. editor.<br/><a href="https://doi.org/10.1007/11804192">https://doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005ent://SD_ILS/0/SD_ILS:1723002025-02-13T11:29:58Z2025-02-13T11:29:58Zby van Beek, Peter. editor.<br/><a href="https://doi.org/10.1007/11564751">https://doi.org/10.1007/11564751</a><br/>Format: Electronic Resources<br/>Peer-to-Peer Systems and Applicationsent://SD_ILS/0/SD_ILS:1516472025-02-13T11:29:58Z2025-02-13T11:29:58Zby Steinmetz, Ralf. editor.<br/><a href="https://doi.org/10.1007/11530657">https://doi.org/10.1007/11530657</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lecturesent://SD_ILS/0/SD_ILS:1439312025-02-13T11:29:58Z2025-02-13T11:29:58Zby de Boer, Frank S. editor.<br/><a href="https://doi.org/10.1007/11561163">https://doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>