Search Results for Programming Techniques.

1.

Recursive programming techniques

Yazar

Burge, William H.

Yer Numarası

QA 76.6 B8 1975

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

Programming and scheduling techniques

Yazar

Uher, Thomas E. Zantis, Adam S.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

LabView advanced programming techniques

Yazar

Bitter, Rick., author. Mohiuddin, Taqi. Nawrocki, Matt.

Yer Numarası

QA76.6 .B5735 2007

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

LabVIEW advanced programming techniques

Yazar

Bitter, Rick., author. Mohiuddin, Taqi. Nawrocki, Matt.

Yer Numarası

QA76.6 .B5735 2001

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Recursive techniques in programming

Yazar

Barron, David William.

Yer Numarası

QA 96.5 B2964 1968

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

Programming : an introduction to computer techniques

Yazar

Maurer, Ward Douglas, 1938-

Yer Numarası

QA76.6 M39 1972

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

7.

Linear programming and related techniques

Yazar

Van de Panne, C.

Yer Numarası

T 57.74 V34 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

Java programming : complete concepts and techniques

Yer Numarası

QA76.73.J38 J383 2006

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

9.

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : second international conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005 : proceedings

Yazar

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (2nd : 2005 : Prague, Czech Republic) Bartak, Roman, ed. Milano, Michela, ed.

Yer Numarası

Q 340 .I575 2005

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

10.

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings

Yazar

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (1st : 2004 : Nice, France) Regin, Jean-Charles, ed. Rueher, Michel, ed.

Yer Numarası

Q 340 .I575 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

11.

Concepts, techniques, and models of computer programming

Yazar

Van-Roy, Peter. Haridi, Seif.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Programming and computer techniques in experimental physics

Yazar

Skobel'tsyn, D. V., ed.

Yer Numarası

QA 76 P9433 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

13.

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

Yazar

Salvagnin, Domenico. editor. Lombardi, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59776-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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

Yazar

Quimper, Claude-Guy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

Yazar

Michel, Laurent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-18008-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Arduino sketches : tools and techniques for programming wizardry

Yazar

Langbridge, James A., author.

Yer Numarası

ONLINE

Elektronik Erişim

Wiley Online Library

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

Yazar

Simonis, Helmut. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Embedded C programming : techniques and applications of C and PIC MCUS

Yazar

Siegesmund, Mark, author.

Yer Numarası

ONLINE(355476.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

Yazar

Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330912.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4126-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

Yazar

Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331186.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5292-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Yazar

Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334549.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38171-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings

Yazar

Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29828-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Yazar

Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-21311-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Expert Oracle Database Architecture Oracle Database 9i, 10g, and 11g Programming Techniques and Solutions

Yazar

Kyte, Thomas. author. Gennick, Jonathan. editor. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-2947-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings

Yazar

Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13520-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings

Yazar

Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-01929-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

Yazar

Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68155-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings

Yazar

Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72397-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Mathematical and Computer Programming Techniques for Computer Graphics

Yazar

Comninos, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84628-292-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

Yazar

Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11757375

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Decomposition Techniques in Mathematical Programming Engineering and Science Applications

Yazar

Conejo, Antonio J. author. Castillo, Enrique. author. Mínguez, Roberto. author. García-Bertrand, Raquel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-27686-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutions

Yazar

Kyte, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0067-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

Yazar

Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136920

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

GPU gems : programming techniques, tips, and tricks for real-time graphics

Yazar

Fernando, Randima.,ed. NVIDIA Corporation.

Yer Numarası

T 385 G68 2004

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

35.

Introduction to simulation : programming techniques and methods of analysis

Yazar

Payne, James Andrew.

Yer Numarası

QA 76.9.C65 P39 1982

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

36.

Introduction to optimization techniques : fundamentals and applications of nonlinear programming

Yazar

Aoki, Masanao.

Yer Numarası

T 57.8 A55 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

37.

Programming for optimal decisions : selected readings in mathematical programming techniques for management problems

Yazar

Moore, Peter Gerald, 1928- ed. Hodges, Stewart Dimont, ed.

Yer Numarası

HF 5695 P943 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

38.

Resource management on distributed systems : principles and techniques

Yazar

Majumdar, Shikharesh, 1951-

Yer Numarası

QA76.9 .D5 M35 2025

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Yazar

Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Yazar

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Yazar

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-68538-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Yazar

Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

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:

44.

Communication systems engineering with GNU Radio : a hands-on approach

Yazar

Friedt, Jean-Michel, author. Boeglen, Hervé, author.

Yer Numarası

TK5103.4875 .F75 2025

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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:

46.

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:

47.

Object-Oriented Analysis, Design and Implementation An Integrated Approach

Yazar

Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 1

Yazar

Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

The Python Workbook A Brief Introduction with Exercises and Solutions

Yazar

Stephenson, Ben. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2

Yazar

Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-00267-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Python for Agriculturists

Yazar

Iqbal, Muhammad Azhar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-01442-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Ni‐Co 2025, 6th International Symposium on Nickel and Cobalt Proceedings of the Extraction 2025 Meeting & Exhibition, Volume II.

Yazar

SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-00167-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Yazar

Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4207-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers

Yazar

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4656-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

Yazar

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Recent Trends and Applications of Soft Computing in Engineering (RTASCE)- Sarajevo

Yazar

Duraković, Benjamin. editor. (orcid)0000-0002-3099-0354 Almisreb, Ali Abd. editor. Šutković, Jasmin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Optimization: An Introduction

Yazar

Pekař, Libor. author. (orcid)0000-0002-2401-5886 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Optimizing Solutions for Real-Life Problems

Yazar

Dey, Nilanjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-3216-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python

Yazar

Sundararajan, Srikrishnan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-0353-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Yazar

Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

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

Yazar

Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings

Yazar

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Rospocher, Marco. editor. (orcid)0000-0001-9391-3201 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Hollink, Laura. editor. (orcid)0000-0002-6865-0021 Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

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:

65.

Managing Software Supply Chains Theory and Practice

Yazar

Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1797-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Yazar

Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design

Yazar

Ren, Jianfeng. author. Li, Andric. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-3201-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Recent Advances in Time-Series Classification-Methodology and Applications

Yazar

Gellér, Zoltán. author. (orcid)0000-0003-1853-4740 Kurbalija, Vladimir. author. (orcid)0000-0002-9599-4495 Radovanović, Miloš. author. (orcid)0000-0003-2225-7803 Ivanović, Mirjana. author. (orcid)0000-0003-1946-0384 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Yazar

Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

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:

71.

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:

72.

R programming for mass spectrometry : effective and reproducible data analysis

Yazar

Julian, Randall K., author.

Yer Numarası

QD96 .M3 J85 2025

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

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:

74.

Urban Railway Alignment Optimization: Theory and Practice

Yazar

Gao, Yan. author. (orcid)0000-0003-0192-8786 He, Qing. author. (orcid)0000-0003-2596-4984 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-95-0776-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

12th International Copper Conference Proceedings of the Extraction 2025 Meeting & Exhibition, Volume I.

Yazar

SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-00102-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Professional JavaScript for web developers

Yazar

Frisbie, Matt, author.

Yer Numarası

TK5105.8885 .J38 Z34 2024

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Model-based optimization for petroleum refinery configuration design

Yazar

Khor, Cheng Seong, author

Yer Numarası

TH4571 .K46 2024

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Artificial intelligence for autonomous vehicles

Yazar

Rajendran, Sathiyaraj, editor.

Yer Numarası

TL152.8 .A78 2024

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Yazar

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-54975-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

Yazar

Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-1176-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

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:

82.

Digital image denoising in MATLAB

Yazar

Kok, Chi-Wah, author. Tam, Wing-Shan, author.

Yer Numarası

TA345.5 .M42 K65 2024

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Genomics at the nexus of AI, computer vision, and machine learning

Yazar

Choudhary, Shilpa, editor.

Yer Numarası

QH447 .G46 2024

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Yazar

Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

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:

86.

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:

87.

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Yazar

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Yazar

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Agile-SOFL Agile Formal Engineering Method

Yazar

Liu, Shaoying. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

The Modern Business Data Analyst A Case Study Introduction into Business Data Analytics with CRISP-DM and R

Yazar

Jung, Dominik. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

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:

92.

Python for Natural Language Processing Programming with NumPy, scikit-learn, Keras, and PyTorch

Yazar

Nugues, Pierre M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57549-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Yazar

Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Yazar

Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66459-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

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:

96.

Exception Handling Fundamentals and Programming

Yazar

Mejia Alvarez, Pedro. author. Gonzalez Torres, Raul E. author. Ortega Cisneros, Susana. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Programming Heterogeneous Hardware via Managed Runtime Systems

Yazar

Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-49559-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

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:

99.

Optimization of Chemical Processes A Sustainable Perspective

Yazar

Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Yazar

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Yazar

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Learning Analytics Methods and Tutorials A Practical Guide Using R

Yazar

Saqr, Mohammed. editor. (orcid)0000-0001-5881-3109 López-Pernas, Sonsoles. editor. (orcid)0000-0002-9621-1392 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

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:

104.

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Yazar

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 1

Yazar

Farhaoui, Yousef. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

Yazar

Laaksonen, Antti. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Programming with Python for Engineers

Yazar

Kalkan, Sinan. author. (orcid)0000-0003-0915-5917 Şehitoğlu, Onur T. author. (orcid)0000-0001-5146-5017 Üçoluk, Göktürk. author. (orcid)0000-0002-1479-6113 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

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:

109.

Deep Generative Modeling

Yazar

Tomczak, Jakub M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps

Yazar

Wong, Hiu Yung. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Indexing on Non-Volatile Memory Techniques, Lessons Learned and Outlook

Yazar

Huang, Kaisong. author. (orcid)0000-0001-7919-5426 Wang, Tianzheng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Optimization and Games for Controllable Markov Chains Numerical Methods with Application to Finance and Engineering

Yazar

Clempner, Julio B. author. (orcid)0000-0002-5918-4671 Poznyak, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Machine Learning Crash Course for Engineers

Yazar

Hossain, Eklas. author. (orcid)0000-0003-2332-8095 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Modeling Programming Competency A Qualitative Analysis

Yazar

Kiesler, Natalie. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

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:

116.

Active Object Languages: Current Research Trends

Yazar

de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

Yazar

Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Genetic Programming Theory and Practice XX

Yazar

Winkler, Stephan. editor. (orcid)0000-0002-5196-4294 Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736 Ofria, Charles. editor. Hu, Ting. editor. (orcid)0000-0001-6382-0602 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8413-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers

Yazar

Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-51075-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 2

Yazar

Farhaoui, Yousef. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-65018-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Mindfulness in Medicine A Comprehensive Guide for Healthcare Professionals

Yazar

Chand, Rajat. author. Sazima, Greg. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

R for Basic Biostatistics in Medical Research

Yazar

Srinivasan, Anand. editor. Mishra, Archana. editor. (orcid)0000-0001-8837-299X Kumar-M, Praveen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

How machine learning is innovating today's world : a concise technical guide

Yazar

Dey, Arindam, editor.

Yer Numarası

Q325.5

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Yazar

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

Yazar

Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Prolog: The Next 50 Years

Yazar

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Recent Advances in Materials Processing and Characterization Select Proceedings of ICMPC 2021

Yazar

Arockiarajan, A. editor. Duraiselvam, M. editor. Raju, Ramesh. editor. Reddy, N. Subba. editor. Satyanarayana, K. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-5347-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

AI, IoT, Big Data and Cloud Computing for Industry 4.0

Yazar

Neustein, Amy. editor. Mahalle, Parikshit N. editor. Joshi, Prachi. editor. Shinde, Gitanjali Rahul. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Yazar

Nazareth, John Lawrence. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Data Science Concepts and Techniques with Applications

Yazar

Qamar, Usman. author. Raza, Muhammad Summair. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings

Yazar

Brooks, Anthony L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Advances in Computing 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17-21, 2022, Revised Selected Papers

Yazar

Agredo-Delgado, Vanessa. editor. Ruiz, Pablo H. editor. (orcid) Ruiz Gaona, Alexandra. editor. Villegas Ramírez, María Lili. editor. Giraldo Orozco, William Joseph. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

Yazar

Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

Yazar

Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Neuraxial Therapeutics A Comprehensive Guide

Yazar

Yaksh, Tony. editor. Hayek, Salim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Deep learning : from big data to artificial intelligence with R

Yazar

Tuffery, Stéphane, author.

Yer Numarası

Q325.73 .T84 2023

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Agile Software Development : trends, challenges and applications

Yazar

Hooda, Susheela, editor. Sood, Vandana Mohindru, editor. Singh, Yashwant, editor. Dalal, Sandeep, editor. Sood, Manu, editor.

Yer Numarası

QA76.76 .D47 A55 2023

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Optimization techniques in engineering : advances and applications

Yazar

Khosla, Anita.

Yer Numarası

TA342 .O68 2023

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Enabling tools and techniques for organic synthesis : a practical guide to experimentation, automation, and computation

Yazar

Newman, Stephen G., 1985- editor.

Yer Numarası

QD262 .E53 2023

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Satellites for atmospheric sciences. 2, Meteorology, climate and atmospheric composition

Yazar

Phulpin, Thierry, editor. Renaut, Didier, editor. Roquet, Herve, editor. Camy-Peyret, C., editor.

Yer Numarası

QC879.5

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings

Yazar

Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Optimization Methods for Product and System Design

Yazar

Kulkarni, Anand J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-1521-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

Yazar

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Yazar

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Yazar

García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II

Yazar

Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Yazar

Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Beginning database design solutions : understanding and implementing database design concepts for the cloud and beyond

Yazar

Stephens, Rod, 1961- author.

Yer Numarası

QA76.9 .D26

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Intelligent connectivity : AI, IoT, and 5G

Yazar

Yarali, Abdulrahman, author.

Yer Numarası

TK5105.8857

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Fundamentals and methods of machine and deep learning : algorithms, tools and applications

Yazar

Singh, Pradeep, editor.

Yer Numarası

Q325.5

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Handbook of intelligent computing and optimization for sustainable development

Yazar

Manshahia, Mukhdeep Singh, editor.

Yer Numarası

Q335

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

A textbook of data structures and algorithms. 1 : mastering linear data structures

Yazar

Pai, G. A. Vijayalakshmi, author.

Yer Numarası

QA76.9 .D35

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Artificial Intelligence in Industry 4.0 and 5G Technology

Yazar

Vasant, Pandian, editor. Munapo, Elias, editor. Thomas, J. Joshua, 1973- editor. Weber, Gerhard-Wilhelm, editor.

Yer Numarası

TA347 .A78 A78 2022

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Introduction to fuzzy logic

Yazar

Peckol, James K., author. John Wiley & Sons, publisher.

Yer Numarası

QA9.64 .P43 2021

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Multi-processor system-on-chip. 2, Applications

Yazar

Andrade, Liliana, editor. Rousseau, Frédéric, 1967- editor.

Yer Numarası

TK7895 .E42

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Oracle database programming with Visual Basic .NET : Concepts, Designs, and Implementations

Yazar

Bai, Ying, 1956-

Yer Numarası

QA76.9 .D3 B35 2021

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Embedded digital control with microcontrollers : implementation with C and Python

Yazar

Ünsalan, Cem. Barkana, Duygun E. Gurhan, H. Deniz.

Yer Numarası

TJ223 .P76

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Real-time electromagnetic transient simulation of AC-DC networks

Yazar

Dinavahi, Venkata. Lin, Ning.

Yer Numarası

TK3226

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Introduction to programming with C++ for engineers

Yazar

Cyganek, Bogusław, author.

Yer Numarası

QA76.73 .C153 C94 2021

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Exploring Arduino® : tools and techniques for engineering wizardry

Yazar

Blum, Jeremy, author.

Yer Numarası

TJ223 .P76

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Design and optimization for 5G wireless communications

Yazar

Kim, Haesik, author.

Yer Numarası

TK5103.25 .K56 2020

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Practical machine learning in R

Yazar

Nwanganga, Frederick Chukwuka. Chapple, Mike, 1975-

Yer Numarası

Q325.5

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

SQL server database programming with visual basic.net : concepts, designs and implementations

Yazar

Bai, Ying, 1956- author.

Yer Numarası

QA76.9 .C55 S65 2020

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Preparing construction claims

Yazar

Hall, Stephen C., author.

Yer Numarası

K891 .B8

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Hunting cyber criminals : a hacker's guide to online intelligence gathering tools and techniques

Yazar

Troia, Vinny, author.

Yer Numarası

HV8079 .C65 T76 2020

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Access 2019 Bible

Yazar

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

Yer Numarası

QA76.9 .D3 A493 2019

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Data science using Python and R

Yazar

Larose, Chantal D., author. Larose, Daniel T., author.

Yer Numarası

QA76.9 .D343 L376 2019

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Excel® 2019 power programming with VBA

Yazar

Alexander, Michael, author. Kusleika, Dick, author.

Yer Numarası

HF5548.4 .M523

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Optimization techniques and applications with examples

Yazar

Yang, Xin-She, author.

Yer Numarası

QA402.5

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Modelling optimization and control of biomedical systems

Yazar

Pistikopoulos, Efstratios N., editor. Naşcu, Ioana, editor. Velliou, Eirini G., editor.

Yer Numarası

T57.7 .M625 2018

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

How-to manual for pacemaker and ICD devices : procedures and programming

Yazar

Al-Ahmad, Amin, editor. Natale, Andrea, editor. Wang, Paul J., editor. Daubert, James P., editor. Padeletti, Luigi, editor.

Yer Numarası

RC684 .P3 H69 2018

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Professional C++

Yazar

Gregoire, Marc (Software engineer), author.

Yer Numarası

QA76.73 .C153 G733 2018

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Introduction to mathematical methods for environmental engineers and scientists

Yazar

Prochaska, Charles, author. Theodore, Louis, author.

Yer Numarası

TA170 .P765 2018

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Beginning C# 7 Programming with Visual Studio 2017

Yazar

Perkins, Benjamin, author. Hammer, Jacob Vibe, author. Reid, Jon D., author.

Yer Numarası

QA76.73 .C154

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Programming interviews exposed : coding your way through the interview

Yazar

Mongan, John, 1976- author. Kindler, Noah, author. Giguère, Eric, 1967- author.

Yer Numarası

HF5549.5 .I6 M664 2018

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Mechatronic system control, logic, and data acquisition

Yazar

Bishop, Robert H., 1957- editor. Taylor and Francis.

Yer Numarası

TJ223 .P76 M43 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Introduction to high performance computing for scientists and engineers

Yazar

Hager, Georg. Wellein, Gerhard. CRC Press LLC.

Yer Numarası

QA76.88

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429190612
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.

A Guide to MATLAB Object-Oriented Programming.

Yazar

Register, Andy H., author. CRC Press LLC.

Yer Numarası

QA76.64 .R454 2017

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429138713
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.

Robust adaptive dynamic programming

Yazar

Jiang, Yu (Software engineer), author. Jiang, Z.-P. (Zhong-Ping), author.

Yer Numarası

TJ217

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

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:

181.

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

Yazar

Tolk, Andreas, editor. Ören, Tuncer I., editor.

Yer Numarası

QA10.5

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

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:

183.

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:

184.

Soft Methods for Data Science

Yazar

Ferraro, Maria Brigida. editor. Giordani, Paolo. editor. Vantaggi, Barbara. editor. Gagolewski, Marek. editor. Ángeles Gil, María. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

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

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67035-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

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:

187.

Python for Graph and Network Analysis

Yazar

Al-Taie, Mohammed Zuhair. author. Kadry, Seifedine. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-53004-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

Yazar

Laaksonen, Antti. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72547-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

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:

190.

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Yazar

Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

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:

192.

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:

193.

LaTeX in 24 Hours A Practical Guide for Scientific Writing

Yazar

Datta, Dilip. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

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

Yazar

Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

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

Yazar

Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61482-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

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

Yazar

Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59746-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

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

Yazar

Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61660-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Yazar

Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-53733-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Yazar

Zeume, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54314-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

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:

202.

Guide to Data Structures A Concise Introduction Using Java

Yazar

Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Guide to Scientific Computing in C++

Yazar

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings

Yazar

Chen, Guoliang. editor. Shen, Hong. editor. Chen, Mingrui. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6442-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

Yazar

Ianni, Giovambattista. editor. Lembo, Domenico. editor. Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179 Faber, Wolfgang. editor. Glimm, Birte. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61033-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Computer Music Instruments Foundations, Design and Development

Yazar

Lazzarini, Victor. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Cardiac Regeneration

Yazar

Ieda, Masaki. editor. Zimmermann, Wolfram-Hubertus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

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:

209.

In Search of the Next Memory Inside the Circuitry from the Oldest to the Emerging Non-Volatile Memories

Yazar

Gastaldi, Roberto. editor. Campardo, Giovanni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

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:

211.

Embedded and Real-Time Operating Systems

Yazar

Wang, K.C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51517-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Conversations Around Semiotic Engineering

Yazar

Diniz Junqueira Barbosa, Simone. editor. Breitman, Karin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

E-Learning Systems Intelligent Techniques for Personalization

Yazar

Klašnja-Milićević, Aleksandra. author. (orcid)0000-0002-8023-4776 Vesin, Boban. author. Ivanović, Mirjana. author. Budimac, Zoran. author. Jain, Lakhmi C. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41163-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Yazar

Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

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

Yazar

Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59650-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

A Practical Approach to Compiler Construction

Yazar

Watson, Des. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-52789-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

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:

218.

Programming multicore and many-core computing systems

Yazar

Pllana, Sabri, editor. Xhafa, Fatos, editor.

Yer Numarası

QA76.642 .P767 2017

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Advanced penetration testing : hacking the world's most secure networks

Yazar

Allsopp, Wil, author.

Yer Numarası

QA76.9 .A25

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Cardiac pacing and defibrillation in paediatric and congenital heart disease

Yazar

Shah, Maully, editor. Rhodes, Larry (Larry A.), editor. Kaltman, Jonathan, editor.

Yer Numarası

RJ424.5 .C37

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Snake Charming - The Musical Python

Yazar

Gray, Iain. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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.

DataFlow Supercomputing Essentials Research, Development and Education

Yazar

Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66128-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

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:

226.

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:

227.

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Yazar

Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63342-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

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:

229.

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:

230.

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:

231.

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:

232.

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

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

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:

234.

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:

235.

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

Yazar

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Yazar

Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

Models of Computation

Yazar

Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42900-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

Provably Correct Systems

Yazar

Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance

Yazar

Chen, Xiaoming. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2227-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

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

Yazar

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66197-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

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:

242.

Handbook of Big Data Technologies

Yazar

Zomaya, Albert Y. editor. Sakr, Sherif. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Eye Tracking Methodology Theory and Practice

Yazar

Duchowski, Andrew T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57883-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

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:

245.

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:

246.

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

Yazar

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

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:

248.

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

Yazar

Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66902-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

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

Yazar

Perner, Petra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

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:

251.

Introduction to Data Science A Python Approach to Concepts, Techniques and Applications

Yazar

Igual, Laura. author. Seguí, Santi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-50017-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

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

Yazar

Neidhardt, Alexander N.J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40139-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

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:

254.

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

Yazar

Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Applied univariate, bivariate, and multivariate statistics

Yazar

Denis, Daniel J., 1974-

Yer Numarası

QA279

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

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

Yazar

Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46520-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

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

Yazar

Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

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

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-32149-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

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

Yazar

Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30936-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Principles of Data Mining

Yazar

Bramer, Max. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-7307-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

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

Yazar

Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

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

Yazar

Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Understanding Control Flow Concurrent Programming Using μC++

Yazar

Buhr, Peter A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-25703-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

An Introduction to Data Analysis using Aggregation Functions in R

Yazar

James, Simon. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46762-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

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

Yazar

Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-39519-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

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

Yazar

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46140-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

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

Yazar

Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

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

Yazar

Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-39636-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

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

Yazar

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

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

Yazar

Goldberg, Andrew V. editor. Kulikov, Alexander S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

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

Yazar

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29604-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Hybrid Metaheuristics Powerful Tools for Optimization

Yazar

Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30883-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

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

Yazar

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-32152-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

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

Yazar

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Real Time Control Engineering Systems And Automation

Yazar

Ng, Tian Seng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-1509-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

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

Yazar

Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Ko, Ryan K.L. editor. Mueller, Peter. editor. Nakano, Koji. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-49583-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

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

Yazar

Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-43659-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Random-Like Bi-level Decision Making

Yazar

Xu, Jiuping. author. (orcid)0000-0003-3756-3969 Li, Zongmin. author. Tao, Zhimiao. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-1768-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

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

Yazar

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41591-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

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

Yazar

Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29778-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

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

Yazar

Torra, Vicenç. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46481-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

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

Yazar

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

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

Yazar

Perner, Petra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41561-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

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

Yazar

Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

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

Yazar

Thiemann, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

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

Yazar

Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

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

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47846-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

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

Yazar

Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-48869-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

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

Yazar

Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-45279-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

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

Yazar

Ponce-Cruz, Pedro. author. Molina, Arturo. author. MacCleery, Brian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-26656-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

Retrogame Archeology Exploring Old Computer Games

Yazar

Aycock, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30004-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

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

Yazar

Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40566-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

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

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-55669-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

System Dynamics Modeling with R

Yazar

Duggan, Jim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Android Application Security A Semantics and Context-Aware Approach

Yazar

Zhang, Mu. author. Yin, Heng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47812-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

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

Yazar

Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47106-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Mixed-Integer Representations in Control Design Mathematical Foundations and Applications

Yazar

Prodan, Ionela. author. Stoican, Florin. author. Olaru, Sorin. author. (orcid)0000-0003-3256-9595 Niculescu, Silviu-Iulian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-26995-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

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

Yazar

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29613-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

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

Yazar

Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42061-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

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

Yazar

Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}