Search Results for Design. - Narrowed by: Computer simulation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDesign.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300? 2024-11-04T10:12:54Z Evolutionary Game Design ent://SD_ILS/0/SD_ILS:173381 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Browne, Cameron. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2179-4">http://dx.doi.org/10.1007/978-1-4471-2179-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Control Design and MATLAB Simulation ent://SD_ILS/0/SD_ILS:402234 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Liu, Jinkun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-5263-7">https://doi.org/10.1007/978-981-10-5263-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mechatronic Systems Analysis, Design and Implementation ent://SD_ILS/0/SD_ILS:194988 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Boukas, El-K&eacute;bir. author.&#160;AL-Sunni, Fouad M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22324-2">http://dx.doi.org/10.1007/978-3-642-22324-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spotlight on Modern Transformer Design ent://SD_ILS/0/SD_ILS:176036 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Georgilakis, Pavlos S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-667-0">http://dx.doi.org/10.1007/978-1-84882-667-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Use of Serious Games ent://SD_ILS/0/SD_ILS:170551 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Kankaanranta, Marja. editor.&#160;Neittaanm&auml;ki, Pekka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9496-5">http://dx.doi.org/10.1007/978-1-4020-9496-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Approach to Optimal Experimental Design ent://SD_ILS/0/SD_ILS:165826 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Melas, Viatcheslav B. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31610-8">http://dx.doi.org/10.1007/0-387-31610-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and modeling for computer experiments ent://SD_ILS/0/SD_ILS:289521 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Fang, Kaitai.&#160;Li, Run-ze.&#160;Sudjianto, Agus.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420034899">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Production Rendering Design and Implementation ent://SD_ILS/0/SD_ILS:175218 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Stephenson, Ian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138603">http://dx.doi.org/10.1007/b138603</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual world design : creating immersive virtual environments ent://SD_ILS/0/SD_ILS:356384 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Cudworth, Ann Latham, 1955- author.<br/>Preferred Shelf Number&#160;ONLINE(356384.1)<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466579668">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrating 3D Modeling, Photogrammetry and Design ent://SD_ILS/0/SD_ILS:484356 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Foster, Shaun. author.&#160;Halbstein, David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6329-9">https://doi.org/10.1007/978-1-4471-6329-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User-Level Workflow Design A Bioinformatics Perspective ent://SD_ILS/0/SD_ILS:335213 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335213.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis and Design of Univariate Subdivision Schemes ent://SD_ILS/0/SD_ILS:192403 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Sabin, Malcolm. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13648-1">http://dx.doi.org/10.1007/978-3-642-13648-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ARIS Design Platform Getting Started with BPM ent://SD_ILS/0/SD_ILS:175473 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Davis, Rob. author.&#160;Brab&auml;nder, Eric. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-613-1">http://dx.doi.org/10.1007/978-1-84628-613-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486626 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106&#160;Taha, Walid. editor. (orcid)0000-0003-3160-9188&#160;T&ouml;rngren, Martin. editor. (orcid)0000-0002-4300-885X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23703-5">https://doi.org/10.1007/978-3-030-23703-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulations for Design and Manufacturing Select Papers from AIMTDR 2016 ent://SD_ILS/0/SD_ILS:400777 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Dixit, Uday S. editor.&#160;Kant, Ravi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8518-5">https://doi.org/10.1007/978-981-10-8518-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Design for Natural Scientists An Agile Model-Driven Approach ent://SD_ILS/0/SD_ILS:488739 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;Margaria, Tiziana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45006-2">https://doi.org/10.1007/978-3-662-45006-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decision-Based Design Integrating Consumer Preferences into Engineering Design ent://SD_ILS/0/SD_ILS:330900 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Chen, Wei. author.&#160;Hoyle, Christopher. author.&#160;Wassenaar, Henk Jan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330900.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4036-8">http://dx.doi.org/10.1007/978-1-4471-4036-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Operation of Automated Container Storage Systems ent://SD_ILS/0/SD_ILS:335358 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Kemme, Nils. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-7908-2885-6">http://dx.doi.org/10.1007/978-3-7908-2885-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the FISITA 2012 World Automotive Congress Volume 8: Vehicle Design and Testing (II). ent://SD_ILS/0/SD_ILS:333744 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;SAE-China. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333744.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33738-3">http://dx.doi.org/10.1007/978-3-642-33738-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334136 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Shang, Delong. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334136.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197552 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Even, Guy. editor.&#160;Rawitz, Dror. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34862-4">http://dx.doi.org/10.1007/978-3-642-34862-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wind Resistant Design of Bridges in Japan Developments and Practices ent://SD_ILS/0/SD_ILS:203962 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Fujino, Yozo. author.&#160;Kimura, Kichiro. author.&#160;Tanaka, Hiroshi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54046-5">http://dx.doi.org/10.1007/978-4-431-54046-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Identification, Environmental Modelling, and Control System Design ent://SD_ILS/0/SD_ILS:168646 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Wang, Liuping. editor.&#160;Garnier, Hugues. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-974-1">http://dx.doi.org/10.1007/978-0-85729-974-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193696 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Leuken, Ren&eacute;. editor.&#160;Sicard, Gilles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents for Games and Simulations II Trends in Techniques, Concepts and Design ent://SD_ILS/0/SD_ILS:193824 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Dignum, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18181-8">http://dx.doi.org/10.1007/978-3-642-18181-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-objective Evolutionary Optimisation for Product Design and Manufacturing ent://SD_ILS/0/SD_ILS:168559 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Wang, Lihui. editor.&#160;Ng, Amos H. C. editor.&#160;Deb, Kalyanmoy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-652-8">http://dx.doi.org/10.1007/978-0-85729-652-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195562 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Garc&iacute;a-C&aacute;mara, Braulio. editor.&#160;Prieto, Manuel. editor.&#160;Ruggiero, Martino. editor.&#160;Sicard, Gilles. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Triadic Game Design Balancing Reality, Meaning and Play ent://SD_ILS/0/SD_ILS:176172 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Harteveld, Casper. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-157-8">http://dx.doi.org/10.1007/978-1-84996-157-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Rules for Actuators in Active Mechanical Systems ent://SD_ILS/0/SD_ILS:176023 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Gomis-Bellmunt, Oriol. author.&#160;Campanile, Lucio Flavio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-614-4">http://dx.doi.org/10.1007/978-1-84882-614-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191802 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Monteiro, Jos&eacute;. editor.&#160;Leuken, Ren&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11802-9">http://dx.doi.org/10.1007/978-3-642-11802-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL&rsquo;08 ent://SD_ILS/0/SD_ILS:170626 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Radetzki, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190828 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Altinsoy, M. Ercan. editor.&#160;Jekosch, Ute. editor.&#160;Brewster, Stephen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04076-4">http://dx.doi.org/10.1007/978-3-642-04076-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents for Games and Simulations Trends in Techniques, Concepts and Design ent://SD_ILS/0/SD_ILS:191611 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Dignum, Frank. editor.&#160;Bradshaw, Jeff. editor.&#160;Silverman, Barry. editor.&#160;Doesburg, Willem. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11198-3">http://dx.doi.org/10.1007/978-3-642-11198-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ARIS Design Platform Advanced Process Modelling and Administration ent://SD_ILS/0/SD_ILS:175715 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Davis, Rob. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-111-4">http://dx.doi.org/10.1007/978-1-84800-111-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems ent://SD_ILS/0/SD_ILS:188896 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Pezzulo, Giovanni. editor.&#160;Butz, Martin V. editor.&#160;Castelfranchi, Cristiano. editor.&#160;Falcone, Rino. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87702-8">http://dx.doi.org/10.1007/978-3-540-87702-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189399 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Li&ograve;, Pietro. editor.&#160;Yoneki, Eiko. editor.&#160;Crowcroft, Jon. editor.&#160;Verma, Dinesh C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92191-2">http://dx.doi.org/10.1007/978-3-540-92191-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project ent://SD_ILS/0/SD_ILS:185984 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Nagl, Manfred. editor.&#160;Marquardt, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70552-9">http://dx.doi.org/10.1007/978-3-540-70552-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&amp;D Workshop, Bangalore, India, January 2007 ent://SD_ILS/0/SD_ILS:169733 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Ramesh, S. editor.&#160;Sampath, Prahladavaradan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187818 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Winckler, Marco. editor.&#160;Johnson, Hilary. editor.&#160;Palanque, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77222-4">http://dx.doi.org/10.1007/978-3-540-77222-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wireless Ad Hoc and Sensor Networks A Cross-Layer Design Perspective ent://SD_ILS/0/SD_ILS:166257 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Jurdak, Raja. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-39023-9">http://dx.doi.org/10.1007/978-0-387-39023-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005 ent://SD_ILS/0/SD_ILS:169475 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Davidson, Joseph K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-5438-6">http://dx.doi.org/10.1007/1-4020-5438-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:186059 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Coninx, Karin. editor.&#160;Luyten, Kris. editor.&#160;Schneider, Kevin A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70816-2">http://dx.doi.org/10.1007/978-3-540-70816-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Manufacturing Systems Control Design A Matrix-based Approach ent://SD_ILS/0/SD_ILS:175384 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Bogdan, Stjepan. author.&#160;Lewis, Frank L. author.&#160;Kova&#269;i&#263;, Zdenko. author.&#160;Mireles, Jos&eacute;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-334-5">http://dx.doi.org/10.1007/1-84628-334-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations in Design &amp; Decision Support Systems in Architecture and Urban Planning ent://SD_ILS/0/SD_ILS:169359 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Leeuwen, Jos P. editor.&#160;Timmermans, Harry J. P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5060-2">http://dx.doi.org/10.1007/978-1-4020-5060-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Platform Based Design at the Electronic System Level Industry Perspectives and Experiences ent://SD_ILS/0/SD_ILS:169385 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Burton, Mark. author.&#160;Morawiec, Adam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Design and Specification Languages for SoCs Selected Contributions from FDL&rsquo;04 ent://SD_ILS/0/SD_ILS:165237 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Boulet, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136935">http://dx.doi.org/10.1007/b136935</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical modeling and optimization : An essay for the design of computer-based modeling tools ent://SD_ILS/0/SD_ILS:76912 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;H&uuml;rlimann, Tony.<br/>Preferred Shelf Number&#160;QA 401 H88 1999<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Real-time simulation technologies principles, methodologies, and applications ent://SD_ILS/0/SD_ILS:287147 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Popovici, Katalin.&#160;Mosterman, Pieter J.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439847237">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-agent systems simulation and applications ent://SD_ILS/0/SD_ILS:288741 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Uhrmacher, Adelinde.&#160;Weyns, Danny.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420070248">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 100 Volumes of &lsquo;Notes on Numerical Fluid Mechanics&rsquo; 40 Years of Numerical Fluid Mechanics and Aerodynamics in Retrospect ent://SD_ILS/0/SD_ILS:186054 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Hirschel, Ernst Heinrich. editor.&#160;Krause, Egon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70805-6">http://dx.doi.org/10.1007/978-3-540-70805-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete-event modeling and simulation a practitioner's approach ent://SD_ILS/0/SD_ILS:286843 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Wainer, Gabriel A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420053371">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and High Performance Computing III The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007 ent://SD_ILS/0/SD_ILS:185686 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Krause, Egon. editor.&#160;Shokin, Yurii I. editor.&#160;Resch, Michael. editor.&#160;Shokina, Nina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69010-8">http://dx.doi.org/10.1007/978-3-540-69010-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and High Performance Computing II The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005 ent://SD_ILS/0/SD_ILS:182878 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Krause, Egon. editor.&#160;Shokin, Yurii. editor.&#160;Resch, Michael. editor.&#160;Shokina, Nina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-31768-6">http://dx.doi.org/10.1007/3-540-31768-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Results in Numerical and Experimental Fluid Mechanics V Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004 ent://SD_ILS/0/SD_ILS:183692 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Rath, Hans-Josef. editor.&#160;Holze, Carsten. editor.&#160;Heinemann, Hans-Joachim. editor.&#160;Henke, Rolf. editor.&#160;H&ouml;nlinger, Heinz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-33287-9">http://dx.doi.org/10.1007/978-3-540-33287-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in High Performance Computing and Computational Sciences The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005 ent://SD_ILS/0/SD_ILS:183853 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Shokin, Yurii. editor.&#160;Resch, Michael. editor.&#160;Shokina, Nina. editor.&#160;Danaev, Nargozy. editor.&#160;Orunkhanov, Murat. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-33844-4">http://dx.doi.org/10.1007/978-3-540-33844-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and High Performance Computing Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003 ent://SD_ILS/0/SD_ILS:183319 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Krause, Egon. editor.&#160;Shokin, Yurii I. editor.&#160;Resch, Michael. editor.&#160;Shokina, Nina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-32376-7">http://dx.doi.org/10.1007/3-540-32376-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Model Predictive Control ent://SD_ILS/0/SD_ILS:485160 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Rakovi&#263;, Sa&scaron;a V. editor.&#160;Levine, William S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77489-3">https://doi.org/10.1007/978-3-319-77489-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental and Numerical Study of Glass Fa&ccedil;ade Breakage Behavior under Fire Conditions Fire Safety Engineering ent://SD_ILS/0/SD_ILS:483404 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Wang, Yu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-6484-6">https://doi.org/10.1007/978-981-13-6484-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering ent://SD_ILS/0/SD_ILS:483500 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Vuka&scaron;inovi&#263;, Nikola. author.&#160;Duhovnik, Jo&#382;e. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02399-7">https://doi.org/10.1007/978-3-030-02399-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400155 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401564 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Gallardo, Mar&iacute;a del Mar. editor.&#160;Merino, Pedro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400343 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Horvath, Andras. editor. (orcid)0000-0002-8210-545X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield ent://SD_ILS/0/SD_ILS:400515 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Stepney, Susan. author.&#160;Polack, Fiona A.C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01938-9">https://doi.org/10.1007/978-3-030-01938-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400563 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713&#160;Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399353 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Lahiri, Shuvendu K. editor.&#160;Wang, Chao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Fabrication in Architecture, Engineering and Construction ent://SD_ILS/0/SD_ILS:487155 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Caneparo, Luca. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-007-7137-6">https://doi.org/10.1007/978-94-007-7137-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tactile Score A Knowledge Media for Tactile Sense ent://SD_ILS/0/SD_ILS:487676 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Suzuki, Yasuhiro. author.&#160;Suzuki, Rieko. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-4-431-54547-7">https://doi.org/10.1007/978-4-431-54547-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Modeling and Interoperability in Product and Process Engineering A Technology for Engineering Informatics ent://SD_ILS/0/SD_ILS:331135 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Ma, Yongsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331135.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5073-2">http://dx.doi.org/10.1007/978-1-4471-5073-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Interaction, Virtual Reality and Modeling ent://SD_ILS/0/SD_ILS:331204 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Penichet, Victor M.R. editor.&#160;Pe&ntilde;alver, Antonio. editor.&#160;Gallud, Jos&eacute; A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331204.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5445-7">http://dx.doi.org/10.1007/978-1-4471-5445-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334698 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Veanes, Margus. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334698.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:335219 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335219.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-53856-8">http://dx.doi.org/10.1007/978-3-642-53856-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:335220 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335220.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-53862-9">http://dx.doi.org/10.1007/978-3-642-53862-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334556 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334556.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Mechatronic Systems Modeling, Control and Diagnosis ent://SD_ILS/0/SD_ILS:331028 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Merzouki, Rochdi. author.&#160;Samantaray, Arun Kumar. author.&#160;Pathak, Pushparaj Mani. author.&#160;Ould Bouamama, Belkacem. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331028.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4628-5">http://dx.doi.org/10.1007/978-1-4471-4628-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-finger Haptic Interaction ent://SD_ILS/0/SD_ILS:331173 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Galiana, Ignacio. editor.&#160;Ferre, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331173.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5204-0">http://dx.doi.org/10.1007/978-1-4471-5204-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 &ndash; October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335120 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE(335120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335150 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Ng, Wilfred. editor.&#160;Storey, Veda C. editor.&#160;Trujillo, Juan C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335150.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty ent://SD_ILS/0/SD_ILS:333243 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Starczewski, Janusz T. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333243.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29520-1">http://dx.doi.org/10.1007/978-3-642-29520-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the FISITA 2012 World Automotive Congress Volume 2: Advanced Internal Combustion Engines (II). ent://SD_ILS/0/SD_ILS:333748 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;SAE-China. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333748.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33750-5">http://dx.doi.org/10.1007/978-3-642-33750-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digitale Produktion ent://SD_ILS/0/SD_ILS:336884 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Westk&auml;mper, Engelbert. editor.&#160;Spath, Dieter. editor.&#160;Constantinescu, Carmen. editor.&#160;Lentes, Joachim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336884.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20259-9">http://dx.doi.org/10.1007/978-3-642-20259-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse ent://SD_ILS/0/SD_ILS:337578 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;B&ouml;ckenhauer, Hans-Joachim. author.&#160;Hromkovic, Juraj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337578.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00725-6">http://dx.doi.org/10.1007/978-3-658-00725-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196779 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29843-1">http://dx.doi.org/10.1007/978-3-642-29843-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings ent://SD_ILS/0/SD_ILS:203980 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Kim, Jong-Hyun. editor.&#160;Lee, Kangsun. editor.&#160;Tanaka, Satoshi. editor.&#160;Park, Soo-Hyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54216-2">http://dx.doi.org/10.1007/978-4-431-54216-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach ent://SD_ILS/0/SD_ILS:207043 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Janssen, Jeroen.&#160;Schockaert, Steven.&#160;Vermeir, Dirk.&#160;de Cock, Martine.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-59-6">http://dx.doi.org/10.2991/978-94-91216-59-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196229 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27549-4">http://dx.doi.org/10.1007/978-3-642-27549-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:196238 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27579-1">http://dx.doi.org/10.1007/978-3-642-27579-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196896 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Brucker, Achim D. editor.&#160;Julliand, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:196745 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Kienzle, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Curves and Surfaces 7th International Conference, Avignon, France, June 24 - 30, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196189 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Boissonnat, Jean-Daniel. editor.&#160;Chenin, Patrick. editor.&#160;Cohen, Albert. editor.&#160;Gout, Christian. editor.&#160;Lyche, Tom. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27413-8">http://dx.doi.org/10.1007/978-3-642-27413-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197455 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Atzeni, Paolo. editor.&#160;Cheung, David. editor.&#160;Ram, Sudha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Co-designers cultures of computer simulation in architecture ent://SD_ILS/0/SD_ILS:262374 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Loukissas, Yanni A. (Yanni Alexander)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203123065">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recht ex machina Formalisierung des Rechts im Internet der Dienste ent://SD_ILS/0/SD_ILS:193673 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Raabe, Oliver. author.&#160;Wacker, Richard. author.&#160;Oberle, Daniel. author.&#160;Baumann, Christian. author.&#160;Funk, Christian. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17671-5">http://dx.doi.org/10.1007/978-3-642-17671-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30&ndash;October 5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197418 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;France, Robert B. editor.&#160;Kazmeier, J&uuml;rgen. editor.&#160;Breu, Ruth. editor.&#160;Atkinson, Colin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development IX ent://SD_ILS/0/SD_ILS:197616 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Leavens, Gary T. editor.&#160;Chiba, Shigeru. editor.&#160;Haupt, Michael. editor.&#160;Ostermann, Klaus. editor.&#160;Wohlstadter, Eric. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35551-6">http://dx.doi.org/10.1007/978-3-642-35551-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193244 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Giese, Holger. editor.&#160;Karsai, Gabor. editor.&#160;Lee, Edward. editor.&#160;Rumpe, Bernhard. editor.&#160;Sch&auml;tz, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 &ndash; June 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194581 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Swart, Harrie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:194627 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Dingel, Juergen. editor.&#160;Solberg, Arnor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21210-9">http://dx.doi.org/10.1007/978-3-642-21210-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Techniques for Structural Health Monitoring ent://SD_ILS/0/SD_ILS:168478 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Gopalakrishnan, Srinivasan. author.&#160;Ruzzene, Massimo. author.&#160;Hanagud, Sathyanaraya. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-284-1">http://dx.doi.org/10.1007/978-0-85729-284-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Solid Modelling and CAD Systems How to Survive a CAD System ent://SD_ILS/0/SD_ILS:168470 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Stroud, Ian. author.&#160;Nagy, Hildegarde. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-259-9">http://dx.doi.org/10.1007/978-0-85729-259-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digitale Fabrik Methoden und Praxisbeispiele ent://SD_ILS/0/SD_ILS:189168 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Bracht, Uwe. author.&#160;Geckler, Dieter. author.&#160;Wenzel, Sigrid. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88973-1">http://dx.doi.org/10.1007/978-3-540-88973-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Safety and Risk Modeling and Its Applications ent://SD_ILS/0/SD_ILS:168511 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Pham, Hoang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-470-8">http://dx.doi.org/10.1007/978-0-85729-470-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing the Dynamics of New Product Development Processes A New Product Lifecycle Management Paradigm ent://SD_ILS/0/SD_ILS:168535 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Karniel, Arie. author.&#160;Reich, Yoram. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-570-5">http://dx.doi.org/10.1007/978-0-85729-570-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193079 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Cousot, Radhia. editor.&#160;Martel, Matthieu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15769-1">http://dx.doi.org/10.1007/978-3-642-15769-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technische Informatik Band 2: Entwurf digitaler Schaltungen ent://SD_ILS/0/SD_ILS:193603 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Kemnitz, G&uuml;nter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17447-6">http://dx.doi.org/10.1007/978-3-642-17447-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development VIII ent://SD_ILS/0/SD_ILS:194895 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Katz, Shmuel. editor.&#160;Mezini, Mira. editor.&#160;Schwanninger, Christine. editor.&#160;Joosen, Wouter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22031-9">http://dx.doi.org/10.1007/978-3-642-22031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 &ndash; July 1, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194940 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Cavallucci, Denis. editor.&#160;Guio, Roland. editor.&#160;Cascini, Gaetano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22182-8">http://dx.doi.org/10.1007/978-3-642-22182-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 &ndash; September 1, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195117 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Dastani, Mehdi. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;H&uuml;bner, Jomi. editor.&#160;Leite, Jo&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22723-3">http://dx.doi.org/10.1007/978-3-642-22723-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195420 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Yahav, Eran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23702-7">http://dx.doi.org/10.1007/978-3-642-23702-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191890 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Brand, Mark. editor.&#160;Ga&scaron;evi&#263;, Dragan. editor.&#160;Gray, Jeff. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12107-4">http://dx.doi.org/10.1007/978-3-642-12107-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation Methods for Reliability and Availability of Complex Systems ent://SD_ILS/0/SD_ILS:175923 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Faulin, Javier. editor.&#160;Juan, Angel A. editor.&#160;Martorell, Sebasti&aacute;n. editor.&#160;Ram&iacute;rez-M&aacute;rquez, Jos&eacute;-Emmanuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-213-9">http://dx.doi.org/10.1007/978-1-84882-213-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bond Graph Methodology Development and Analysis of Multidisciplinary Dynamic System Models ent://SD_ILS/0/SD_ILS:176093 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Borutzky, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-882-7">http://dx.doi.org/10.1007/978-1-84882-882-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geometric Algebra Computing in Engineering and Computer Science ent://SD_ILS/0/SD_ILS:176159 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Bayro-Corrochano, Eduardo. editor.&#160;Scheuermann, Gerik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-108-0">http://dx.doi.org/10.1007/978-1-84996-108-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensitivity Analysis for Neural Networks ent://SD_ILS/0/SD_ILS:190350 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Yeung, Daniel S. author.&#160;Cloete, Ian. author.&#160;Shi, Daming. author.&#160;Ng, Wing W. Y. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02532-7">http://dx.doi.org/10.1007/978-3-642-02532-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions ent://SD_ILS/0/SD_ILS:191148 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Bangsow, Steffen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05074-9">http://dx.doi.org/10.1007/978-3-642-05074-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, T&oslash;nsberg, Norway, June 26-July 1, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191742 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;D&aelig;hlen, Morten. editor.&#160;Floater, Michael. editor.&#160;Lyche, Tom. editor.&#160;Merrien, Jean-Louis. editor.&#160;M&oslash;rken, Knut. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11620-9">http://dx.doi.org/10.1007/978-3-642-11620-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192013 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Dangelmaier, Wilhelm. editor.&#160;Blecken, Alexander. editor.&#160;Delius, Robin. editor.&#160;Kl&ouml;pfer, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12494-5">http://dx.doi.org/10.1007/978-3-642-12494-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:191939 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Ghosh, Sudipto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12261-3">http://dx.doi.org/10.1007/978-3-642-12261-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192025 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12535-5">http://dx.doi.org/10.1007/978-3-642-12535-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Machine Interaction Research Results of the MMI Program ent://SD_ILS/0/SD_ILS:189685 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Lalanne, Denis. editor.&#160;Kohlas, J&uuml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00437-7">http://dx.doi.org/10.1007/978-3-642-00437-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visualizing Sustainable Planning ent://SD_ILS/0/SD_ILS:189009 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Hagen, Hans. editor.&#160;Guhathakurta, Subhrajit. editor.&#160;Steinebach, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88203-9">http://dx.doi.org/10.1007/978-3-540-88203-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I ent://SD_ILS/0/SD_ILS:190325 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Gervasi, Osvaldo. editor.&#160;Taniar, David. editor.&#160;Murgante, Beniamino. editor.&#160;Lagan&agrave;, Antonio. editor.&#160;Mun, Youngsong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02454-2">http://dx.doi.org/10.1007/978-3-642-02454-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II ent://SD_ILS/0/SD_ILS:190326 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Gervasi, Osvaldo. editor.&#160;Taniar, David. editor.&#160;Murgante, Beniamino. editor.&#160;Lagan&agrave;, Antonio. editor.&#160;Mun, Youngsong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02457-3">http://dx.doi.org/10.1007/978-3-642-02457-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190596 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Tan, Runhua. editor.&#160;Cao, Guozhong. editor.&#160;Le&oacute;n, Noel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03346-9">http://dx.doi.org/10.1007/978-3-642-03346-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191055 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04772-5">http://dx.doi.org/10.1007/978-3-642-04772-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30&ndash;December 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191068 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Torra, Vicen&ccedil;. editor.&#160;Narukawa, Yasuo. editor.&#160;Inuiguchi, Masahiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04820-3">http://dx.doi.org/10.1007/978-3-642-04820-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189743 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Majumdar, Rupak. editor.&#160;Tabuada, Paulo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191134 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;Baker, Paul. editor.&#160;Merayo, Mercedes G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings ent://SD_ILS/0/SD_ILS:191462 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;&#346;l&#281;zak, Dominik. editor.&#160;Kim, Tai-hoon. editor.&#160;Stoica, Adrian. editor.&#160;Kang, Byeong-Ho. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10741-2">http://dx.doi.org/10.1007/978-3-642-10741-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product Research The Art and Science Behind Successful Product Launches ent://SD_ILS/0/SD_ILS:204910 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Raghavan, N. R. Srinivasa. editor.&#160;Cafeo, John A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-2860-0">http://dx.doi.org/10.1007/978-90-481-2860-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SYROM 2009 Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009 ent://SD_ILS/0/SD_ILS:205104 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Visa, Ion. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3522-6">http://dx.doi.org/10.1007/978-90-481-3522-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verifikation und Validierung f&uuml;r die Simulation in Produktion und Logistik Vorgehensmodelle und Techniken ent://SD_ILS/0/SD_ILS:184229 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Rabe, Markus. author.&#160;Spiekermann, Sven. author.&#160;Wenzel, Sigrid. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-35282-2">http://dx.doi.org/10.1007/978-3-540-35282-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:188254 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78827-0">http://dx.doi.org/10.1007/978-3-540-78827-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Field Models in Electricity and Magnetism ent://SD_ILS/0/SD_ILS:169962 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Barba, Paolo. author.&#160;Savini, Antonio. author.&#160;Wiak, Slawomir. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6843-0">http://dx.doi.org/10.1007/978-1-4020-6843-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:186104 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Broy, Manfred. editor.&#160;Kr&uuml;ger, Ingolf H. editor.&#160;Meisinger, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70930-5">http://dx.doi.org/10.1007/978-3-540-70930-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188280 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Egerstedt, Magnus. editor.&#160;Mishra, Bud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188793 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Hornby, Gregory S. editor.&#160;Sekanina, Luk&aacute;&scaron;. editor.&#160;Haddow, Pauline C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188827 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Forbrig, Peter. editor.&#160;Patern&ograve;, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85992-5">http://dx.doi.org/10.1007/978-3-540-85992-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers ent://SD_ILS/0/SD_ILS:189438 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Gulliksen, Jan. editor.&#160;Harning, Morton Borup. editor.&#160;Palanque, Philippe. editor.&#160;Veer, Gerrit C. editor.&#160;Wesson, Janet. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92698-6">http://dx.doi.org/10.1007/978-3-540-92698-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185675 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Al-Begain, Khalid. editor.&#160;Heindl, Armin. editor.&#160;Telek, Mikl&oacute;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling ent://SD_ILS/0/SD_ILS:186381 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Pastor, Oscar. author.&#160;Molina, Juan Carlos. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71868-0">http://dx.doi.org/10.1007/978-3-540-71868-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components ent://SD_ILS/0/SD_ILS:169706 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Nicolescu, G. editor.&#160;Jerraya, A. A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Shock and Damage Models in Reliability Theory ent://SD_ILS/0/SD_ILS:175420 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Nakagawa, Toshio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-442-7">http://dx.doi.org/10.1007/978-1-84628-442-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Scientific Visualization ent://SD_ILS/0/SD_ILS:175547 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Wright, Helen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-755-8">http://dx.doi.org/10.1007/978-1-84628-755-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of dynamic system modeling ent://SD_ILS/0/SD_ILS:286575 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Fishwick, Paul A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420010855">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186296 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Bemporad, Alberto. editor.&#160;Bicchi, Antonio. editor.&#160;Buttazzo, Giorgio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71493-4">http://dx.doi.org/10.1007/978-3-540-71493-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187218 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Kang, Lishan. editor.&#160;Liu, Yong. editor.&#160;Zeng, Sanyou. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74626-3">http://dx.doi.org/10.1007/978-3-540-74626-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187522 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Moreno D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75867-9">http://dx.doi.org/10.1007/978-3-540-75867-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:183063 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11666806">http://dx.doi.org/10.1007/11666806</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Software &ndash; Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:184601 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Broy, Manfred. editor.&#160;Kr&uuml;ger, Ingolf H. editor.&#160;Meisinger, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11823063">http://dx.doi.org/10.1007/11823063</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Finite Element Method and Applications in Engineering Using Ansys&reg; ent://SD_ILS/0/SD_ILS:165497 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Madenci, Erdogan. author.&#160;Guven, Ibrahim. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-28290-9">http://dx.doi.org/10.1007/978-0-387-28290-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Grey-box Process Identification Theory and Applications ent://SD_ILS/0/SD_ILS:175407 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Bohlin, Torsten. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-403-1">http://dx.doi.org/10.1007/1-84628-403-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183645 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Hespanha, Jo&atilde;o P. editor.&#160;Tiwari, Ashish. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms ent://SD_ILS/0/SD_ILS:169289 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Kogel, Tim. author.&#160;Leupers, Rainer. author.&#160;Meyr, Heinrich. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4826-2">http://dx.doi.org/10.1007/1-4020-4826-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:181842 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Moreno, J. Manuel. editor.&#160;Madrenas, Jordi. editor.&#160;Cosp, Jordi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11549703">http://dx.doi.org/10.1007/11549703</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182382 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Baik, Doo-Kwon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105611">http://dx.doi.org/10.1007/b105611</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 &ndash; 11, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182915 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Moreno D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11556985">http://dx.doi.org/10.1007/11556985</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183026 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Morari, Manfred. editor.&#160;Thiele, Lothar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106766">http://dx.doi.org/10.1007/b106766</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mechatronic Systems Fundamentals ent://SD_ILS/0/SD_ILS:175347 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Isermann, Rolf.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-259-4">http://dx.doi.org/10.1007/1-84628-259-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182479 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Hinchey, Michael G. editor.&#160;Rash, James L. editor.&#160;Truszkowski, Walter F. editor.&#160;Rouff, Christopher A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems modeling and computer simulation ent://SD_ILS/0/SD_ILS:79148 2024-11-04T10:12:54Z 2024-11-04T10:12:54Z Author&#160;Kheir, Naim A., 1933- ed.<br/>Preferred Shelf Number&#160;QA 76.9.C65 S975 1996<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>