Search Results for Construction. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dConstruction.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list2026-01-11T10:57:14ZAgile Software Constructionent://SD_ILS/0/SD_ILS:1753502026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-262-4">http://dx.doi.org/10.1007/1-84628-262-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Communities Analysis and Constructionent://SD_ILS/0/SD_ILS:1815572026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Zhang, Yanchun. author. Yu, Jeffrey Xu. author. Hou, Jingyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27739-0">http://dx.doi.org/10.1007/3-540-27739-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Correctness-by-Construction Approach to Programmingent://SD_ILS/0/SD_ILS:1962992026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27919-5">http://dx.doi.org/10.1007/978-3-642-27919-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Glazed Panel Construction with Human-Robot Cooperationent://SD_ILS/0/SD_ILS:1739352026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Lee, Seungyeol. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1418-6">http://dx.doi.org/10.1007/978-1-4614-1418-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mixed Reality In Architecture, Design And Constructionent://SD_ILS/0/SD_ILS:1704342026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Wang, Xiangyu. editor. Schnabel, Marc Aurel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9088-2">http://dx.doi.org/10.1007/978-1-4020-9088-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysisent://SD_ILS/0/SD_ILS:3316772026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331677.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5104-4">http://dx.doi.org/10.1007/978-1-4614-5104-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approachent://SD_ILS/0/SD_ILS:3341292026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Jörges, Sven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334129.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36127-2">http://dx.doi.org/10.1007/978-3-642-36127-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343532026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammarsent://SD_ILS/0/SD_ILS:1974762026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Steels, Luc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34120-5">http://dx.doi.org/10.1007/978-3-642-34120-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965012026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor O’Boyle, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965262026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970192026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31113-0">http://dx.doi.org/10.1007/978-3-642-31113-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941722026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941812026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Knoop, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19861-8">http://dx.doi.org/10.1007/978-3-642-19861-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918502026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Gupta, Rajiv. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11970-5">http://dx.doi.org/10.1007/978-3-642-11970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918572026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922982026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13321-3">http://dx.doi.org/10.1007/978-3-642-13321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1916882026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11447-2">http://dx.doi.org/10.1007/978-3-642-11447-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897842026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897942026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bayesian Networks and Influence Diagrams A Guide to Construction and Analysisent://SD_ILS/0/SD_ILS:1671322026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-74101-7">http://dx.doi.org/10.1007/978-0-387-74101-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1860032026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70594-9">http://dx.doi.org/10.1007/978-3-540-70594-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Large-Scale Knowledge Resources. Construction and Application Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1880472026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Tokunaga, Takenobu. editor. Ortega, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78159-2">http://dx.doi.org/10.1007/978-3-540-78159-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882432026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Hendren, Laurie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862192026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862132026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836022026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842822026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Uustalu, Tarmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11783596">http://dx.doi.org/10.1007/11783596</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Adobe® Acrobat® and PDF for Architecture, Engineering, and Constructionent://SD_ILS/0/SD_ILS:1752652026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Carson, Tom. author. Baker, Donna L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-138-5">http://dx.doi.org/10.1007/1-84628-138-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1838052026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830512026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830562026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Bodik, Rastislav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1823662026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computational Plasticity A Book in Honour of D. Roger J. Owenent://SD_ILS/0/SD_ILS:4009202026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Oñate, Eugenio. editor. Peric, Djordje. editor. de Souza Neto, Eduardo. editor. Chiumenti, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60885-3">https://doi.org/10.1007/978-3-319-60885-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Room Acoustical Fieldsent://SD_ILS/0/SD_ILS:3331112026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Mechel, Fridolin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333111.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22356-3">http://dx.doi.org/10.1007/978-3-642-22356-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Modeling of Concrete Crackingent://SD_ILS/0/SD_ILS:1977942026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Hofstetter, Günter. editor. Meschke, Günther. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-0897-0">http://dx.doi.org/10.1007/978-3-7091-0897-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Design of Material, Organism, and Minds Different Understandings of Designent://SD_ILS/0/SD_ILS:1856832026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Konsorski-Lang, Silke. editor. Hampe, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69002-3">http://dx.doi.org/10.1007/978-3-540-69002-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methoden der Computeranimationent://SD_ILS/0/SD_ILS:1837312026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Jackèl, Dietmar. author. Neunreither, Stephan. author. Wagner, Friedrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-33407-6">http://dx.doi.org/10.1007/3-540-33407-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Textile Composites and Inflatable Structuresent://SD_ILS/0/SD_ILS:1688682026-01-11T10:57:14Z2026-01-11T10:57:14ZAuthor Oñate, Eugenio. editor. Kröplin, Bern. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3317-6">http://dx.doi.org/10.1007/1-4020-3317-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>