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.

LabView advanced programming techniques

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

LabVIEW advanced programming techniques

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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:

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 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

Yazar

Michel, Laurent. editor. SpringerLink (Online service)

Yer Numarası

XX(518836.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

Data Science Concepts and Techniques with Applications

Yazar

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

Yer Numarası

XX(520307.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

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ı

XX(520308.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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ı

XX(520492.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

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ı

XX(520498.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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ı

XX(520499.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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ı

XX(521010.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Optimization Methods for Product and System Design

Yazar

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

Yer Numarası

XX(520587.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

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ı

XX(520715.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

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ı

XX(520846.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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ı

XX(521307.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

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ı

XX(521140.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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ı

XX(521251.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Neuraxial Therapeutics A Comprehensive Guide

Yazar

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

Yer Numarası

XX(522153.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

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

Yazar

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

Yer Numarası

XX(520189.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

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ı

XX(521364.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

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ı

XX(521397.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

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ı

XX(521411.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Yazar

Malyshkin, Victor. editor. SpringerLink (Online service)

Yer Numarası

XX(518961.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Yazar

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Yer Numarası

XX(519028.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Parameterized Algorithms

Yazar

Cygan, Marek. author. Fomin, Fedor V. author. Kowalik, Łukasz. author. Lokshtanov, Daniel. author. Marx, Dániel. author.

Yer Numarası

XX(518379.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Handbook of Genetic Programming Applications

Yazar

Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)

Yer Numarası

XX(518480.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Yazar

Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)

Yer Numarası

XX(519297.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Handbook for construction planning and scheduling

Yazar

Baldwin, Andrew, 1950- author. Bordoli, David, author.

Yer Numarası

ONLINE(341862.1)

Elektronik Erişim

http://onlinelibrary.wiley.com/book/10.1002/9781118838167
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470670323.jpg
John Wiley http://dx.doi.org/10.1002/9781118838167

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

GPU Pro 4 advanced rendering techniques

Yazar

Engel, Wolfgang.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Guide to Cloud Computing Principles and Practice

Yazar

Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331022.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4603-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Principles of Data Mining

Yazar

Bramer, Max. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331086.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4884-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Programming Logics Essays in Memory of Harald Ganzinger

Yazar

Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334468.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Yazar

Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334469.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

The Deductive Spreadsheet

Yazar

Cervesato, Iliano. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334475.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Parallel Programming for Multicore and Cluster Systems

Yazar

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

Yer Numarası

ONLINE(334484.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Yazar

Albert, Elvira. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334552.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Transactions on Pattern Languages of Programming III

Yazar

Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334647.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334652.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Yazar

Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334772.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

Yazar

Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334934.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Yazar

Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334946.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Yazar

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335072.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

Yazar

Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.

Yer Numarası

ONLINE(335118.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

Yazar

Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335124.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Yazar

Hinze, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335126.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Learning C# by Programming Games

Yazar

Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334239.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Beginning C

Yazar

Horton, Ivor. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330651.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-4882-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Oracle Application Express for Mobile Web Applications

Yazar

Hartman, Roel. author. Rokitta, Christian. author. Peake, David. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330663.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Pointers in C A Hands on Approach

Yazar

Toppo, Naveen. author. Dewan, Hrishikesh. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330727.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Java Quick Syntax Reference

Yazar

Olsson, Mikael. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330770.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-6287-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

An Introduction to Network Programming with Java Java 7 Compatible

Yazar

Graba, Jan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331180.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5254-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Using Event-B for Critical Device Software Systems

Yazar

Singh, Neeraj Kumar. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331181.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Guide to Programming and Algorithms Using R

Yazar

Ergül, Özgür. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331192.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5328-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Logic Programming with Prolog

Yazar

Bramer, Max. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331207.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Distributed Programming Theory and Practice

Yazar

Shankar, A. Udaya. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331611.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Requirements Engineering and Management for Software Development Projects

Yazar

Chemuturi, Murali. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331756.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Scala Design Patterns Patterns for Practical Reuse and Design

Yazar

Hunt, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332904.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02192-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion

Yazar

King, Ralf Simon. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333882.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Yazar

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334069.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

Yazar

Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334104.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Yazar

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334055.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Yazar

Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334327.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Transactions on Aspect-Oriented Software Development X

Yazar

Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334333.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334348.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Tools for High Performance Computing 2012

Yazar

Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.

Yer Numarası

ONLINE(334411.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Yazar

Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334533.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Distributed Algorithms for Message-Passing Systems

Yazar

Raynal, Michel. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334542.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Yazar

Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334673.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Yazar

Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334683.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Yazar

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334698.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

Yazar

Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334706.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334711.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334715.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Yazar

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334870.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Yazar

Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334844.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Yazar

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Yazar

Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334968.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Yazar

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

Yazar

Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334990.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Yazar

Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335003.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Yazar

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335023.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

Yazar

Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335028.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Ada 2012 Rationale The Language, The Standard Libraries

Yazar

Barnes, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335195.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Yazar

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335196.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Yazar

Sagonas, Kostis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335204.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Yazar

Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335210.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

Yazar

Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.

Yer Numarası

ONLINE(335216.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Genetic Programming Theory and Practice X

Yazar

Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332135.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Yazar

Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332921.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02444-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Compiler Design Syntactic and Semantic Analysis

Yazar

Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333076.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.

Yazar

SAE-China. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333761.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Yazar

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334096.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

Yazar

Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334109.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Yazar

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334014.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Yazar

Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.

Yer Numarası

ONLINE(334025.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Service-oriented distributed knowledge discovery

Yazar

Talia, Domenico. Trunfio, Paolo.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Numerical methods for equations and its applications

Yazar

Argyros, Ioannis K. Cho, Yeol Je. Hilout, Said.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Instrument engineers' handbook. Process software and digital networks

Yazar

Liptk̀, Bľa G. Eren, Halit.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

GPU Pro 3 advanced rendering techniques

Yazar

Engel, Wolfgang F.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Multilevel modeling of categorical outcomes using IBM SPSS

Yazar

Heck, Ronald H. Thomas, Scott. Tabata, Lynn Naomi.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Computer technology and computer programming new research and strategies

Yazar

Antonakos, James L.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Applied operational research with SAS

Yazar

Emrouznejad, Ali. Ho, William.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Mathematical aspects of logic programming semantics

Yazar

Hitzler, Pascal. Seda, Anthony.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

GPU Pro[superscript 2] advanced rendering techniques

Yazar

Engel, Wolfgang F.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Introduction to high performance computing for scientists and engineers

Yazar

Hager, Georg. Wellein, Gerhard.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design

Yazar

International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Multi-core embedded systems

Yazar

Kornaros, Georgios.