Arama Sonuçları Programming. - Daraltılmış: 2016

Programming with Python

2026-03-25T07:49:20Z

Yazar Padmanabhan, T R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3277-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GPU programming in MATLAB

2026-03-25T07:49:20Z

Yazar Ploskas, Nikolaos. Samaras, Nikolaos.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128051320
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of quantum programming

2026-03-25T07:49:20Z

Yazar Ying, Mingsheng, author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128023068
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The art of computer programming

2026-03-25T07:49:20Z

Yazar Knuth, Donald E.
Yer Numarası QA 76.5 K57 1968- V.1
Format: Kitap
Durum Beytepe Kütüphanesi~7

Programming principles in computer graphics

2026-03-25T07:49:20Z

Yazar Ammeraal, Leendert.
Yer Numarası QA 76.6 A466 1986
Format: Kitap
Durum Beytepe Kütüphanesi~1

Genetic Programming Theory and Practice XIII

2026-03-25T07:49:20Z

Yazar Riolo, Rick. editor. Worzel, W.P. editor. Kotanchek, Mark. editor. Kordon, Arthur. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34223-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parental Obesity: Intergenerational Programming and Consequences

2026-03-25T07:49:20Z

Yazar Green, Lucy R. editor. Hester, Robert L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-6386-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Behavioral Program Synthesis with Genetic Programming

2026-03-25T07:49:20Z

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

Linear and Integer Programming Made Easy

2026-03-25T07:49:20Z

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

Intel Xeon Phi processor high performance programming

2026-03-25T07:49:20Z

Yazar Jeffers, Jim (Computer engineer), author. Reinders, James, author. Sodani, Avinash, author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect https://www.sciencedirect.com/science/book/9780128091944
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2026-03-25T07:49:20Z

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

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2026-03-25T07:49:20Z

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

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2026-03-25T07:49:20Z

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

Understanding Control Flow Concurrent Programming Using μC++

2026-03-25T07:49:20Z

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

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47958-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Limits of Computation From a Programming Perspective

2026-03-25T07:49:20Z

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

Shared memory application programming : concepts and strategies in multicore application programming

2026-03-25T07:49:20Z

Yazar Alessandrini, Victor, author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128037614
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

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

Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings

2026-03-25T07:49:20Z

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

Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30668-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2026-03-25T07:49:20Z

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

Integer Programming and Combinatorial Optimization 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

2026-03-25T07:49:20Z

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

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2026-03-25T07:49:20Z

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

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-25T07:49:20Z

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

Agile Processes, in Software Engineering, and Extreme Programming 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings

2026-03-25T07:49:20Z

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

Linear Programming Models and Methods of Matrix Games with Payoffs of Triangular Fuzzy Numbers

2026-03-25T07:49:20Z

Yazar Li, Deng-Feng. author. (orcid)0000-0002-4344-8089 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-48476-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tecnomatix Plant Simulation Modeling and Programming by Means of Examples

2026-03-25T07:49:20Z

Yazar Bangsow, Steffen. author. (orcid)0009-0001-7553-9647 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19503-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Fuzzy Linear Programming Problems Theory, Methods and Applications

2026-03-25T07:49:20Z

Yazar Kaur, Jagdeep. author. Kumar, Amit. author. (orcid)0000-0003-0275-8934 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31274-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29604-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-25T07:49:20Z

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

Service-Oriented and Cloud Computing 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Aiello, Marco. editor. Johnsen, Einar Broch. editor. Dustdar, Schahram. editor. Georgievski, Ilche. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44482-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33693-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2026-03-25T07:49:20Z

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

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2026-03-25T07:49:20Z

Yazar Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34096-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50995-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Ebert, Achim. editor. Humayoun, Shah Rukh. editor. Seyff, Norbert. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45916-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2026-03-25T07:49:20Z

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

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

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

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2026-03-25T07:49:20Z

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

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48989-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46520-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33612-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39570-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2026-03-25T07:49:20Z

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

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2026-03-25T07:49:20Z

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

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45480-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

2026-03-25T07:49:20Z

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

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45477-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41135-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33951-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems: OTM 2016 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Meersman, Robert. editor. Dillon, Tharam. editor. Kühn, eva. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48472-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50230-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49094-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39519-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2026-03-25T07:49:20Z

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

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

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

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47846-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47106-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

2026-03-25T07:49:20Z

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

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45550-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Tutoring Systems 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings

2026-03-25T07:49:20Z

Yazar Micarelli, Alessandro. editor. Stamper, John. editor. Panourgia, Kitty. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39583-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformations 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings

2026-03-25T07:49:20Z

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

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-03-25T07:49:20Z

Yazar Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29628-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2026-03-25T07:49:20Z

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

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40578-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46433-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2026-03-25T07:49:20Z

Yazar van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46559-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29613-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Norta, Alex. editor. (orcid)0000-0003-0593-8244 Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Gangadharan, G. R. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-50539-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39083-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44902-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Bellatreche, Ladjel. editor. Pastor, Óscar. editor. Almendros Jiménez, Jesús M. editor. Aït-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45547-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Sheng, Quan Z. editor. Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236 Tata, Samir. editor. Bhiri, Sami. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46295-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2026-03-25T07:49:20Z

Yazar Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42019-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy

2026-03-25T07:49:20Z

Yazar Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bouchenak, Sara. editor. Kopetz, Hermann. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47590-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43904-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

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

Deductive Software Verification - The KeY Book From Theory to Practice

2026-03-25T07:49:20Z

Yazar Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49812-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45943-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

2026-03-25T07:49:20Z

Yazar Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29473-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected Papers

2026-03-25T07:49:20Z

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

Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261 Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Babar, Ali. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48992-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42061-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46982-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47443-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47677-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-35122-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Game engine gems

2026-03-25T07:49:20Z

Yazar Lengyel, Eric.
Yer Numarası QA76.76 .C672 G3588 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Aircraft control allocation

2026-03-25T07:49:20Z

Yazar Durham, Wayne, 1941- author. Bordignon, Kenneth A., author. Beck, Roger, 1977- author.
Yer Numarası TL678 .D87 2016 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118827789
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical laboratory automation : made easy with AutoIt

2026-03-25T07:49:20Z

Yazar Carvalho, Matheus C.
Yer Numarası Q183
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527801954
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visual Basic 2015 unleashed

2026-03-25T07:49:20Z

Yazar Del Sole, Alessandro, author.
Yer Numarası QA76.73.B3 D4672 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Linux komut satırı

2026-03-25T07:49:20Z

Yazar Demirez, Kemal
Yer Numarası QA76.76.O63 D46 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Algoritma ve programlama mantığı

2026-03-25T07:49:20Z

Yazar Tungut, H. Burak
Yer Numarası QA76.9.A43 T86 2016
Format: Kitap
Durum Beytepe Kütüphanesi~2

SEO ve ötesi

2026-03-25T07:49:20Z

Yazar Barışkan, Gökhan
Yer Numarası TK5105.884 B37 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Arduino ve Raspberry Pi ile nesnelerin interneti

2026-03-25T07:49:20Z

Yazar Dökmetaş, Gökhan
Yer Numarası TJ223.P76 D656 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Exploring Raspberry Pi : interfacing to the real world with embedded Linux

2026-03-25T07:49:20Z

Yazar Molloy, Derek, 1973- author.
Yer Numarası ONLINE
Elektronik Erişim Wiley Online Library
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

iOS Game Development

2026-03-25T07:49:20Z

Yazar Lucka, Thomas, author. Safari, an O'Reilly Media Company.
Yer Numarası QA76.76 .C672
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429187391 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Heterogeneous system architecture

2026-03-25T07:49:20Z

Yazar Hwu, Wen-mei, editor.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128003862
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deploying secure containers for training and development

2026-03-25T07:49:20Z

Yazar Schipp, Jon, author. Dalziel, Henry, editor.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128047170
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The visual imperative : creating a visual culture of data discovery

2026-03-25T07:49:20Z

Yazar Ryan, Lindy, author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect https://www.sciencedirect.com/science/book/9780128038444
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel computing for data science : with examples in R, C++ and CUDA

2026-03-25T07:49:20Z

Yazar Matloff, Norman S., author.
Yer Numarası QA76.642 M37 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Professional Python

2026-03-25T07:49:20Z

Yazar Sneeringer, Luke.
Yer Numarası QA76.73.P98 S64 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

How to use objects : code and concepts

2026-03-25T07:49:20Z

Yazar Gast, Holger, 1975- author.
Yer Numarası QA76.64 G39 2016
Format: Kitap
Durum Beytepe Kütüphanesi~2

Sams teach yourself R in 24 hours

2026-03-25T07:49:20Z

Yazar Nicholls, Andy, author. Pugh, Richard (Statistician), author. Gott, Aimee, author.
Yer Numarası QA76.73.R3 N43 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Programcılık mantığı

2026-03-25T07:49:20Z

Yazar Köseoğlu, Kerem.
Yer Numarası QA76.6 K67 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Yeni başlayanlar için Python

2026-03-25T07:49:20Z

Yazar Aksoy, Ahmet.
Yer Numarası QA76.73.P98 A37 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Programlama ve veritabanı mantığı

2026-03-25T07:49:20Z

Yazar Çamoğlu, Kadir
Yer Numarası QA76.755 C36 2016
Format: Görsel Materyal
Durum Beytepe Kütüphanesi~1

A'dan Z'ye yeni nesil tekniklerle web tasarımı ve web programlama

2026-03-25T07:49:20Z

Yazar Gelişken, Uğur
Yer Numarası TK5105.888 G317 2016
Format: Kitap
Durum Beytepe Kütüphanesi~2

Introduction to computational models with Python

2026-03-25T07:49:20Z

Yazar Garrido, José M., author.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Molecular data analysis using R

2026-03-25T07:49:20Z

Yazar Ortutay, Csaba, 1976- author. Ortutay, Zsuzsanna, author.
Yer Numarası QH506 .O78 2016 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119165057
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Random-Like Bi-level Decision Making

2026-03-25T07:49:20Z

Yazar Xu, Jiuping. author. (orcid)0000-0003-3756-3969 Li, Zongmin. author. Tao, Zhimiao. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1768-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-03-25T07:49:20Z

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

Procedural Content Generation in Games

2026-03-25T07:49:20Z

Yazar Shaker, Noor. author. Togelius, Julian. author. Nelson, Mark J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42716-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29968-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Image Processing An Algorithmic Introduction Using Java

2026-03-25T07:49:20Z

Yazar Burger, Wilhelm. author. Burge, Mark J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6684-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29778-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32582-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33600-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Data Mining

2026-03-25T07:49:20Z

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

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30246-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45994-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Deception Building the Scientific Foundation

2026-03-25T07:49:20Z

Yazar Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32699-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46397-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters

2026-03-25T07:49:20Z

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

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2026-03-25T07:49:20Z

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

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2026-03-25T07:49:20Z

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

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Dignum, Virginia. editor. (orcid)0000-0001-7409-5813 Noriega, Pablo. editor. Sensoy, Murat. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42691-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Architecture An Ordinary Engineering Discipline

2026-03-25T07:49:20Z

Yazar Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43065-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA

2026-03-25T07:49:20Z

Yazar Ponce-Cruz, Pedro. author. Molina, Arturo. author. MacCleery, Brian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26656-5
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-03-25T07:49:20Z

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

Real Time Control Engineering Systems And Automation

2026-03-25T07:49:20Z

Yazar Ng, Tian Seng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1509-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

2026-03-25T07:49:20Z

Yazar Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42831-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied univariate, bivariate, and multivariate statistics

2026-03-25T07:49:20Z

Yazar Denis, Daniel J., 1974-
Yer Numarası QA279
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41591-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2026-03-25T07:49:20Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32149-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2026-03-25T07:49:20Z

Yazar Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30936-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile, Secure, and Programmable Networking Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Boumerdassi, Selma. editor. Renault, Éric. editor. Bouzefrane, Samia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50463-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimal Trajectory Planning and Train Scheduling for Urban Rail Transit Systems

2026-03-25T07:49:20Z

Yazar Wang, Yihui. author. Ning, Bin. author. van den Boom, Ton. author. De Schutter, Bart. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30889-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

2026-03-25T07:49:20Z

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

Towards Paraconsistent Engineering

2026-03-25T07:49:20Z

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

Gene Expression and Its Discontents The Social Production of Chronic Disease

2026-03-25T07:49:20Z

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

Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Kochetov, Yury. editor. Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Beresnev, Vladimir. editor. Nurminski, Evgeni. editor. Pardalos, Panos. editor. (orcid)0000-0001-9623-8053
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44914-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46750-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Finite Volume Method in Computational Fluid Dynamics An Advanced Introduction with OpenFOAM® and Matlab

2026-03-25T07:49:20Z

Yazar Moukalled, F. author. Mangani, L. author. Darwish, M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16874-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2026-03-25T07:49:20Z

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

Systems Biology in Animal Production and Health, Vol. 1

2026-03-25T07:49:20Z

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

Systems Biology in Animal Production and Health, Vol. 2

2026-03-25T07:49:20Z

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

Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings

2026-03-25T07:49:20Z

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

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31220-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2014

2026-03-25T07:49:20Z

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

An Introduction to Data Analysis using Aggregation Functions in R

2026-03-25T07:49:20Z

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

From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence

2026-03-25T07:49:20Z

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

Retrogame Archeology Exploring Old Computer Games

2026-03-25T07:49:20Z

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

Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44543-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-03-25T07:49:20Z

Yazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30734-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Methods and Modelling for Engineering

2026-03-25T07:49:20Z

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

Pattern Mining with Evolutionary Algorithms

2026-03-25T07:49:20Z

Yazar Ventura, Sebastián. author. Luna, José María. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33858-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Dynamics Modeling with R

2026-03-25T07:49:20Z

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

Introduction to Cyberdeception

2026-03-25T07:49:20Z

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

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

2026-03-25T07:49:20Z

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

Large-Scale Graph Processing Using Apache Giraph

2026-03-25T07:49:20Z

Yazar Sakr, Sherif. author. Orakzai, Faisal Moeen. author. Abdelaziz, Ibrahim. author. Khayyat, Zuhair. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47431-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Situation Recognition Using EventShop

2026-03-25T07:49:20Z

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

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems

2026-03-25T07:49:20Z

Yazar Tlelo-Cuautle, Esteban. author. (orcid)0000-0001-7187-4686 Rangel-Magdaleno, José de Jesús. author. de la Fraga, Luis Gerardo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34115-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53042-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29919-8
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-03-25T07:49:20Z

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

Electronic Participation 8th IFIP WG 8.5 International Conference, ePart 2016, Guimarães, Portugal, September 5-8, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Tambouris, Efthimios. editor. Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Sæbø, Øystein. editor. Wimmer, Maria A. editor. Pardo, Theresa A. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45074-2
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-03-25T07:49:20Z

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

Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Perales, Francisco José. editor. (orcid)0000-0002-9872-3172 Kittler, Josef. editor. (orcid)0000-0002-8110-9205 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41778-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

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

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2026-03-25T07:49:20Z

Yazar Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-52921-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Ko, Ryan K.L. editor. Mueller, Peter. editor. Nakano, Koji. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49583-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47151-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Goldberg, Andrew V. editor. Kulikov, Alexander S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-38851-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802 Fujishige, Satoru. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45587-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

2026-03-25T07:49:20Z

Yazar Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41114-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45823-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

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

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

2026-03-25T07:49:20Z

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

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49665-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Csound A Sound and Music Computing System

2026-03-25T07:49:20Z

Yazar Lazzarini, Victor. author. Yi, Steven. author. ffitch, John. author. Heintz, Joachim. author. Brandtsegg, Øyvind. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45370-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Power Amplifiers for the S-, C-, X- and Ku-bands An EDA Perspective

2026-03-25T07:49:20Z

Yazar Božanić, Mladen. author. (orcid)0000-0001-9174-0781 Sinha, Saurabh. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28376-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Metaheuristics Powerful Tools for Optimization

2026-03-25T07:49:20Z

Yazar Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30883-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dance Notations and Robot Motion

2026-03-25T07:49:20Z

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

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2026-03-25T07:49:20Z

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

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43659-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Early Nutrition and Lifestyle Factors Effects on First Trimester Placenta

2026-03-25T07:49:20Z

Yazar Duttaroy, Asim K. author. (orcid)0000-0003-1619-3778 Basak, Sanjay. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-38804-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Autism

2026-03-25T07:49:20Z

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

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2026-03-25T07:49:20Z

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

Cryptography Made Simple

2026-03-25T07:49:20Z

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

Software Design for Resilient Computer Systems

2026-03-25T07:49:20Z

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

Algorithms for Data Science

2026-03-25T07:49:20Z

Yazar Steele, Brian. author. Chandler, John. author. Reddy, Swarna. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45797-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Mining Data Science in Action

2026-03-25T07:49:20Z

Yazar van der Aalst, Wil M. P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49851-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numeric Computation and Statistical Data Analysis on the Java Platform

2026-03-25T07:49:20Z

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

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2026-03-25T07:49:20Z

Yazar Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49122-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Parallel and Distributed Computing and Ubiquitous Services UCAWSN & PDCAT 2015

2026-03-25T07:49:20Z

Yazar Park, James J. (Jong Hyuk). editor. Yi, Gangman. editor. Jeong, Young-Sik. editor. Shen, Hong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0068-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Regenerative Medicine - from Protocol to Patient 2. Stem Cell Science and Technology

2026-03-25T07:49:20Z

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

Proper Generalized Decompositions An Introduction to Computer Implementation with Matlab

2026-03-25T07:49:20Z

Yazar Cueto, Elías. author. (orcid)0000-0003-1017-4381 González, David. author. Alfaro, Icíar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29994-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Electromechanical Systems

2026-03-25T07:49:20Z

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

FPGAs for Software Programmers

2026-03-25T07:49:20Z

Yazar Koch, Dirk. editor. Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Ziener, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26408-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2026-03-25T07:49:20Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32152-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2026-03-25T07:49:20Z

Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50983-9
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-03-25T07:49:20Z

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

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2026-03-25T07:49:20Z

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

Network Analysis Literacy A Practical Approach to the Analysis of Networks

2026-03-25T07:49:20Z

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

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

2026-03-25T07:49:20Z

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

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2026-03-25T07:49:20Z

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

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49529-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning Analytics in R with SNA, LSA, and MPIA

2026-03-25T07:49:20Z

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

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53826-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2026-03-25T07:49:20Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47169-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46140-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44832-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Invasive Tightly Coupled Processor Arrays

2026-03-25T07:49:20Z

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

Parallelism in Matrix Computations

2026-03-25T07:49:20Z

Yazar Gallopoulos, Efstratios. author. Philippe, Bernard. author. Sameh, Ahmed H. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-017-7188-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Opportunistic Mobile Networks Advances and Applications

2026-03-25T07:49:20Z

Yazar Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29031-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39636-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2015

2026-03-25T07:49:20Z

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

Android Application Security A Semantics and Context-Aware Approach

2026-03-25T07:49:20Z

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

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49674-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2026-03-25T07:49:20Z

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

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42547-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43425-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2026-03-25T07:49:20Z

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

Mixed-Integer Representations in Control Design Mathematical Foundations and Applications

2026-03-25T07:49:20Z

Yazar Prodan, Ionela. author. Stoican, Florin. author. Olaru, Sorin. author. (orcid)0000-0003-3256-9595 Niculescu, Silviu-Iulian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26995-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Signal Processing and Spectral Analysis for Scientists Concepts and Applications

2026-03-25T07:49:20Z

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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2026-03-25T07:49:20Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47166-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53132-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2026-03-25T07:49:20Z

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

High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Taufer, Michela. editor. Mohr, Bernd. editor. Kunkel, Julian M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46079-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robotic Fabrication in Architecture, Art and Design 2016

2026-03-25T07:49:20Z

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

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49630-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Introduction to Fuzzy Logic using LISP

2026-03-25T07:49:20Z

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

Python for Probability, Statistics, and Machine Learning

2026-03-25T07:49:20Z

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

Introduction to HPC with MPI for Data Science

2026-03-25T07:49:20Z

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

Introduction to the History of Computing A Computing History Primer

2026-03-25T07:49:20Z

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

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2026-03-25T07:49:20Z

Yazar Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27810-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency XI

2026-03-25T07:49:20Z

Yazar Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Desel, Jörg. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53401-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Foundations for Mastering Change I

2026-03-25T07:49:20Z

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

Transactions on Modularity and Composition I

2026-03-25T07:49:20Z

Yazar Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to 3D Vision Computation Geometric Analysis and Implementation

2026-03-25T07:49:20Z

Yazar Kanatani, Kenichi. author. Sugaya, Yasuyuki. author. (orcid)0000-0001-8339-5631 Kanazawa, Yasushi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48493-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decision Diagrams for Optimization

2026-03-25T07:49:20Z

Yazar Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42849-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization in the Real World Toward Solving Real-World Optimization Problems

2026-03-25T07:49:20Z

Yazar Fujisawa, Katsuki. editor. Shinano, Yuji. editor. Waki, Hayato. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-4-431-55420-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

2026-03-25T07:49:20Z

Yazar Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2026-03-25T07:49:20Z

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

Games and Learning Alliance 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings

2026-03-25T07:49:20Z

Yazar Bottino, Rosa. editor. (orcid)0000-0001-6709-0053 Jeuring, Johan. editor. Veltkamp, Remco C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50182-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

2026-03-25T07:49:20Z

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