Search Results for Computer programs

1.

BMD : biomedical computer programs

Yazar

California University University at Los Angles. Health Sciences Computing Facility. Dixon, W. J., ed.

Yer Numarası

Z 699 C3 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

Computer programs for chemistry.

Yer Numarası

QD 42 C745 1968- V.4

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Structure and interpretation of computer programs

Yazar

Abelson, Harold. Sussman, Gerald Jay. Sussman, Julie.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Particle accelerator design: computer programs

Yazar

Colonias, John S.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780121815509

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Computer programs for chemistry. Vol. 4

Yazar

De Tar, De Los Fletcher, 1920-

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780121515041

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Learning Basic Genetics with Interactive Computer Programs

Yazar

Tseng, Charles C. author. Yang, Xiaoli. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331943.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-6083-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP

Yazar

Förster, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-07597-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Web-based training : creating e-learning experiences / Jossey-Bass/Pfeiffer, res. +1 CD-ROM. Tactical and strategic advantages.- Best practices for WBT implementation.- Principles of adult education and instructional design.- Tools of the trade.- Analyzing needs and selecting delivery methods.- Selecting the most appropriate E-Learning method.- Designing asynchronous interactions.- Designing synchronous interactions.- Developing blueprints.- Implementing and evaluating WBT programs.- Looking ahead. İŞÇİLER--YETİŞTİRİLMESİ-- BİLGİSAYAR AĞI KAYNAKLARI. İŞÇİLER--YETİŞTİRİLMESİ-- BİLGİSAYAR DESTEKLİ ÖĞRETİM. WORLD WIDE WEB (WWW) Employees -- Training of -- Computer network resources. Employees -- Training of -- Computer-assisted instruction. World Wide Web.

Yazar

Driscoll, Margaret, 1959-

Yer Numarası

HF 5549.5.T7 D75 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

9.

Genetic programming : an introduction on the automatic evolution of computer programs and its applications

Yazar

Banzhaf, Wolfgang, 1955-

Yer Numarası

QA76.623 G46 1998

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

10.

Modeling groundwater flow and pollution : with computer programs for sample cases

Yazar

Bear, Jacob. Verruijt, A, ort. yaz

Yer Numarası

TC 176 B38 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

11.

AGRAM : a series of computer programs for processing digitized strong-motion accelerograms : version 2.0

Yazar

Converse, April.

Yer Numarası

QE 539 C769 1984

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

12.

Statistics for social scientist an introductory text with computer programs in BASIC

Yazar

Cohen, Louis. Halliday, M., ort. yaz.

Yer Numarası

HA 29 C66 1982

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

13.

FORTRAN computer programs for running median filters and a general despiker

Yazar

Evans, John R.

Yer Numarası

TP 156.F5 E15 1981

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

14.

EQPLT and ZEQPLT : interactive computer plotting programs for earthquake and geophysical data

Yazar

Klein, Fred W.

Yer Numarası

QE 551 K672 1980

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

15.

Solutions manual and computer programs for physical and computational aspects. of convective heat transfer

Yazar

Cebeci, Tuncer. Bradshaw, P., ort. yaz.

Yer Numarası

TJ 260 C35 1989

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

16.

SQUASH/MULTICS : A computer program to be used in conjunction with HYPOELLIPSE to generate an augmented phase data archive

Yazar

Lahr, John C.

Yer Numarası

QE 539.2.D36 L138 1980

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

17.

Discovering statistics using SPSS for Windows : advanced techniques for the beginner

Yazar

Field, Andy P.

Yer Numarası

HA 32 F54 2000

Format:

Durum

Beytepe Kütüphanesi~4

Rafta:
Kopya:

18.

Interpreting quantitative data with SPSS

Yazar

Antonius, Rachad.

Yer Numarası

HA 32 A68 2003

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

19.

Statistics for social research

Yazar

Argyrous, George, 1963-

Yer Numarası

HA 29 A69 1996

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

20.

Directory of library automation software, systems, and services.

Yazar

Cibbarelli, Pamela R., ed. Information Today, Inc.

Yer Numarası

Z678.9.A3 D6

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

21.

COMPUTER-AIDED STRUCTURAL ANALYSIS

Yazar

Chandrasekaran, Srinivasan.

Yer Numarası

TA647

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003639152
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Leveraging artificial intelligence in Cloud, Edge, Fog and mobile computing

Yazar

Kulkarni, Shrikaant, editor. William, P., editor. Prakash, Vijaya editor Dwivedi, Jaiprakash Narain editor

Yer Numarası

Q335

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781032703718
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Digital manufacturing : processes and applications

Yazar

Kunar, Sandip, editor. Jagadeesha T, editor. Mandal, Gurudas, editor.

Yer Numarası

TS155 .D54 2026

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394365371

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Using Amazon bedrock : learn to architect, secure and optimize generative AI applications on AWS

Yazar

Gondosubroto, Renaldi, author.

Yer Numarası

Q336 .G66 2026

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394406708

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Exploratory and robust data analysis : a modern applied statistics guide with SPSS and R

Yazar

Abdel-Salam, Abdel-Salam G., author. Birch, Jeffrey B., author.

Yer Numarası

QA276.4

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003565321
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Demystifying AI : data science and machine learning using IBM SPSS modeler

Yazar

Truong, Dothang, author.

Yer Numarası

QA76.9 .D343

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003468196
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Wireshark essentials : simplifying network security and troubleshooting

Yazar

Soni, Arun, author.

Yer Numarası

TK5105.55

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003539261
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Essential VectorWorks skills for scenic and production designers : drawing, rendering, modeling, drafting, and presenting

Yazar

Chen, Ming (Computer graphics designer), author.

Yer Numarası

PN2091 .S8

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003266242
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Python for Experimental Psychologists A Fun Way of Learning How to Code Your Experiments.

Yazar

Dalmaijer, Edwin S., 1990-

Yer Numarası

BF39.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003174332
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

An introduction to data analysis using IBM SPSS

Yazar

Jasrai, Lokesh, author.

Yer Numarası

HA32

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003541578
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Prompt engineering : empowering communication

Yazar

Devi, V. Ajantha, (Vairamani Ajantha), 1981- author. Nayyar, Anand, author.

Yer Numarası

QA76.76 .C52

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781032692319
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Excel® quick and easy

Yazar

Alexander, Michael, 1972- author. Kusleika, Dick, author.

Yer Numarası

HF5548.4 .M523

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394345298

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

UX for AI : a framework for designing AI-driven products

Yazar

Nudelman, Greg, author. Kempka, Daria, editor.

Yer Numarası

QA76.9 .H85 N83 2025

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352272

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Understanding Modelling and Programming

Yazar

Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71280-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

A Concise Introduction to Software Engineering With Open Source and GenAI

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74318-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings

Yazar

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-1621-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Proceedings of the 4th International Conference on Sustainable Development in Civil, Urban and Transportation Engineering CUTE 2024, 14-17 October, Wrocław, Poland

Yazar

Różański, Adrian. editor. (orcid)0000-0003-3150-6429 Bui, Quoc-Bao. editor. (orcid)0000-0002-9675-0038 Sadowski, Łukasz. editor. (orcid)0000-0001-9382-7709 Tran, Minh Tung. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-9400-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings

Yazar

Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-89277-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Yazar

Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. (orcid)0000-0001-6312-7728 Bakurov, Illya. editor. (orcid)0000-0002-6458-942X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-89991-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Compiler Construction Fundamentals and Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life

Yazar

Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-46510-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Communication networks in smart power grids

Yazar

Zhou, Boyang, author.

Yer Numarası

TK3105 .Z46 2025

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394285129

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Object-based Programming with Go

Yazar

Maurer, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-44704-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

SCIENTIFIC DATA ANALYSIS WITH R biostatistical applications.

Yazar

Rahman, Azizur (Associate Professor in Mathematics and Statistics), author. Abdulla, Faruq, author. Hossain, Md. Moyazzem, author.

Yer Numarası

QH323.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003426189
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Tableau at work

Yazar

Young, Cathy. author.

Yer Numarası

QA76.9 .I52

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003566458
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Random Number Generators on Computers

Yazar

Nakazawa, Naoya, author. Nakazawa, Hiroshi, author.

Yer Numarası

QA276.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003410607
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Microsoft 365 Copilot at work : using AI to get the most from your business data and favorite apps

Yazar

Van Laan, Sandar, author. Matfess, Jared, author. Flock, Thomas, author. Reid, Ann, author.

Yer Numarası

QA76.76 .C52 V36 2025

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Artificial Intelligence for Future Networks.

Yazar

Matin, Mohammad A. Goudos, Sotirios K. Karagiannidis, George K.

Yer Numarası

TK5103.25

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394227952

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Language Intelligence Expanding Frontiers in Natural Language Processing

Yazar

Kumar, Akshi.

Yer Numarası

QA76.9 .N38

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394297290

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Contemporary Debates in the Ethics of Artificial Intelligence.

Yazar

Nyholm, Sve. Nyholm, Sven/Kasirzadeh, Atoos. Zerilli, John.

Yer Numarası

XX(600404.1)

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394258840

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Numbers and Computers

Yazar

Kneusel, Ronald T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-67482-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares

Yazar

Takanami, Itsuo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1539-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Wavelets and Multi-Resolution Analysis A Signal Processing Approach

Yazar

Sinith, M S. author. A, Gayathri. author. K R, Chithra. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-92750-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Introduction to software for chemical engineers

Yazar

Martín Martín, Mariano, editor.

Yer Numarası

TP184

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003472360
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Signals and systems : theory and practical explorations with Python

Yazar

Yarman-Vural, Fatoş Tünay, author. Akbas, Emre, author.

Yer Numarası

TK5102.5 .Y37 2025

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394215782

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Introduction to engineering nonlinear and parametric vibrations with MATLAB and MAPLE

Yazar

Palazzolo, Alan B., author. Shin, Dongil, author. Falzarano, Jeffrey M., author.

Yer Numarası

TA355 .P234 2025

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119319573

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Financial data analytics with machine learning, optimization and statistics

Yazar

Chen, Yongzhao, author. Cheung, Ka Chun, author. Fan, Kaiser, author. Yam, Phillip (Sheung Chi Phillip), author.

Yer Numarası

HG104 .C44 2025

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863403

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Data mining with Python : theory, application, and case studies

Yazar

Wu, Di (Computer science teacher), author.

Yer Numarası

QA76.9 .D343

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003462781
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

The data preparation journey : finding your way with R

Yazar

Monkman, Martin Hugh, author.

Yer Numarası

QA76.9 .Q36

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003258254
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

INTELLIGENT AUTOMATION bridging the gap between business and academia.

Yazar

Myers, Marie, editor. Brace, Carol, editor. Carden, Lila, editor.

Yer Numarası

Q335

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003276128
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Data visualization and storytelling with tableau

Yazar

Mittal, Mamta, Ph. D., author. Raheja, Nidhi Grover, author.

Yer Numarası

QA76.9 .I52

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003429593
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Accounting for healthcare : the digital transition to value-based healthcare

Yazar

Vesty, Gillian, editor.

Yer Numarası

HF5686 .H7

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781032685489
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Build AI-enhanced audio plugins with C++

Yazar

Yee-King, Matthew John, author.

Yer Numarası

ML74.3

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003365495
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Big data computing : advances in technologies, methodologies, and applications

Yazar

Sardar, Tanvir Habib, editor. Pandey, Bishwajeet, editor.

Yer Numarası

QA76.9 .B45

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781032634050
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Accelerators for convolutional neural networks

Yazar

Munir, Arslan, author. Kong, Joonho, author. Qureshi, Mahmood Azhar, author.

Yer Numarası

QA76.87 .M86 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394171910

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Visualize this : the FlowingData guide to design, visualization, and statistics

Yazar

Yau, Nathan, author.

Yer Numarası

QA276.3 .Y18 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319817

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0

Yazar

Stapp, Lucjan. author. Roman, Adam. author. (orcid)0000-0002-1020-5128 Pilaeten, Michaël. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42767-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

CyberSecurity in a DevOps Environment From Requirements to Monitoring

Yazar

Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42212-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Cloud-Native Application Architecture Microservice Development Best Practice

Yazar

Team, FreeWheel Biz-UI. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-9782-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

FPGA EDA Design Principles and Implementation

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Digital Transformation in Higher Education Institutions

Yazar

de Bem Machado, Andreia. editor. (orcid)0000-0002-4404-0341 Sousa, Maria José. editor. (orcid)0000-0001-8633-4199 Dal Mas, Francesca. editor. Secinaro, Silvana. editor. (orcid)0000-0002-0811-6580 Calandra, Davide. editor. (orcid)0000-0001-5159-7167

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-52296-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Raspberry Pi OS Text Editors, git, and LXC : A Practical Approach.

Yazar

Koretsky, Robert, author.

Yer Numarası

QA76.73 .P98

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003455813
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Machine and deep learning using MATLAB : algorithms and tools for scientists and engineers

Yazar

Al-Malah, Kamal I. M., author.

Yer Numarası

TA345.5 .M42 A46 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209118

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Artificial intelligence in process fault diagnosis : methods for plant surveillance

Yazar

Fickelscherer, Richard J., author.

Yer Numarası

TP155.75

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119825920

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Product Lifecycle Management (Volume 5) What Happens Across the Product Lifecycle?

Yazar

Stark, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-46887-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Introduction to Compiler Design

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Development and Testing of Vehicle Software and its Influence on Sustainable Transport

Yazar

Colmenar-Santos, Antonio. editor. Borge-Diez, David. editor. Ortega-Cabezas, Pedro-Miguel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-47630-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

Yazar

Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42209-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Digital Signal Processing An Introduction

Yazar

Sundararajan, D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-56740-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Learn coding with Python and JavaScript A practical introduction for beginners

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

The language of deception : weaponizing next generation AI

Yazar

Hutchens, Justin, author.

Yer Numarası

QA76.9 .N38

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277148

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Getting great results with Excel pivot tables, PowerQuery, and PowerPivot

Yazar

Fragale, Thomas, author.

Yer Numarası

HF5548.4 .M523 F73 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319824

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

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

Yazar

Weirich, Stephanie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57262-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

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

Yazar

Weirich, Stephanie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57267-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

The French School of Programming

Yazar

Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34518-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Sports Technology Technologies, Fields of Application, Sports Equipment and Materials for Sport

Yazar

Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-68703-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

Yazar

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-55608-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Yazar

Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-67114-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Getting started in Zbrush : an introduction to digital sculpting and illustration

Yazar

Johnson, Greg, 1969- author.

Yer Numarası

T386 .Z33

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003215288
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Spreadsheet problem solving and programming for engineers and scientists

Yazar

Clough, David E., author. Chapra, Steven C., author.

Yer Numarası

TA331

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003361053
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Innovative Practices in Teaching Information Sciences and Technology Further Experience Reports and Reflections

Yazar

Carroll, John M. editor. (orcid)0000-0001-5189-337X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61290-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Proceedings of the 9th Brazilian Technology Symposium (BTSym'23) Emerging Trends and Challenges in Technology

Yazar

Iano, Yuzo. editor. Saotome, Osamu. editor. Kemper Vásquez, Guillermo Leopoldo. editor. (orcid)0000-0002-7800-7769 de Moraes Gomes Rosa, Maria Thereza. editor. Arthur, Rangel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66961-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Learning Java A Test-Driven Approach

Yazar

Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66638-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Bioinformatics An Introductory Textbook

Yazar

Dandekar, Thomas. author. Kunz, Meik. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-65036-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Parallel Programming for Multicore and Cluster Systems

Yazar

Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-28924-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Programs as Diagrams From Categorical Computability to Computable Categories

Yazar

Pavlovic, Dusko. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34827-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Yazar

Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-27481-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

Yazar

Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-27181-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings

Yazar

Malyshkin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-41673-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

BASIC COMPUTATIONAL TECHNIQUES FOR DATA ANALYSIS an exploration in ms excel.

Yazar

Narayana, D. Ranjan, Sharad, author. Tyagi, Nupur, author.

Yer Numarası

HF5548.4 .M523

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003398127
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Tidy finance with R

Yazar

Scheuch, Christoph, author. Voigt, Stefan (College teacher), author. Weiss, Patrick, author.

Yer Numarası

HG106

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003347538
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2

Yazar

Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-3091-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms

Yazar

Ball, Rafael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-38826-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Business financial planning with Microsoft Excel

Yazar

Powell, Gavin, author.

Yer Numarası

HG4012.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003175834
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Data storytelling and visualization with Tableau : a hands-on approach

Yazar

Joshi, Prachi, author. Mahalle, Parikshit N., author.

Yer Numarası

QA76.9 .I52

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003307747
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Secure data management for online learning applications

Yazar

Deborah, L. Jegatha, editor. Vijayakumar, P., editor. Gupta, Brij, 1982- editor. Pelusi, Danilo, editor.

Yer Numarası

LC5803 .C65

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003264538
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

COMBATTING CYBERBULLYING IN DIGITAL MEDIA WITH ARTIFICIAL INTELLIGENCE

Yazar

Lahby, Mohamed, editor. Pathan, Al-Sakib Khan, editor. Maleh, Yassine, 1987- editor.

Yer Numarası

HV6773.15 .C92

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003393061
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors.

Yazar

Babu, Hafiz Md. Hasan, 1966-

Yer Numarası

QH506

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003381921
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY arithmetic and combinational circuits.

Yazar

Babu, Hafiz Md. Hasan, 1966-

Yer Numarası

QH506

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003381938
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

ROC analysis for classification and prediction in practice

Yazar

Nakas, Christos T., author. Bantis, Leonidas E., author. Gatsonis, Constantine, author.

Yer Numarası

QA279.2

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429170140
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Digital image processing with C++ : implementing reference algorithms with the CImg library

Yazar

Tschumperle, David, author. Tilmant, Christophe, author. Barra, Vincent, author.

Yer Numarası

TA1637

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003323693
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Mobile and Ubiquitous Systems: Computing, Networking and Services 19th EAI International Conference, MobiQuitous 2022, Pittsburgh, PA, USA, November 14-17, 2022, Proceedings

Yazar

Longfei, Shangguan. editor. Bodhi, Priyantha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34776-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Flight simulation software : design, development and testing

Yazar

Allerton, David, author.

Yer Numarası

TL712.5 .A398 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119738251

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Statistics at square two : understanding modern statistical applications in medicine

Yazar

Campbell, Michael J., 1950- author. Jacques, Richard M., author.

Yer Numarası

RA409.5 .C36 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119401407

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

VISUALIZING SURVEYS IN R

Yazar

Valtonen, Teppo.

Yer Numarası

QA276.45 .R3

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003279815
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Data exfiltration threats and prevention techniques : machine learning and memory-based data security

Yazar

Tari, Zahir, 1961- author. Sohrabi, Nasrin, 1982- author. Samadi, Yasaman, 1993- author. Suaboot, Jakapan, 1984- author.

Yer Numarası

TK5105.59 .T365 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119898900

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Computational spectroscopy of polyatomic molecules

Yazar

Yurchenko, Sergey, author.

Yer Numarası

QC452

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429154348
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

BUSINESS STATISTICS USING EXCEL a complete course in data analytics.

Yazar

Panneerselvam, R.

Yer Numarası

HF5548.4 .M523

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781032671703
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Music technology essentials : a home studio guide

Yazar

Maz, Andrew, author.

Yer Numarası

ML3790

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003345138
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Developing graphics frameworks with Java and OpenGL

Yazar

Stemkoski, Lee, author. Cona, James, author.

Yer Numarası

T386 .O64 S739 2022

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003153375
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Unity in Embedded System Design and Robotics : A Step-by-Step Guide.

Yazar

Moshayedi, Ata Jahangir, author. Kolahdooz, Amin, author. Liao, Liefa, author.

Yer Numarası

QA76.76 .C672

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003268581
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Leveraging digital tools to assess student learning

Yazar

Budhai, Stephanie Smith, author.

Yer Numarası

LB3051

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429345517
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Get organized digitally! : the educator's guide to time management

Yazar

Buck, Frank, 1959- author.

Yer Numarası

LB2838.8

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003179719
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Spatial sampling with R

Yazar

Brus, Dick J., author.

Yer Numarası

QA276.45 .R3 B78 2022

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003258940
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Agent-based models and causal inference

Yazar

Manzo, Gianluca, author.

Yer Numarası

H62 .M23596 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119704492

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Sports analytics in practice with R

Yazar

Kwartler, Ted, 1978- author. Baker, Robert E., 1957- author.

Yer Numarası

GV706.8 .K83 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119598084

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Data analytics and visualization in quality analysis using Tableau

Yazar

Hwang, Jaejin, author. Yoon, Youngjin, author.

Yer Numarası

QA76.9 .I52 .H93 2022

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003157694
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

STEM PROBLEMS WITH MATHCAD AND PYTHON

Yazar

Ochkov, V. F. (Valeriĭ Fedorovich), author. Stevens, Alan (Mathematician), author. Tikhonov, Anton (Information technology), author.

Yer Numarası

QA303.2

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003228356
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Quantum ESPRESSO Course for Solid-State Physics

Yazar

Nguyen, Tuan Hung. Nugraha, Ahmad R. T. Saitō, Riichirō.

Yer Numarası

QC176

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003290964
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

The statistical analysis of doubly truncated data : with applications in R

Yazar

Uña-Álvarez, Jacobo de, 1972- author. Moreira, Carla, 1972- author. Crujeiras, Rosa M. (Rosa María), 1978- author.

Yer Numarası

QH323.5 .U53 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119500469

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Multiscale modelling and optimization of materials and structures

Yazar

Burczyński, Tadeusz, author.

Yer Numarası

QA76.9 .C65 B86 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781118536445

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Artificial intelligence and Islamic finance : practical applications for financial risk management

Yazar

Sarea, Adel, 1979- editor. Elsayed, Ahmed, editor. Bin-Nashwan, Saeed, editor.

Yer Numarası

HG104 .A78 2022 EB

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003171638
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Designing software synthesizer plug-ins in C++

Yazar

Pirkle, William C., author.

Yer Numarası

MT723

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003052203
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

"Intuitive understanding of Kalman filtering with MATLAB"

Yazar

Barreto, Armando, 1963- author. Adjouadi, Malek, 1955- author. Ortega, Francisco R., author. O-larnnithipong, Nonnarit, author.

Yer Numarası

QA402.3

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429200656
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

A step-by-step guide to exploratory factor analysis with SPSS

Yazar

Watkins, Marley W., 1949- author.

Yer Numarası

QA278.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003149347
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Optimization with LINGO-18 : problems and applications

Yazar

Gupta, Neha, 1986- author. Ali, Irfan, author.

Yer Numarası

QA402.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003048893
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Fundamentals of image, audio, and video processing using MATLAB

Yazar

Parekh, Ranjan, author.

Yer Numarası

TK6680.8 .M38

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003019718
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Programming media art using processing : a beginner's guide

Yazar

Noble, Margaret (Performance artist), author.

Yer Numarası

QA76.73 .P75

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003051985
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

A step-by-step guide to exploratory factor analysis with R and Rstudio

Yazar

Watkins, Marley W., 1949- author.

Yer Numarası

QA278.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003120001
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Using R for Bayesian spatial and spatio-temporal health modeling

Yazar

Lawson, Andrew (Andrew B.), author.

Yer Numarası

RA409.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003043997
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Digital transformation in accounting

Yazar

Busulwa, Richard, 1980- author. Evans, Nina, author.

Yer Numarası

HF5679 .B838 2021

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429344589
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Linear Regression Models : Applications in R.

Yazar

Hoffmann, John P.

Yer Numarası

QA278.2

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003162230
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Advances in electric power and energy : static state estimation

Yazar

El-Hawary, M. E., editor. John Wiley & Sons, Ltd., publisher.

Yer Numarası

TK1005 .A35 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119480402

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Data visualization with Excel dashboards and reports

Yazar

Kusleika, Dick, author.

Yer Numarası

HF5548.4 .M523 D383 2021 EB

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119698814

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Digital system design using FSMs : a practical learning approach

Yazar

Minns, Peter D., author.

Yer Numarası

QA267.5 .S4 M56 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Electromagnetic pulse simulations using finite-difference time-domain method

Yazar

Ahmed, S. (Shahid), 1950- author.

Yer Numarası

TK7872 .M25

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119526247

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Sensor data analysis and management : the role of deep learning

Yazar

Suresh, Annamalai, 1977- editor. Udendran, R., 1992- editor. Ahmed, M. S. Irfan, editor.

Yer Numarası

TK7872 .D48 S46 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119682806

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Microprocessor. 3, Core concepts -- Hardware aspects

Yazar

Darche, Philippe.

Yer Numarası

QA76.5

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119788010

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Intellectual Property Protection for AI-generated Creations Europe, United States, Australia and Japan.

Yazar

Ramalho, Ana, 1976- author.

Yer Numarası

K1443 .C6

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780367823290
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Understanding CATIA : a tutorial approach

Yazar

Kumar, K. (Kaushik), 1968- editor. Ranjan, Chikesh, editor. Davim, J. Paulo, editor.

Yer Numarası

TA345.5 .C38

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003121657
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

3ds Max Basics for Modeling Video Game Assets. Volume 2, Model, Rig and Animate Characters for Export to Unity or Other Game Engines

Yazar

Culbertson, William, author.

Yer Numarası

TR897.72 .A14 C85 2021

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003147961
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Multi-parametric optimization and control

Yazar

Pistikopoulos, Efstratios N., author. Diangelakis, Nikolaos A., author. Oberdieck, Richard, author.

Yer Numarası

QA402.5 .P57 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119265245

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Numerical recipes in quantum information theory and quantum computing : an adventure in FORTRAN 90

Yazar

Ramkarthik, M. S., author. Solanki, Payal D., author.

Yer Numarası

QA76.73 .F25

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003164678
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Parametric design for landscape architects : computational techniques and workflows

Yazar

Madl, Andrew, author.

Yer Numarası

SB475.9 .D37

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429202957
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Website design and development with HTML5 and CSS3

Yazar

Rebah, Hassen Ben, author. Boukthir, Hafedh, author. Chédebois, Antoine, author.

Yer Numarası

TK5105.888 .R433 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885122

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

OPERATIONS RESEARCH USING EXCEL a case study approach.

Yazar

Singla, Vikas.

Yer Numarası

HF5548.4 .M525

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003212966
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Automated data analysis using Excel

Yazar

Bissett, Brian, author.

Yer Numarası

QA76.76 .D47

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003051886
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

R for Political Data Science : A Practical Guide

Yazar

Urdinez, Francisco, author. Cruz, Andres, author.

Yer Numarası

JA71.7

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003010623
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

AutoCAD for theatrical drafting : a resource for designers and technical directors

Yazar

Keisling, John, author.

Yer Numarası

PN2091 .S8

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781351264365
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Cloud VR Technology and Application.

Yazar

Huang, Yin. Lai, Jianfei. Xiong, Huaping. Li, Dawei. Huang, Kun.

Yer Numarası

QA76.9 .C65

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003090434
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Building virtual reality with Unity and SteamVR,

Yazar

Murray, Jeff W., author.

Yer Numarası

QA76.76 .C672 M87 2020

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429295850
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Robust and Error-Free Geometric Computing.

Yazar

Eberly, Dave.

Yer Numarası

T57.825 .E24 2020

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429330506
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Introduction to IoT with machine learning and image processing using Raspberry Pi

Yazar

Kulkarni, Shrirang Ambaji, author. Gurupur, Varadraj P., author. Fernandes, Steven L., author.

Yer Numarası

TK5105.8857

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781351006668
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

ESSENTIALS OF PRICING ANALYTICS tools and implementation with excel.

Yazar

Haugom, Erik, 1982- author.

Yer Numarası

HF5416.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429345319
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

IBM SPSS essentials : managing and analyzing social sciences data

Yazar

Kulas, John T., author.

Yer Numarası

HA32 .K85 2020

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119417453

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Advanced problem solving using Maple : applied mathematics, operations research, business analytics, and decision analysis

Yazar

Fox, William P., 1949- author. Bauldry, William C., author.

Yer Numarası

QA63

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429469626
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

ODE/PDE analysis of multiple myeloma : programming in R

Yazar

Schiesser, W. E., author.

Yer Numarası

RC280 .B6 S34 2020

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780367473549
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Microprocessor. 2, Core concepts -- Communication in a digital system

Yazar

Darche, Philippe.

Yer Numarası

QA76.5

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119788355

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Professional WordPress plugin development

Yazar

Williams, Brad (Web developer) Tadlock, Justin. James Jacoby, John.

Yer Numarası

TK5105.8885 .W66

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119666981

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

The model legume Medicago truncatula I

Yazar

Bruijn, F. J. de (Frans J. de), editor.

Yer Numarası

QH447 .M5945 2020

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119409144

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

QUANTITATIVE ANALYSIS OF QUESTIONNAIRES techniques to explore structures and relationships.

Yazar

Humble, Steve.

Yer Numarası

HM537

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429400469
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Social Manufacturing: Fundamentals and Applications

Yazar

Jiang, Pingyu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72986-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Python by example : learning to program in 150 challenges

Yazar

Lacey, Nichola, author.

Yer Numarası

QA76.73 .P98 L33 2019

Elektronik Erişim

https://doi.org/10.1017/9781108591942

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Code generation, analysis tools, and testing for quality

Yazar

Queiros, Ricardo Alexandre Peixoto de, 1975- editor. Simoes, Alberto, 1978- editor. Pinto, Mario Teixeira, 1967- editor. IGI Global, publisher.

Yer Numarası

ONLINE

Elektronik Erişim

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7455-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Computational models for biomedical reasoning and problem solving

Yazar

Chen, Chung-Hao, 1974- editor. Cheung, Sen-Ching Samson, 1969- editor. IGI Global, publisher.

Yer Numarası

ONLINE

Elektronik Erişim

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7467-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

From Security to Community Detection in Social Networking Platforms

Yazar

Karampelas, Panagiotis. editor. Kawash, Jalal. editor. Özyer, Tansel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-11286-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Guide to Mobile Data Analytics in Refugee Scenarios The 'Data for Refugees Challenge' Study

Yazar

Salah, Albert Ali. editor. Pentland, Alex. editor. Lepri, Bruno. editor. Letouzé, Emmanuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12554-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Deviance in Social Media and Social Cyber Forensics Uncovering Hidden Relations Using Open Source Information (OSINF)

Yazar

Al-khateeb, Samer. author. Agarwal, Nitin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-13690-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Improving product reliability and software quality : strategies, tools, process and implementation

Yazar

Levin, Mark, 1959- author. Kalal, Ted T., author. Rodin, Jonathan, 1957- author.

Yer Numarası

TS173 .L48 2019

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119179429

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Using Excel for business and financial modelling : a practical guide

Yazar

Fairhurst, Danielle Stein, author.

Yer Numarası

HF5548.4 .M523 F35 2019

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119520344

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Visual analytics with Tableau

Yazar

Loth, Alexander, author. Vogel, Nate, writer of foreword. Sparkes, Sophie, writer of foreword.

Yer Numarası

QA76.9 .I52 L585 2019 EB

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119561996

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Mastering VBA for Microsoft Office 365

Yazar

Mansfield, Richard.

Yer Numarası

QA76.73 .M53 M36 2019

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119579366

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

Yazar

Gonzalez-Perez, Cesar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72652-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Highlighting the Importance of Big Data Management and Analysis for Various Applications

Yazar

Moshirpour, Mohammad. editor. Far, Behrouz. editor. Alhajj, Reda. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60255-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Computational Studies on Cultural Variation and Heredity

Yazar

Lee, Ji-Hyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-8189-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Culture on the Edge of Chaos Cultural Algorithms and the Foundations of Social Intelligence

Yazar

Reynolds, Robert G. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-74171-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Digital forensics

Yazar

Årnes, André, 1976- editor.

Yer Numarası

HV8079 .C65

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119262442

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

The Bluebeam guidebook : game-changing tips and stories for architects, engineers, and contractors

Yazar

Attebery, Rachel, 1990- author. Hascall, Jason A., author.

Yer Numarası

TH438.13 .A88 2018

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119393979

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Electron Beam-Specimen Interactions and Simulation Methods in Microscopy

Yazar

Mendis, Budhika G., author.

Yer Numarası

QC793.5 .E622

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781118696545

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Cybersecurity program development for business : the essential planning guide

Yazar

Moschovitis, Christos J. P., author.

Yer Numarası

HD30.2

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119430018

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Excel 2019 Bible

Yazar

Alexander, Michael, 1972- author. Kusleika, Dick, author. Walkenbach, John.

Yer Numarası

HF5548.4 .M523

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549376

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Solving partial differential equation applications with PDE2D

Yazar

Sewell, Granville, author.

Yer Numarası

QA377 .S4643 2018

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507918

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Functional software size measurement methodology with effort estimation and performance indication

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Evolutionary algorithms

Yazar

Pétrowski, Alain, author. Ben-Hamida, Sana, author.

Yer Numarası

QA402.5

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119136378

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

SPSS statistics for data analysis and visualization

Yazar

McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.

Yer Numarası

HA32

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183426

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

SPSS statistics for data analysis and visualization

Yazar

McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.

Yer Numarası

ONLINE

Elektronik Erişim

Wiley Online Library

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Oracle internals : tips, tricks, and techniques for DBAs

Yazar

Burleson, Donald K., editor.

Yer Numarası

QA76.9 .D3

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429225192
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Handbook of typography for the mathematical sciences

Yazar

KRANTZ, STEVEN G.

Yer Numarası

Z253.4 .T47

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429123658
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Swift in the cloud

Yazar

Williamson, Leigh, author.

Yer Numarası

QA76.73 .S95

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

A data scientist's guide to acquiring, cleaning and managing data in R

Yazar

Buttrey, Samuel, author. Whitaker, Lyn R., author.

Yer Numarası

QA76.9 .D26

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119080053

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Programming ArcGIS Pro with Python

Yazar

Pimpler, Eric.

Yer Numarası

G70.212 P567 2017

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

221.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Introduction to Compiler Design

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Numbers and Computers

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Exploring Robotics with ROBOTIS Systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Machine Learning with R

Yazar

Ghatak, Abhijit. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6808-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Computer Graphics for Java Programmers

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

Bioinformatics for Evolutionary Biologists A Problems Approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Health Informatics Data Analysis Methods and Examples

Yazar

Xu, Dong. editor. Wang, May D. editor. Zhou, Fengfeng. editor. (orcid)0000-0002-8108-6007 Cai, Yunpeng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-44981-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Software Engineering: Specification, Implementation, Verification

Yazar

Alagić, Suad. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61518-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Windows 10 Anniversary update bible

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Earthquake occurrence : short- and long-term models and their validation

Yazar

Console, Rodolfo, 1944- author. Murru, Maura, author. Falcone, Giuseppe (Geophysicist), author.

Yer Numarası

QE534.3

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119372301

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Present and Ulterior Software Engineering

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

String Analysis for Software Verification and Security

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

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

Yazar

Yang, Hongseok. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54434-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Fluid Dynamics Theory, Computation, and Numerical Simulation

Yazar

Pozrikidis, C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4899-7991-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Programming with Scala Language Exploration

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Very Soft Organic Clay Applied for Road Embankment : Modelling and Optimisation Approach, UNESCO-IHE PhD, Delft, the Netherlands.

Yazar

Limsiri, C., author. CRC Press LLC.

Yer Numarası

TE210.8

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429094125
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

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

Yazar

Draheim, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55198-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Generalized Lorenz-Mie Theories

Yazar

Gouesbet, Gérard. author. Gréhan, Gérard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46873-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Low Level X Window Programming An Introduction by Examples

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Separation Logic for High-level Synthesis

Yazar

Winterstein, Felix. author. SpringerLink (Online service)