Arama Sonu&ccedil;lar&#305; Languages. - Daralt&#305;lm&#305;&#351;: Computer simulation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLanguages.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026te$003dILS$0026ps$003d300? 2024-11-07T15:41:49Z 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-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Dingel, Juergen. editor.&#160;Schulte, Wolfram. editor.&#160;Ramos, Isidro. editor.&#160;Abrahao, Silvia. editor.&#160;Insfran, Emilio. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Domain Engineering Product Lines, Languages, and Conceptual Models ent://SD_ILS/0/SD_ILS:334257 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Reinhartz-Berger, Iris. editor.&#160;Sturm, Arnon. editor.&#160;Clark, Tony. editor.&#160;Cohen, Sholom. editor.&#160;Bettin, Jorn. editor.<br/>Yer Numaras&#305;&#160;ONLINE(334257.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36654-3">http://dx.doi.org/10.1007/978-3-642-36654-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Yer Numaras&#305;&#160;ONLINE(335120.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;France, Robert B. editor.&#160;Kazmeier, J&uuml;rgen. editor.&#160;Breu, Ruth. editor.&#160;Atkinson, Colin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192303 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Dastani, Mehdi. editor.&#160;El Fallah Segrouchni, Amal. editor.&#160;Leite, Jo&atilde;o. editor.&#160;Torroni, Paolo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13338-1">http://dx.doi.org/10.1007/978-3-642-13338-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Radetzki, Martin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Czarnecki, Krzysztof. editor.&#160;Ober, Ileana. editor.&#160;Bruel, Jean-Michel. editor.&#160;Uhl, Axel. editor.&#160;V&ouml;lter, Markus. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:188572 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Dastani, Mehdi. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;Leite, Jo&atilde;o. editor.&#160;Torroni, Paolo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85058-8">http://dx.doi.org/10.1007/978-3-540-85058-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Engels, Gregor. editor.&#160;Opdyke, Bill. editor.&#160;Schmidt, Douglas C. editor.&#160;Weil, Frank. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Nierstrasz, Oscar. editor.&#160;Whittle, Jon. editor.&#160;Harel, David. editor.&#160;Reggio, Gianna. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11880240">http://dx.doi.org/10.1007/11880240</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22&ndash;27, 2004, Toulouse, France ent://SD_ILS/0/SD_ILS:165066 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Dissaux, Pierre. editor.&#160;Filali-Amine, Mamoun. editor.&#160;Michel, Pierre. editor.&#160;Vernadat, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> UML Modeling Languages and Applications &lt;&thinsp;&lt;UML&gt;&thinsp;&gt; 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182890 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Jardim Nunes, Nuno. editor.&#160;Selic, Bran. editor.&#160;Rodrigues da Silva, Alberto. editor.&#160;Toval Alvarez, Ambrosio. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b106725">http://dx.doi.org/10.1007/b106725</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Briand, Lionel. editor.&#160;Williams, Clay. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11557432">http://dx.doi.org/10.1007/11557432</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Boulet, Pierre. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b136935">http://dx.doi.org/10.1007/b136935</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484028 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Larsen, Kim Guldstrand. editor.&#160;Willemse, Tim. editor. (orcid)0000-0003-3049-7962&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484045 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484889 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Badger, Julia M. editor.&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486274 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Collart-Dutilleul, Simon. editor.&#160;Lecomte, Thierry. editor.&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483746 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555&#160;Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486031 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;H&auml;hnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;van der Aalst, Wil. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:488425 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Cordeiro, Jos&eacute;. editor.&#160;van Sinderen, Marten. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485624 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Seidl, Martina. editor.&#160;Tillmann, Nikolai. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Language Engineering 7th International Conference, SLE 2014, V&auml;ster&aring;s, Sweden, September 15-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486822 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Combemale, Benoit. editor.&#160;Pearce, David. editor.&#160;Barais, Olivier. editor.&#160;Vinju, Jurgen. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Using Event-B for Critical Device Software Systems ent://SD_ILS/0/SD_ILS:331181 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Singh, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(331181.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332934 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Erwig, Martin. editor.&#160;Paige, Richard F. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(332934.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334556.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335031 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Timm, Ingo J. editor.&#160;Thimm, Matthias. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335031.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40942-4">http://dx.doi.org/10.1007/978-3-642-40942-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334111 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;H&ouml;mberg, Dietmar. editor.&#160;Tr&ouml;ltzsch, Fredi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334111.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36062-6">http://dx.doi.org/10.1007/978-3-642-36062-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334120 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Czarnecki, Krzysztof. editor.&#160;Hedin, G&ouml;rel. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334120.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Ayala, Jos&eacute; L. editor.&#160;Shang, Delong. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334136.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE(334055.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Veanes, Margus. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334698.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334725 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Mauri, Giancarlo. editor.&#160;Dennunzio, Alberto. editor.&#160;Manzoni, Luca. editor.&#160;Porreca, Antonio E. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334725.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335215 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Cordeiro, Jos&eacute;. editor.&#160;Hammoudi, Slimane. editor.&#160;Sinderen, Marten. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335215.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Handbook of dynamic system modeling ent://SD_ILS/0/SD_ILS:286575 2024-11-07T15:41:49Z 2024-11-07T15:41:49Z Yazar&#160;Fishwick, Paul A.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>