Arama Sonuçları Simulation and Modeling. - Daraltılmış: Software engineering.

Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers

2024-11-22T16:18:15Z

Yazar Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35646-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2024-11-22T16:18:15Z

Yazar Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00787-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-11-22T16:18:15Z

Yazar Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72971-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2024-11-22T16:18:15Z

Yazar Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11900-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation

2024-11-22T16:18:15Z

Yazar Siegfried, Robert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-07529-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-11-22T16:18:15Z

Yazar Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35248-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2024-11-22T16:18:15Z

Yazar Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34327-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

2024-11-22T16:18:15Z

Yazar Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-54216-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling, Design, and Simulation of Systems with Uncertainties

2024-11-22T16:18:15Z

Yazar Rauh, Andreas. editor. Auer, Ekaterina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15956-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-22T16:18:15Z

Yazar Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17752-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2024-11-22T16:18:15Z

Yazar Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

2024-11-22T16:18:15Z

Yazar Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15597-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Selected Papers

2024-11-22T16:18:15Z

Yazar Barjis, Joseph. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15723-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

2024-11-22T16:18:15Z

Yazar Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17319-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

2024-11-22T16:18:15Z

Yazar Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. Wernick, Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11754305
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334992.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40708-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334995.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2024-11-22T16:18:15Z

Yazar Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334727.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2024-11-22T16:18:15Z

Yazar Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE(331181.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain Engineering Product Lines, Languages, and Conceptual Models

2024-11-22T16:18:15Z

Yazar Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.
Yer Numarası ONLINE(334257.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36654-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334768.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39259-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

2024-11-22T16:18:15Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334826.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39637-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

2024-11-22T16:18:15Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334827.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39640-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

2024-11-22T16:18:15Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334828.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39643-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

2024-11-22T16:18:15Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334829.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39646-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV

2024-11-22T16:18:15Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334830.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39649-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2024-11-22T16:18:15Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334837.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39698-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2024-11-22T16:18:15Z

Yazar Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334071.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2024-11-22T16:18:15Z

Yazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334055.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-22T16:18:15Z

Yazar Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334290.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2024-11-22T16:18:15Z

Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334556.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2024-11-22T16:18:15Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Yer Numarası ONLINE(334508.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37974-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334871.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39958-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334698.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335097.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41366-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Yer Numarası ONLINE(335120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335043.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41019-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

2024-11-22T16:18:15Z

Yazar Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335148.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41908-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

2024-11-22T16:18:15Z

Yazar Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335150.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41924-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

2024-11-22T16:18:15Z

Yazar Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335179.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45025-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

User-Level Workflow Design A Bioinformatics Perspective

2024-11-22T16:18:15Z

Yazar Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335213.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45389-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2024-11-22T16:18:15Z

Yazar Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335215.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45404-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1