Arama Sonuçları Computer software. - Daraltılmış: 2017

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-06-25T09:27:01Z

Yazar Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89935-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

2026-06-25T09:27:01Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57141-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional software size measurement methodology with effort estimation and performance indication

2026-06-25T09:27:01Z

Yazar Singh, Jasveer, 1955- author.
Yer Numarası QA76.76 .S65 S56 2017 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119238126
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hacking the hacker : learn from the experts who take down hackers

2026-06-25T09:27:01Z

Yazar Grimes, Roger A., author.
Yer Numarası QA76.9 .A25
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119396260
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Swift in the cloud

2026-06-25T09:27:01Z

Yazar Williamson, Leigh, author.
Yer Numarası QA76.73 .S95
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging areas in bioengineering

2026-06-25T09:27:01Z

Yazar Chang, Ho-nam, editor.
Yer Numarası TA164
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803293
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Commerce Usability : Tools and Techniques to Perfect the On-Line Experience

2026-06-25T09:27:01Z

Yazar Travis, David, author. Taylor and Francis.
Yer Numarası TK5105
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechatronic system control, logic, and data acquisition

2026-06-25T09:27:01Z

Yazar Bishop, Robert H., 1957- editor. Taylor and Francis.
Yer Numarası TJ223 .P76 M43 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

The data science handbook

2026-06-25T09:27:01Z

Yazar Cady, Field, 1984- author.
Yer Numarası QA76.9 .D32
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092919
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ESSENTIAL SOFTWARE TESTING : a use-case approach.

2026-06-25T09:27:01Z

Yazar FOURNIER, GREG.
Yer Numarası QA76.76 .T48
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/e/9780429114854 Taylor & Francis https://www.taylorfrancis.com/books/9780429114854 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

Self-Aware Computing Systems

2026-06-25T09:27:01Z

Yazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47474-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Topics in Intelligent Information and Database Systems

2026-06-25T09:27:01Z

Yazar Król, Dariusz. editor. Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Shirai, Kiyoaki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56660-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ethical and Social Issues in the Information Age

2026-06-25T09:27:01Z

Yazar Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70712-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hard and Soft Computing for Artificial Intelligence, Multimedia and Security

2026-06-25T09:27:01Z

Yazar Kobayashi, Shin-ya. editor. Piegat, Andrzej. editor. Pejaś, Jerzy. editor. El Fray, Imed. editor. Kacprzyk, Janusz. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48429-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Europe and MENA Cooperation Advances in Information and Communication Technologies

2026-06-25T09:27:01Z

Yazar Rocha, Álvaro. editor. Serrhini, Mohammed. editor. (orcid)0000-0002-8773-6314 Felgueiras, Carlos. editor. (orcid)0000-0002-4202-5551 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46568-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Subject Research for Engineers A Practical Guide

2026-06-25T09:27:01Z

Yazar de Winter, Joost C.F. author. Dodou, Dimitra. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56964-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterprise

2026-06-25T09:27:01Z

Yazar Sharma, Sanjeev (Information technology executive), author.
Yer Numarası QA76.758
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and simulation of logistics flows. 3, Discrete and continuous flows in 2D/3D

2026-06-25T09:27:01Z

Yazar Reveillac, Jean-Michel, author.
Yer Numarası HD38.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368588
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics in aquaculture : principles and methods

2026-06-25T09:27:01Z

Yazar Liu, Zhanjiang, editor.
Yer Numarası QH324.2
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118782392
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistical intervals : a guide for practitioners and researchers.

2026-06-25T09:27:01Z

Yazar Meeker, William Q. Hahn, Gerald J. Escobar, Luis A.
Yer Numarası QA276 .H22 2017 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118594841
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and applications of image registration

2026-06-25T09:27:01Z

Yazar Goshtasby, Ardeshir, author.
Yer Numarası TA1632
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119171744
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer vision and imaging in intelligent transportation systems

2026-06-25T09:27:01Z

Yazar Loce, Robert P., editor. Bala, Raja, editor. Trivedi, Mohan M., editor.
Yer Numarası TE228.3
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118971666
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Windows 10 Anniversary update bible

2026-06-25T09:27:01Z

Yazar Tidrow, Rob, author. Boyce, Jim, 1958- author. Shapiro, Jeffrey R., author.
Yer Numarası QA76.76 .O63
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119416999
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process modeling and simulation for chemical engineers : theory and practice

2026-06-25T09:27:01Z

Yazar Upreti, Simant Ranjan, author.
Yer Numarası TP155.7 .U67 2017 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118914670
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-time embedded systems

2026-06-25T09:27:01Z

Yazar Wang, Jiacun, 1963- author.
Yer Numarası TK7895 .E42
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial neural network for software reliability prediction

2026-06-25T09:27:01Z

Yazar Bisi, Manjubala, author. Goyal, Neeraj Kumar, author.
Yer Numarası QA76.87
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223931
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The image-interface : graphical supports for visual information

2026-06-25T09:27:01Z

Yazar Reyes-Garcia, Everardo, author.
Yer Numarası QA76.9 .U83
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119474166
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dictionary of Computer Science, Engineering and Technology

2026-06-25T09:27:01Z

Yazar Laplante, Philip A., editor., author.
Yer Numarası QA76.15 L375 2017
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Projeler ile CATIA

2026-06-25T09:27:01Z

Yazar Ovalı, İsmail. Esen, Cemal.
Yer Numarası TA345 O93 2017
Format: Kitap
Durum Beytepe Kütüphanesi~1

Projeler ile C# 7.0 ve SQL ve Server 2016

2026-06-25T09:27:01Z

Yazar Uzunköprü, Süleyman.
Yer Numarası QA76.73.C154 U98 2017
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software defined networks : a comprehensive approach

2026-06-25T09:27:01Z

Yazar Goransson, Paul, author. Black, Chuck, author. Culver, Timothy, author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128045558
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Contextual Design : design for life

2026-06-25T09:27:01Z

Yazar Holtzblatt, Karen, author. Beyer, Hugh, author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128008942
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-06-25T09:27:01Z

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

Green IT Engineering: Concepts, Models, Complex Systems Architectures

2026-06-25T09:27:01Z

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

Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation

2026-06-25T09:27:01Z

Yazar Roberts, Jonathan C. author. Headleand, Christopher J. author. Ritsos, Panagiotis D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55627-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Techniques for Evaluating the Differences in Multiregional Input-Output Databases A Comparative Evaluation of CO2 Consumption-Based Accounts Calculated Using Eora, GTAP and WIOD

2026-06-25T09:27:01Z

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

Numbers and Computers

2026-06-25T09:27:01Z

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

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

2026-06-25T09:27:01Z

Yazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51963-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Modeling and Simulation of Systems of Systems

2026-06-25T09:27:01Z

Yazar P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64134-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Subdivision Surface Modeling Technology

2026-06-25T09:27:01Z

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

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-06-25T09:27:01Z

Yazar Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54292-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulating Crowds in Egress Scenarios

2026-06-25T09:27:01Z

Yazar Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65202-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics for Evolutionary Biologists A Problems Approach

2026-06-25T09:27:01Z

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

Current Trends on Knowledge-Based Systems

2026-06-25T09:27:01Z

Yazar Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51905-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Normally-Off Computing

2026-06-25T09:27:01Z

Yazar Nakada, Takashi. editor. Nakamura, Hiroshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-4-431-56505-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers

2026-06-25T09:27:01Z

Yazar Guo, Song. editor. Wei, Guiyi. editor. Xiang, Yang. editor. (orcid)0000-0001-5252-0831 Lin, Xiaodong. editor. Lorenz, Pascal. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49580-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

2026-06-25T09:27:01Z

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

Computing Platforms for Software-Defined Radio

2026-06-25T09:27:01Z

Yazar Hussain, Waqar. editor. Nurmi, Jari. editor. Isoaho, Jouni. editor. Garzia, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49679-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings

2026-06-25T09:27:01Z

Yazar Solano, Andrés. editor. Ordoñez, Hugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66562-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning Paradigms Artificial Immune Systems and their Applications in Software Personalization

2026-06-25T09:27:01Z

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

Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III

2026-06-25T09:27:01Z

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

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

2026-06-25T09:27:01Z

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

Introduction to Computer Networking

2026-06-25T09:27:01Z

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

Recent Advances in Information Systems and Technologies Volume 3

2026-06-25T09:27:01Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Correia, Ana Maria. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 Costanzo, Sandra. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56541-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fluid Dynamics Theory, Computation, and Numerical Simulation

2026-06-25T09:27:01Z

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

Modern Language Models and Computation Theory with Applications

2026-06-25T09:27:01Z

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

Source Code Modularization Theory and Techniques

2026-06-25T09:27:01Z

Yazar Isazadeh, Ayaz. author. Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Elgedawy, Islam. author. (orcid)0000-0002-9884-1590 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63346-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Analytics for Protein Crystallization

2026-06-25T09:27:01Z

Yazar Pusey, Marc L. author. Aygün, Ramazan Savaş. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58937-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Graphics for Java Programmers

2026-06-25T09:27:01Z

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

Health Information Science 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings

2026-06-25T09:27:01Z

Yazar Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Huang, Zhisheng. editor. Aickelin, Uwe. editor. Zhou, Rui. editor. Wang, Hua. editor. (orcid)0000-0002-8465-0996
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69182-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2026-06-25T09:27:01Z

Yazar Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6893-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings

2026-06-25T09:27:01Z

Yazar Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65551-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Information Systems and Technologies Volume 2

2026-06-25T09:27:01Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Correia, Ana Maria. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 Costanzo, Sandra. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56538-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Researching Complex Information Infrastructures Design Characteristics of ICT Tools for Examining Modern Technology Usage

2026-06-25T09:27:01Z

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

Modelling Organs, Tissues, Cells and Devices Using MATLAB and COMSOL Multiphysics

2026-06-25T09:27:01Z

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

Design, User Experience, and Usability: Designing Pleasurable Experiences 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-06-25T09:27:01Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58637-3
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-06-25T09:27:01Z

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

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

2026-06-25T09:27:01Z

Yazar Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51653-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

2026-06-25T09:27:01Z

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

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-06-25T09:27:01Z

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

Transactions on Computational Science XXIX

2026-06-25T09:27:01Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54563-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonlinear Model Predictive Control Theory and Algorithms

2026-06-25T09:27:01Z

Yazar Grüne, Lars. author. Pannek, Jürgen. author. (orcid)0000-0001-5109-9627 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46024-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering and Management of Data Centers An IT Service Management Approach

2026-06-25T09:27:01Z

Yazar Marx Gómez, Jorge. editor. Mora, Manuel. editor. Raisinghani, Mahesh S. editor. Nebel, Wolfgang. editor. O'Connor, Rory V. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65082-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Contemporary High Performance Computing : From Petascale toward Exascale

2026-06-25T09:27:01Z

Yazar Vetter, Jeffrey S., editor.
Yer Numarası QA76.88 C668 2017
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Mathematics for Computer Graphics

2026-06-25T09:27:01Z

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

String Analysis for Software Verification and Security

2026-06-25T09:27:01Z

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

Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015

2026-06-25T09:27:01Z

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

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

2026-06-25T09:27:01Z

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

Computing in Smart Toys

2026-06-25T09:27:01Z

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

Agent and Multi-Agent Systems: Technology and Applications 11th KES International Conference, KES-AMSTA 2017 Vilamoura, Algarve, Portugal, June 2017 Proceedings

2026-06-25T09:27:01Z

Yazar Jezic, Gordan. editor. Kusek, Mario. editor. Chen-Burger, Yun-Heh Jessica. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59394-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Information Systems and Technologies Volume 1

2026-06-25T09:27:01Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Correia, Ana Maria. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 Costanzo, Sandra. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56535-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reverse Engineering the Mind Consciously Acting Machines and Accelerated Evolution

2026-06-25T09:27:01Z

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

Security and Trust Management 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings

2026-06-25T09:27:01Z

Yazar Livraga, Giovanni. editor. Mitchell, Chris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68063-7
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-06-25T09:27:01Z

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

Advances in Computer and Computational Sciences Proceedings of ICCCCS 2016, Volume 1

2026-06-25T09:27:01Z

Yazar Bhatia, Sanjiv K. editor. Mishra, Krishn K. editor. Tiwari, Shailesh. editor. (orcid)0000-0002-1306-1246 Singh, Vivek Kumar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3770-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Approach to Compiler Construction

2026-06-25T09:27:01Z

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

Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods

2026-06-25T09:27:01Z

Yazar Kousalya, G. author. Balakrishnan, P. author. Pethuru Raj, C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56982-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Software Engineering From Fundamentals to Application Methods

2026-06-25T09:27:01Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57750-0
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-06-25T09:27:01Z

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

Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures

2026-06-25T09:27:01Z

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

Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-06-25T09:27:01Z

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

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

2026-06-25T09:27:01Z

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

Human Centered Software Product Lines

2026-06-25T09:27:01Z

Yazar Sottet, Jean-Sébastien. editor. García Frey, Alfonso. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60947-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Symbolic Computation of Integrability Structures for Partial Differential Equations

2026-06-25T09:27:01Z

Yazar Krasil'shchik, Joseph. author. Verbovetsky, Alexander. author. Vitolo, Raffaele. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71655-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1