Arama Sonuçları Computer - Daraltılmış: Compilers (Computer programs).

Computer Graphics for Java Programmers

2026-03-13T16:28:07Z

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

An Introduction to Python and Computer Programming

2026-03-13T16:28:07Z

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

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Pluhár, Zsuzsa. editor. (orcid)0000-0003-2688-4652 Gaál, Bence. editor. (orcid)0000-0001-8771-7140 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73474-8
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 II

2026-03-13T16:28:07Z

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-63390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68953-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66176-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Tonetta, Stefano. 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-66266-4
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-03-13T16:28:07Z

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

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Tonetta, Stefano. 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-66284-8
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-13T16:28:07Z

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

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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-13T16:28:07Z

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

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-03-13T16:28:07Z

Yazar Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94706-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

2026-03-13T16:28:07Z

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

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74776-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Compiler Design

2026-03-13T16:28:07Z

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

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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-03-13T16:28:07Z

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

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68150-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985 Klemm, Michael. editor. (orcid)0000-0002-8634-4634 de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006 Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979 Klinkenberg, Jannis. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72567-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0617-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64285-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Compiler Design

2026-03-13T16:28:07Z

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

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

2026-03-13T16:28:07Z

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

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-13T16:28:07Z

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

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52228-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

2026-03-13T16:28:07Z

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

Programming with Scala Language Exploration

2026-03-13T16:28:07Z

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

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63139-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64203-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

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-53946-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2026-03-13T16:28:07Z

Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54577-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

2026-03-13T16:28:07Z

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

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2026-03-13T16:28:07Z

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

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Pham, Congduc. editor. Altmann, Jörn. editor. Bañares, José Ángel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68066-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-03-13T16:28:07Z

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

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2026-03-13T16:28:07Z

Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54580-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Scientific Computing in C++

2026-03-13T16:28:07Z

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

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

2026-03-13T16:28:07Z

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

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

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

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2026-03-13T16:28:07Z

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

A Practical Approach to Compiler Construction

2026-03-13T16:28:07Z

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

Programming Language Concepts

2026-03-13T16:28:07Z

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

Foundations of Programming Languages

2026-03-13T16:28:07Z

Yazar Lee, Kent D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70790-7
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-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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-13T16:28:07Z

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

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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-13T16:28:07Z

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

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0914-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74234-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-13T16:28:07Z

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

Programming Languages and Systems 34th European Symposium on Programming, ESOP 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-03-13T16:28:07Z

Yazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-91121-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 34th European Symposium on Programming, ESOP 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-03-13T16:28:07Z

Yazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-91118-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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-03-13T16:28:07Z

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

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63790-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66107-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

Yazar Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66302-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

Yazar Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62569-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54494-5
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-03-13T16:28:07Z

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

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67952-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66197-1
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-13T16:28:07Z

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

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-13T16:28:07Z

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

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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-13T16:28:07Z

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

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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-13T16:28:07Z

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

Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

2026-03-13T16:28:07Z

Yazar Lorenz, Pascal. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30142-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74209-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

2026-03-13T16:28:07Z

Yazar Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80607-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction Fundamentals and Applications

2026-03-13T16:28:07Z

Yazar Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84813-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

2026-03-13T16:28:07Z

Yazar Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-7956-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

2026-03-13T16:28:07Z

Yazar Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70074-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FPGA EDA Design Principles and Implementation

2026-03-13T16:28:07Z

Yazar Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7755-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

2026-03-13T16:28:07Z

Yazar Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55630-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

2026-03-13T16:28:07Z

Yazar Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71291-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learn coding with Python and JavaScript A practical introduction for beginners

2026-03-13T16:28:07Z

Yazar Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-42912-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

2026-03-13T16:28:07Z

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

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67113-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2026-03-13T16:28:07Z

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

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

2026-03-13T16:28:07Z

Yazar Javanbakht, Zia. author. Öchsner, Andreas. author. (orcid)0000-0002-8844-3206 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47668-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2026-03-13T16:28:07Z

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

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2026-03-13T16:28:07Z

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

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59758-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

2026-03-13T16:28:07Z

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

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-03-13T16:28:07Z

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

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2026-03-13T16:28:07Z

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

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

2026-03-13T16:28:07Z

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

Present and Ulterior Software Engineering

2026-03-13T16:28:07Z

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

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

2026-03-13T16:28:07Z

Yazar Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51046-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65578-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

2026-03-13T16:28:07Z

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

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2026-03-13T16:28:07Z

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

String Analysis for Software Verification and Security

2026-03-13T16:28:07Z

Yazar Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68670-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65948-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2026-03-13T16:28:07Z

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

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2026-03-13T16:28:07Z

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

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70169-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Robotics with ROBOTIS Systems

2026-03-13T16:28:07Z

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

Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

Yazar Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68136-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

2026-03-13T16:28:07Z

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

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69131-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning with R

2026-03-13T16:28:07Z

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

Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Ouhammou, Yassine. editor. Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384 Abelló, Alberto. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66854-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61252-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68015-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69904-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2026-03-13T16:28:07Z

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

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57288-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Separation Logic for High-level Synthesis

2026-03-13T16:28:07Z

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

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

Yazar Cranefield, Stephen. editor. Mahmoud, Samhar. editor. Padget, Julian. editor. Rocha, Ana Paula. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66595-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51676-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

Yazar van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53354-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

2026-03-13T16:28:07Z

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

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2026-03-13T16:28:07Z

Yazar Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60074-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers

2026-03-13T16:28:07Z

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

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

2026-03-13T16:28:07Z

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

Software Engineering: Specification, Implementation, Verification

2026-03-13T16:28:07Z

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

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65831-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-03-13T16:28:07Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 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-56841-6
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-03-13T16:28:07Z

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

Low Level X Window Programming An Introduction by Examples

2026-03-13T16:28:07Z

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

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70004-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

2026-03-13T16:28:07Z

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

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67549-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66902-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-13T16:28:07Z

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

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

2026-03-13T16:28:07Z

Yazar Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59650-1
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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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-13T16:28:07Z

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

Instruction Level Parallelism

2026-03-13T16:28:07Z

Yazar Aiken, Alex. author. Banerjee, Utpal. author. Kejariwal, Arun. author. Nicolau, Alexandru. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4899-7797-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Control Flow Concurrent Programming Using μC++

2026-03-13T16:28:07Z

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

Using Microsoft Dynamics AX The New Dynamics 'AX 7'

2026-03-13T16:28:07Z

Yazar Luszczak, Andreas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-13622-2
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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

Deductive Software Verification - The KeY Book From Theory to Practice

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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-13T16:28:07Z

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

Numeric Computation and Statistical Data Analysis on the Java Platform

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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-13T16:28:07Z

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

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-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

More Math Into LaTeX

2026-03-13T16:28:07Z

Yazar Grätzer, George. author. (orcid)0000-0002-5149-3883 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23796-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Modularity and Composition I

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

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

2026-03-13T16:28:07Z

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

Model-Based Systems Engineering with OPM and SysML

2026-03-13T16:28:07Z

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

Transactions on Foundations for Mastering Change I

2026-03-13T16:28:07Z

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

Understanding Network Hacks Attack and Defense with Python

2026-03-13T16:28:07Z

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

MATLAB Matrix Algebra

2026-03-13T16:28:07Z

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

MATLAB Differential Equations

2026-03-13T16:28:07Z

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

HL7 for BizTalk

2026-03-13T16:28:07Z

Yazar Edidin, Howard. author. Bhardwaj, Vikas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6763-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced C and C++ Compiling

2026-03-13T16:28:07Z

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

MATLAB Optimization Techniques

2026-03-13T16:28:07Z

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

Beginning Java 8 Games Development

2026-03-13T16:28:07Z

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

Beginning Application Lifecycle Management

2026-03-13T16:28:07Z

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

Beginning C++

2026-03-13T16:28:07Z

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

MATLAB Symbolic Algebra and Calculus Tools

2026-03-13T16:28:07Z

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

Transitioning to Swift

2026-03-13T16:28:07Z

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

Numerical Methods using MATLAB

2026-03-13T16:28:07Z

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

Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX

2026-03-13T16:28:07Z

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

Pro TypeScript Application-Scale JavaScript Development

2026-03-13T16:28:07Z

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

MATLAB Mathematical Analysis

2026-03-13T16:28:07Z

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

Optimizing HPC Applications with Intel Cluster Tools Hunting Petaflops

2026-03-13T16:28:07Z

Yazar Supalov, Alexander. author. Semin, Andrey. author. Dahnken, Christopher. author. Klemm, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6497-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MATLAB Differential and Integral Calculus

2026-03-13T16:28:07Z

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

Dart for Absolute Beginners

2026-03-13T16:28:07Z

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

Learn C++ for Game Development

2026-03-13T16:28:07Z

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

Beginning Haskell A Project-Based Approach

2026-03-13T16:28:07Z

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

The Coder's Path to Wealth and Independence

2026-03-13T16:28:07Z

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

MATLAB Graphical Programming Practical hands-on MATLAB solutions

2026-03-13T16:28:07Z

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

C++ Game Development Primer

2026-03-13T16:28:07Z

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

MATLAB Numerical Calculations

2026-03-13T16:28:07Z

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

C++ 2013 for C# Developers

2026-03-13T16:28:07Z

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

MATLAB Control Systems Engineering

2026-03-13T16:28:07Z

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

MATLAB Linear Algebra

2026-03-13T16:28:07Z

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

Beginning COBOL for Programmers

2026-03-13T16:28:07Z

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

MATLAB Programming for Numerical Analysis

2026-03-13T16:28:07Z

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