Search Results for Systems engineering. - Narrowed by: English - Electronic Library - Computer simulation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bengineering.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300? 2024-08-03T21:43:58Z Agent-directed simulation and systems engineering ent://SD_ILS/0/SD_ILS:304925 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Yilmaz, Levent, 1971-&#160;&Ouml;ren, Tuncer I.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737</a> John Wiley <a href="http://dx.doi.org/10.1002/9783527627783">http://dx.doi.org/10.1002/9783527627783</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Effective Model-Based Systems Engineering ent://SD_ILS/0/SD_ILS:482862 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Borky, John M. author.&#160;Bradley, Thomas H. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95669-5">https://doi.org/10.1007/978-3-319-95669-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intentional Perspectives on Information Systems Engineering ent://SD_ILS/0/SD_ILS:192028 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Nurcan, Selmin. editor.&#160;Salinesi, Camille. editor.&#160;Souveyet, Carine. editor.&#160;Ralyt&eacute;, Jolita. 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-12544-7">http://dx.doi.org/10.1007/978-3-642-12544-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems ent://SD_ILS/0/SD_ILS:190235 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Cheng, Betty H. C. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;Inverardi, Paola. editor.&#160;Magee, Jeff. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Intelligent Control to Engineering Systems ent://SD_ILS/0/SD_ILS:204951 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Valavanis, Kimon 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-90-481-3018-4">http://dx.doi.org/10.1007/978-90-481-3018-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolving Connectionist Systems The Knowledge Engineering Approach ent://SD_ILS/0/SD_ILS:175393 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Kasabov, Nikola. 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-347-5">http://dx.doi.org/10.1007/978-1-84628-347-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach ent://SD_ILS/0/SD_ILS:401598 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Fern&aacute;ndez de Ca&ntilde;ete, J. author.&#160;Galindo, C. author.&#160;Barbancho, J. author.&#160;Luque, A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75717-9">https://doi.org/10.1007/978-3-319-75717-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283&ndash; October 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485724 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Dingel, Juergen. editor.&#160;Schulte, Wolfram. editor.&#160;Ramos, Isidro. editor.&#160;Abrahao, Silvia. editor.&#160;Insfran, Emilio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333263 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Fred, Ana. editor.&#160;Filipe, Joaquim. editor.&#160;Gamboa, Hugo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333263.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29752-6">http://dx.doi.org/10.1007/978-3-642-29752-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334727 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Weber, Jens. editor.&#160;Perseil, Isabelle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334727.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334055.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> 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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193908 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Fred, Ana. editor.&#160;Filipe, Joaquim. editor.&#160;Gamboa, Hugo. 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-18472-7">http://dx.doi.org/10.1007/978-3-642-18472-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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188929 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Czarnecki, Krzysztof. editor.&#160;Ober, Ileana. editor.&#160;Bruel, Jean-Michel. editor.&#160;Uhl, Axel. editor.&#160;V&ouml;lter, Markus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87875-9">http://dx.doi.org/10.1007/978-3-540-87875-9</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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187363 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Engels, Gregor. editor.&#160;Opdyke, Bill. editor.&#160;Schmidt, Douglas C. editor.&#160;Weil, 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-540-75209-7">http://dx.doi.org/10.1007/978-3-540-75209-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach ent://SD_ILS/0/SD_ILS:165482 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Papajorgji, Petraq J. author.&#160;Pardalos, Panos M. 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-28171-1">http://dx.doi.org/10.1007/0-387-28171-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184863 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Nierstrasz, Oscar. editor.&#160;Whittle, Jon. editor.&#160;Harel, David. editor.&#160;Reggio, Gianna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11880240">http://dx.doi.org/10.1007/11880240</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183122 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Briand, Lionel. editor.&#160;Williams, Clay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11557432">http://dx.doi.org/10.1007/11557432</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems ent://SD_ILS/0/SD_ILS:175331 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Truszkowski, Walt. author.&#160;Hallock, Harold. author.&#160;Rouff, Christopher. author.&#160;Karlin, Jay. author.&#160;Rash, James. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105417">http://dx.doi.org/10.1007/b105417</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Model Predictive Control Made Easy ent://SD_ILS/0/SD_ILS:487872 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Maestre, Jos&eacute; M. editor.&#160;Negenborn, Rudy R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-94-007-7006-5">https://doi.org/10.1007/978-94-007-7006-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Extremal Fuzzy Dynamic Systems Theory and Applications ent://SD_ILS/0/SD_ILS:331460 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Sirbiladze, Gia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331460.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4250-9">http://dx.doi.org/10.1007/978-1-4614-4250-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems A Time/Space Separation Based Approach ent://SD_ILS/0/SD_ILS:205930 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Li, Han-Xiong. author.&#160;Qi, Chenkun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0741-2">http://dx.doi.org/10.1007/978-94-007-0741-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Infrastructures ent://SD_ILS/0/SD_ILS:205128 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Negenborn, Rudy R. editor.&#160;Lukszo, Zofia. editor.&#160;Hellendoorn, Hans. 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-3598-1">http://dx.doi.org/10.1007/978-90-481-3598-1</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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> A practical guide to SysML : the systems modeling language ent://SD_ILS/0/SD_ILS:355422 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Friedenthal, Sanford, author.&#160;Moore, Alan, 1961- author.&#160;Steiner, Rick, author.<br/>Preferred Shelf Number&#160;ONLINE(355422.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128002025">http://www.sciencedirect.com/science/book/9780128002025</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Photovoltaic Sources Modeling and Emulation ent://SD_ILS/0/SD_ILS:330965 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Di Piazza, Maria Carmela. author.&#160;Vitale, Gianpaolo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330965.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4378-9">http://dx.doi.org/10.1007/978-1-4471-4378-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334871 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334871.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variation-Aware Adaptive Voltage Scaling for Digital CMOS Circuits ent://SD_ILS/0/SD_ILS:336184 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Wirnshofer, Martin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336184.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-6196-4">http://dx.doi.org/10.1007/978-94-007-6196-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castell&oacute;n de la Plana, Spain, June 6-7, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334573 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Fern&aacute;ndez-Izquierdo, Mar&iacute;a &Aacute;ngeles. editor.&#160;Mu&ntilde;oz-Torres, Mar&iacute;a Jes&uacute;s. editor.&#160;Le&oacute;n, Ra&uacute;l. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334573.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38279-6">http://dx.doi.org/10.1007/978-3-642-38279-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334071 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Industrial used of formal method formal verification ent://SD_ILS/0/SD_ILS:305391 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Boulanger, Jean-Louis.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems ent://SD_ILS/0/SD_ILS:192596 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Schnieder, Eckehard. editor.&#160;Tarnai, Geza. 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-14261-1">http://dx.doi.org/10.1007/978-3-642-14261-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation and Verification of Electronic and Biological Systems ent://SD_ILS/0/SD_ILS:205763 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Li, Peng. editor.&#160;Silveira, Lu&iacute;s Miguel. editor.&#160;Feldmann, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0149-6">http://dx.doi.org/10.1007/978-94-007-0149-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolution of Communication and Language in Embodied Agents ent://SD_ILS/0/SD_ILS:189930 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Nolfi, Stefano. editor.&#160;Mirolli, Marco. 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-01250-1">http://dx.doi.org/10.1007/978-3-642-01250-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Evolutionary Algorithms ent://SD_ILS/0/SD_ILS:176164 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Yu, Xinjie. author.&#160;Gen, Mitsuo. 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-129-5">http://dx.doi.org/10.1007/978-1-84996-129-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> POWER/HVMOS Devices Compact Modeling ent://SD_ILS/0/SD_ILS:204960 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Grabinski, Wladyslaw. editor.&#160;Gneiting, Thomas. 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-3046-7">http://dx.doi.org/10.1007/978-90-481-3046-7</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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4 ent://SD_ILS/0/SD_ILS:172359 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Campbell, Stephen L. author.&#160;Chancelier, Jean-Philippe. author.&#160;Nikoukhah, Ramine. 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-4419-5527-2">http://dx.doi.org/10.1007/978-1-4419-5527-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Circuit Simulation with SPICE OPUS Theory and Practice ent://SD_ILS/0/SD_ILS:168305 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Tuma, Tadej. author.&#160;Buermen, &Aacute;rp&aacute;d. 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-8176-4867-1">http://dx.doi.org/10.1007/978-0-8176-4867-1</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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Quantum Circuit Simulation ent://SD_ILS/0/SD_ILS:204966 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;Viamontes, George F. author.&#160;Markov, Igor L. author.&#160;Hayes, John P. author.&#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-3065-8">http://dx.doi.org/10.1007/978-90-481-3065-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Methods of Concurrent Checking ent://SD_ILS/0/SD_ILS:170162 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z Author&#160;G&ouml;essel, Michael. author.&#160;Ocheretny, Vitaly. author.&#160;Sogomonyan, Egor. author.&#160;Marienfeld, Daniel. 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-8420-1">http://dx.doi.org/10.1007/978-1-4020-8420-1</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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components ent://SD_ILS/0/SD_ILS:169706 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> 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-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Platform Based Design at the Electronic System Level Industry Perspectives and Experiences ent://SD_ILS/0/SD_ILS:169385 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms ent://SD_ILS/0/SD_ILS:169289 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/> Advances in Design and Specification Languages for SoCs Selected Contributions from FDL&rsquo;04 ent://SD_ILS/0/SD_ILS:165237 2024-08-03T21:43:58Z 2024-08-03T21:43:58Z 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/>