Arama Sonuçları algorithms. - Daraltılmış: Computer simulation.

Introduction to Evolutionary Algorithms

2026-04-01T07:10:43Z

Yazar Yu, Xinjie. author. Gen, Mitsuo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-129-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biologically Inspired Algorithms for Financial Modelling

2026-04-01T07:10:43Z

Yazar Brabazon, Anthony. author. O’Neill, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-31307-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Algorithms for Macromolecular Simulation

2026-04-01T07:10:43Z

Yazar Leimkuhler, Benedict. editor. Chipot, Christophe. editor. Elber, Ron. editor. Laaksonen, Aatto. editor. Mark, Alan. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-31618-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Large-scale simulation : models, algorithms, and applications

2026-04-01T07:10:43Z

Yazar Chen, Dan, 1973, author. Wang, Lizhe, 1974- Chen, Jingying, 1973 -
Yer Numarası QA76.9 .C65 C475 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Digital Human Modeling Trends in Human Algorithms

2026-04-01T07:10:43Z

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

Optimized Bayesian Dynamic Advising Theory and Algorithms

2026-04-01T07:10:43Z

Yazar Böhm, Josef. author. Guy, Tatiana V. author. Jirsa, Ladislav. author. Nagy, Ivan. author. Nedoma, Petr. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-254-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-04-01T07:10:43Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90643-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-04-01T07:10:43Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90660-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-04-01T07:10:43Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90653-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-04-01T07:10:43Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57246-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-04-01T07:10:43Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57249-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2026-04-01T07:10:43Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57256-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

2026-04-01T07:10:43Z

Yazar Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23597-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2026-04-01T07:10:43Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17502-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2026-04-01T07:10:43Z

Yazar Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55417-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-04-01T07:10:43Z

Yazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63121-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques

2026-04-01T07:10:43Z

Yazar Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44881-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Medical Computer Vision: Algorithms for Big Data International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Menze, Bjoern. editor. Langs, Georg. editor. Montillo, Albert. editor. Kelm, Michael. editor. Müller, Henning. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13972-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms

2026-04-01T07:10:43Z

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

Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings

2026-04-01T07:10:43Z

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

Earth System Modelling - Volume 2 Algorithms, Code Infrastructure and Optimisation

2026-04-01T07:10:43Z

Yazar Bonaventura, Luca. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23831-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

2026-04-01T07:10:43Z

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

Building software for simulation theory and algorithms, with applications in C++

2026-04-01T07:10:43Z

Yazar Nutaro, James.
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470877999 Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470414699 MyiLibrary, Table of contents http://www.myilibrary.com?id=302507&ref=toc Cover image http://catalogimages.wiley.com/images/db/jimages/9780470414699.jpg http://proquest.safaribooksonline.com/9780470414699
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks

2026-04-01T07:10:43Z

Yazar Koster, Arie. editor. Muñoz, Xavier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02250-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing. Theory and Algorithms 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part I

2026-04-01T07:10:43Z

Yazar Wong, Kok Wai. editor. Mendis, B. Sumudu U. editor. Bouzerdoum, Abdesselam. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17537-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms

2026-04-01T07:10:43Z

Yazar Gomes, Abel J. P. editor. Voiculescu, Irina. editor. Jorge, Joaquim. editor. Wyvill, Brian. editor. Galbraith, Callum. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-406-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings

2026-04-01T07:10:43Z

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

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings

2026-04-01T07:10:43Z

Yazar Bourgeois, Anu G. editor. Zheng, S. Q. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69501-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Auralization Fundamentals of Acoustics, Modelling, Simulation, Algorithms and Acoustic Virtual Reality

2026-04-01T07:10:43Z

Yazar Vorländer, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-48830-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings

2026-04-01T07:10:43Z

Yazar Jin, Hai. editor. Rana, Omer F. editor. Pan, Yi. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72905-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics, Algorithms, Probabilistic and Experimental Methodologies First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Chen, Bo. editor. Paterson, Mike. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74450-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings

2026-04-01T07:10:43Z

Yazar Hobbs, Michael. editor. Goscinski, Andrzej M. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11564621
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive and Natural Computing Algorithms Proceedings of the International Conference in Coimbra, Portugal, 2005

2026-04-01T07:10:43Z

Yazar Ribeiro, Bernardete. editor. Albrecht, Rudolf F. editor. Dobnikar, Andrej. editor. Pearson, David W. editor. Steele, Nigel C. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138998
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-04-01T07:10:43Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82949-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-04-01T07:10:43Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82957-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-04-01T07:10:43Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83885-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-04-01T07:10:43Z

Yazar Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90391-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

2026-04-01T07:10:43Z

Yazar Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73370-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Robotics

2026-04-01T07:10:43Z

Yazar Siciliano, Bruno. author. (orcid)0000-0002-1037-0588 Villani, Luigi. author. (orcid)0000-0002-4431-6846 Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278 De Luca, Alessandro. author. (orcid)0000-0002-0713-5608 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85523-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Mathematical Concepts for Machine Learning in Science

2026-04-01T07:10:43Z

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

Electromagnetic Sources and Electromagnetic Fields

2026-04-01T07:10:43Z

Yazar Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-9449-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems and Computing

2026-04-01T07:10:43Z

Yazar Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2891-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines

2026-04-01T07:10:43Z

Yazar Thiruchelvam, Vinesh. editor. Alfred, Rayner. editor. (orcid)0000-0002-3080-3264 Ismail, Zamhar Iswandono Bin Awang. editor. Haviluddin, Haviluddin. editor. Baharum, Aslina. editor. (orcid)0000-0003-3910-5646
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2977-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

2026-04-01T07:10:43Z

Yazar Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71033-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 5th International Conference on Numerical Modelling in Engineering Volume 1: Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium

2026-04-01T07:10:43Z

Yazar Abdel Wahab, Magd. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-8429-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Behaviour of Distributed Systems Using mCRL2

2026-04-01T07:10:43Z

Yazar Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-23008-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023

2026-04-01T07:10:43Z

Yazar Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational modeling and simulation examples in bioengineering

2026-04-01T07:10:43Z

Yazar Filipovic, Nenad, 1970- editor.
Yer Numarası R856 .C66 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563983
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2026-04-01T07:10:43Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29662-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

2026-04-01T07:10:43Z

Yazar Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27538-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI

2026-04-01T07:10:43Z

Yazar Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27529-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2026-04-01T07:10:43Z

Yazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18744-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2026-04-01T07:10:43Z

Yazar Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30923-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

2026-04-01T07:10:43Z

Yazar Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27541-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61428-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II

2026-04-01T07:10:43Z

Yazar Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6373-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-time Monitoring and Operational Control of Drinking-Water Systems

2026-04-01T07:10:43Z

Yazar Puig, Vicenç. editor. Ocampo-Martínez, Carlos. editor. Pérez, Ramon. editor. Cembrano, Gabriela. editor. Quevedo, Joseba. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50751-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-04-01T07:10:43Z

Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis

2026-04-01T07:10:43Z

Yazar Cao, Zijun. author. Wang, Yu. author. Li, Dianqing. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-52914-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69404-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68496-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61756-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62075-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

2026-04-01T07:10:43Z

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

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65765-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71255-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

2026-04-01T07:10:43Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61833-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58631-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63501-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54069-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I

2026-04-01T07:10:43Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61824-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-04-01T07:10:43Z

Yazar Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6687-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59294-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68759-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59105-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nature-Inspired Computing and Optimization Theory and Applications

2026-04-01T07:10:43Z

Yazar Patnaik, Srikanta. editor. Yang, Xin-She. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50920-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transparent Data Mining for Big and Small Data

2026-04-01T07:10:43Z

Yazar Cerquitelli, Tania. editor. (orcid)0000-0002-9039-6226 Quercia, Daniele. editor. Pasquale, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54024-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68127-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings

2026-04-01T07:10:43Z

Yazar He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7179-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67035-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

2026-04-01T07:10:43Z

Yazar Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6364-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-04-01T07:10:43Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68270-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I

2026-04-01T07:10:43Z

Yazar Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6370-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Patch-Based Techniques in Medical Imaging Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Wu, Guorong. editor. Coupé, Pierrick. editor. Zhan, Yiqiang. editor. Munsell, Brent C. editor. Rueckert, Daniel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47118-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

2026-04-01T07:10:43Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42085-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineering

2026-04-01T07:10:43Z

Yazar Yoshimura, Shinobu. editor. Hori, Muneo. editor. Ohsaki, Makoto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21048-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

2026-04-01T07:10:43Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42108-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

2026-04-01T07:10:43Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42089-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33509-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Bac, Alexandra. editor. Mari, Jean-Luc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39441-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods and Clinical Applications for Spine Imaging Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings

2026-04-01T07:10:43Z

Yazar Vrtovec, Tomaž. editor. Yao, Jianhua. editor. Glocker, Ben. editor. (orcid)0000-0002-4897-9356 Klinder, Tobias. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41827-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Assimilation: Mathematical Concepts and Instructive Examples

2026-04-01T07:10:43Z

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

Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emotions

2026-04-01T07:10:43Z

Yazar Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31056-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Paias, Ana. editor. Ruthmair, Mario. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44896-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Medical Imaging and Augmented Reality 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Zheng, Guoyan. editor. Liao, Hongen. editor. Jannin, Pierre. editor. Cattin, Philippe. editor. Lee, Su-Lin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43775-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

2026-04-01T07:10:43Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42092-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Simulation Systems

2026-04-01T07:10:43Z

Yazar Nawrat, Aleksander. editor. Jędrasiak, Karol. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21118-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Hodicky, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47605-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

2026-04-01T07:10:43Z

Yazar El Yacoubi, Samira. editor. Wąs, Jarosław. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44365-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45641-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRICAI 2016: Trends in Artificial Intelligence 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Booth, Richard. editor. Zhang, Min-Ling. editor. (orcid)0000-0003-1880-5918 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42911-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2026-04-01T07:10:43Z

Yazar Klusch, Matthias. editor. Unland, Rainer. editor. Shehory, Onn. editor. Pokahr, Alexander. editor. Ahrndt, Sebastian. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45889-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation and Synthesis in Medical Imaging First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46630-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50349-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II

2026-04-01T07:10:43Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41009-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43144-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data Benchmarking 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Rabl, Tilmann. editor. Nambiar, Raghunath. editor. Baru, Chaitanya. editor. Bhandarkar, Milind. editor. Poess, Meikel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49748-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I

2026-04-01T07:10:43Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

2026-04-01T07:10:43Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42111-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45378-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

2026-04-01T07:10:43Z

Yazar Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33786-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Osman, Nardine. editor. Sierra, Carles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46882-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2026-04-01T07:10:43Z

Yazar Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39300-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graphical Simulation of Deformable Models

2026-04-01T07:10:43Z

Yazar Cai, Jianping. author. Lin, Feng. author. Seah, Hock Soon. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51031-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55669-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32243-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verifying Calculations - Forty Years On An Overview of Classical Verification Techniques for FEM Simulations

2026-04-01T07:10:43Z

Yazar Chamoin, Ludovic. editor. Díez, Pedro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-20553-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach

2026-04-01T07:10:43Z

Yazar Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50137-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic Road Transport Support Systems

2026-04-01T07:10:43Z

Yazar McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25808-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

2026-04-01T07:10:43Z

Yazar Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3611-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

2026-04-01T07:10:43Z

Yazar Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3614-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods and Clinical Applications for Spine Imaging 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Yao, Jianhua. editor. Vrtovec, Tomaž. editor. Zheng, Guoyan. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X Glocker, Ben. editor. (orcid)0000-0002-4897-9356
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55050-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation technologies in networking and communications : selecting the best tool for the test

2026-04-01T07:10:43Z

Yazar Pathan, Al-Sakib Khan, editor. Monowar, Muhammad Mostafa, editor. Khan, Shafiullah, editor.
Yer Numarası QA76.9 .C65 S56 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Discrete and continuous simulation : theory and practice

2026-04-01T07:10:43Z

Yazar Bandyopadhyay, Susmita, author. Bhattacharya, Ranjan, author.
Yer Numarası QA76.9 .C65 B36 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

2026-04-01T07:10:43Z

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

Augmented Environments for Computer-Assisted Interventions 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Proceedings

2026-04-01T07:10:43Z

Yazar Linte, Cristian A. editor. Yaniv, Ziv. editor. Fallavollita, Pascal. editor. Abolmaesumi, Purang. editor. Holmes III, David. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10437-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

2026-04-01T07:10:43Z

Yazar Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11520-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Power System Analysis

2026-04-01T07:10:43Z

Yazar Idema, Reijer. author. Lahaye, Domenico J.P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.2991/978-94-6239-064-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings

2026-04-01T07:10:43Z

Yazar González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11421-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers

2026-04-01T07:10:43Z

Yazar Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43880-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings

2026-04-01T07:10:43Z

Yazar Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45289-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Geometric Data Structures for Collision Detection and Haptics

2026-04-01T07:10:43Z

Yazar Weller, René. author. SpringerLink (Online service)
Yer Numarası ONLINE(332832.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01020-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Intention Recognition

2026-04-01T07:10:43Z

Yazar Kiefer, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1854-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Explorations in Monte Carlo Methods

2026-04-01T07:10:43Z

Yazar Shonkwiler, Ronald W. author. Mendivil, Franklin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-87837-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1