Search Results for - Narrowed by: E-Book - Electronic Library - Simulation and Modeling. - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue?
2024-08-22T00:05:14Z
Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334995
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334995.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40725-3">http://dx.doi.org/10.1007/978-3-642-40725-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332934.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334290
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334290.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36781-6">http://dx.doi.org/10.1007/978-3-642-36781-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334508
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.<br/>Preferred Shelf Number ONLINE(334508.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37974-1">http://dx.doi.org/10.1007/978-3-642-37974-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334768
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334768.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39259-7">http://dx.doi.org/10.1007/978-3-642-39259-7</a><br/>Format: Electronic Resources<br/>Availability 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-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334698.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:334837
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334837.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</a><br/>Format: Electronic Resources<br/>Availability 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-22T00:05:14Z
2024-08-22T00:05:14Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334871.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-22T00:05:14Z
2024-08-22T00:05:14Z
Author Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334727.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335179
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335179.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45025-9">http://dx.doi.org/10.1007/978-3-642-45025-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335097
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335097.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41366-7">http://dx.doi.org/10.1007/978-3-642-41366-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335120
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-22T00:05:14Z
2024-08-22T00:05:14Z
Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-22T00:05:14Z
2024-08-22T00:05:14Z
Author Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334071.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334120.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Domain Engineering Product Lines, Languages, and Conceptual Models
ent://SD_ILS/0/SD_ILS:334257
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.<br/>Preferred Shelf Number ONLINE(334257.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334826
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334826.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39637-3">http://dx.doi.org/10.1007/978-3-642-39637-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:334827
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334827.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39640-3">http://dx.doi.org/10.1007/978-3-642-39640-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334828
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334828.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39643-4">http://dx.doi.org/10.1007/978-3-642-39643-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:334829
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334829.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39646-5">http://dx.doi.org/10.1007/978-3-642-39646-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:334830
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334830.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39649-6">http://dx.doi.org/10.1007/978-3-642-39649-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334992
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334992.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
User-Level Workflow Design A Bioinformatics Perspective
ent://SD_ILS/0/SD_ILS:335213
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335213.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335215.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335043
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335043.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335148
2024-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335148.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41908-9">http://dx.doi.org/10.1007/978-3-642-41908-9</a><br/>Format: Electronic Resources<br/>Availability 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-08-22T00:05:14Z
2024-08-22T00:05:14Z
Author Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335150.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>