Search Results for Programming.

1.

Concepts of programming languages

Yazar

Sebesta, Robert W. Mukherjee, Soumen. Bhattacharjee, Arup Kumar. Sebesta, Robert W. Concepts of programming languages.

Yer Numarası

QA76.7 S43 2013

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

2.

iOS 6 programming cookbook

Yazar

Nahavandipoor, Vandad.

Yer Numarası

QA76.8.I64 N34 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

The C programming language

Yazar

Kernighan, Brian W. Ritchie, Dennis M.

Yer Numarası

QA76.73 K47 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

4.

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:

5.

2D graphics programming for games

Yazar

Pile, John, Jr.

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:

6.

The art of computer programming

Yazar

Knuth, Donald E.

Yer Numarası

QA 76.5 K57 1968- V.1

Format:

Durum

Beytepe Kütüphanesi~7

Rafta:
Kopya:

7.

Programming principles in computer graphics

Yazar

Ammeraal, Leendert.

Yer Numarası

QA 76.6 A466 1986

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

Handbook of SAS DATA Step programming

Yazar

Li, Arthur.

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:

9.

Introduction to Java programming : comprehensive version

Yazar

Liang, Y. Daniel.

Yer Numarası

QA76.73.J38 L52 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

10.

Programming with Java : a multimedia approach

Yazar

Grover, Radhika S.

Yer Numarası

QA76.73.J38 G784 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

11.

Objective-C programming for dummies

Yazar

Goldstein, Neal. Kowalski, Karl G.

Yer Numarası

QA76.73.O115 G65 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

12.

Oracle 11g : PL/SQL programming

Yazar

Casteel, Joan.

Format:

Durum

~0

Rafta:
Kopya:

13.

Beginning C# Object-Oriented Programming

Yazar

Clark, Dan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330660.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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:

15.

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:

16.

TouchDevelop: Programming on the Go

Yazar

Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330757.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Pro Asynchronous Programming with .NET

Yazar

Blewett, Richard. author. Clymer, Andrew. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330729.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

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:

19.

HTML5 Game Programming with enchant.js

Yazar

McInnis, Brandon. author. Shimizu, Ryo. author. Furukawa, Hidekazu. author. Fushimi, Ryohei. author. Tanaka, Ryo. author.

Yer Numarası

ONLINE(330635.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

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:

21.

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:

22.

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:

23.

Stochastic programming applications in finance, energy, planning and logistics

Yazar

Gassmann, Horand. Ziemba, W. T.

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=517002

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Instant R starter jump into the R programming language and go beyound "Hell World!" / Donato Teutonico.

Yazar

Teutonico, Donato.

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575961

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Linear programming and algorithms for communication networks a practical guide to network design, control, and management

Yazar

Oki, Eiji, 1969-

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:

26.

C++ programming: principles and practices for scientists and engineers

Yazar

Bronson, Gary J.

Yer Numarası

QA76.73.C153 B75 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

27.

An introduction to programming with ActionScript 3.0

Yazar

Cornez, Trish. Cornez, Richard.

Yer Numarası

QA76.73.A146 C67 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

28.

Programming with JavaScript : algorithms and applications for desktop and mobile browsers

Yazar

Dionisio, John David N. Toal, Ray.

Yer Numarası

QA76.73.J38 D57 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

29.

Programming with mobile applications : Android, iOS, and Windows Phone 7

Yazar

Duffy, Thomas J.

Yer Numarası

QA76.76.A65 D84 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

30.

MATLAB a practical introduction to programming and problem solving

Yazar

Attaway, Stormy.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

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:

32.

The R Software Fundamentals of Programming and Statistical Analysis

Yazar

Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332463.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Linear and Multiobjective Programming with Fuzzy Stochastic Extensions

Yazar

Sakawa, Masatoshi. author. Yano, Hitoshi. author. Nishizaki, Ichiro. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332480.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

iOS 6 programming : pushing the limits : advanced application development for Apple IPhone, IPad, and IPod Touch

Yazar

Napier, Robert. Kumar, Mugunth.

Yer Numarası

QA76.774 .I67 N37 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

35.

CUDA programming a developer's guide to parallel computing with GPUs

Yazar

Cook, Shane.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Dynamic Programming Based Operation of Reservoirs Applicability and Limits

Yazar

Nandalal, K. D. W.. Bogardi, Janos J..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Credibilistic Programming An Introduction to Models and Applications

Yazar

Li, Xiang. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334188.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Yazar

Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.

Yer Numarası

ONLINE(334384.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Yazar

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334837.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Yazar

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334841.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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:

42.

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:

43.

Moving from C to C++ Discussing Programming Problems, Why They Exist, and How C++ Solves Them

Yazar

Goyal, Arunesh. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330751.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Adaptive Dynamic Programming for Control Algorithms and Stability

Yazar

Zhang, Huaguang. author. Liu, Derong. author. Luo, Yanhong. author. Wang, Ding. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331049.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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:

46.

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:

47.

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

Yazar

Raynal, Michel. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333514.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Yazar

Kormanyos, Christopher Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333884.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Yazar

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334034.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Yazar

Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334268.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

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:

52.

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:

53.

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:

54.

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

Yazar

Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334579.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

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:

56.

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Yazar

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334751.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Yazar

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334753.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Yazar

Schulte, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334980.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

MATLAB : a practical introduction to programming and problem solving

Yazar

Attaway, Stormy.

Yer Numarası

QA297 A87 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

60.

Flash programming for the social & behavioral sciences a simple guide to sophisticated online surveys and experiments

Yazar

Weinstein, Yana. DeSoto, K. Andrew.

Yer Numarası

ONLINE(368331.1)

Elektronik Erişim

SAGE knowledge http://sk.sagepub.com/books/flash-programming-for-the-social-and-behavioral-sciences

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Yazar

Shan, Chung-chieh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332981.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03542-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

Yazar

Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332892.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-01928-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

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:

64.

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:

65.

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:

66.

A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming

Yazar

Gu, Edward Y L. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334717.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

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:

68.

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:

69.

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:

70.

Game engine gems

Yazar

Lengyel, Eric.

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:

71.

Cloud-based services for your library a LITA guide

Yazar

Mitchell, Erik T., 1972- Library and Information Technology Association (U.S.)

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575573

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Game design theory a new philosophy for understanding games

Yazar

Burgun, Keith.

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:

73.

Introduction to finite element analysis using MATLAB and Abaqus

Yazar

Khennane, Amar.

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:

74.

Open systems dependability dependability engineering for ever-changing systems

Yazar

Tokoro, Mario, 1947-

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:

75.

Cloud-computing data-intensive computing and scheduling

Yazar

Magouls̈, F. (Frďřic) Pan, Jie, 1979- Teng, Fei.

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:

76.

Mimetic discretization methods

Yazar

Castillo, Jos ̌E. Miranda, Guillermo 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:

77.

Computer security literacy staying safe in a digital world

Yazar

Jacobson, Douglas. Idziorek, Joseph.

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:

78.

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:

79.

Speaking code coding as aesthetic and political expression

Yazar

Cox, Geoff. McLean, Alex (Christopher Alex), 1975-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Nonlinear Optimization in Electrical Engineering with Applications in MATLAB^�

Yazar

Bakr, Mohamed

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1049/PBSP008E

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Python for data analysis

Yazar

McKinney, Wes.

Yer Numarası

QA76.73.P98 M42 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

82.

Popular television in Eastern Europe during and since socialism için kapak resmi

Yazar

Imre, Anikó. Havens, Timothy. Lustyik, Kati.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Game coding complete

Yazar

McShaffry, Mike.

Yer Numarası

QA76.76.C672 M395 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

84.

Game development for iOS with Unity3D

Yazar

Murray, Jeff.

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:

85.

Introduction to game physics with Box2D

Yazar

Parberry, Ian.

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:

86.

Methods of statistical model estimation

Yazar

Hilbe, Joseph M., 1944- Robinson, Andrew (Andrew P.)

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:

87.

Agricultural statistical data analysis using Stata

Yazar

Boyhan, George.

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:

88.

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:

89.

Program specialization

Yazar

Marlet, Renaud.

Yer Numarası

ONLINE

Elektronik Erişim

Connect to MyiLibrary resource.
Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118576984
John Wiley http://dx.doi.org/10.1002/9781118576984

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

MikroC ile PIC18F4550

Yazar

Şahin, Hikmet. Dedeoğlu, K. Serkan.

Yer Numarası

TJ223.P76 S34 2013

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

91.

Statistics with Stata : updated for version 12

Yazar

Hamilton, Lawrence C., author.

Yer Numarası

QA276.4 H357 2013

Format:

Durum

Sağlık Bilimleri Kütüphanesi~1

Rafta:
Kopya:

92.

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:

93.

Node.js Recipes

Yazar

Gackenheimer, Cory. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330745.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Handbook of Neuroevolution Through Erlang

Yazar

Sher, Gene I. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331512.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Information Systems Development Reflections, Challenges and New Directions

Yazar

Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.

Yer Numarası

ONLINE(331631.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Yazar

Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332982.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03545-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

MikroC ile ARM programlama

Yazar

Koç, Selim Dal, Mehmet Ali.

Yer Numarası

TJ223.M53 K63 2013

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

98.

Learning Python

Yazar

Lutz, Mark.

Yer Numarası

QA76.73.P98 L87 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

99.

Algoritma ve programlama mantığı

Yazar

Tungut, H. Burak

Yer Numarası

QA 76.9 A43 T86 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

100.

Meta-heuristics optimization algorithms in engineering, business, economics, and finance

Yazar

Vasant, Pandian.

Yer Numarası

T57.84 M48 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

101.

10 adımda e-ticaret sitesi : tasarımı& programlama

Yazar

Sevinç, Tahsin. İncearık, Mehmet Emrullah.

Yer Numarası

HF5548.32 S48 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

102.

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:

103.

Introduction to Image Processing Using R Learning by Examples

Yazar

Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331107.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Autonomic Computing Principles, Design and Implementation

Yazar

Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331115.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Concise Guide to Databases A Practical Introduction

Yazar

Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331224.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Sustainable Web Ecosystem Design

Yazar

O'Toole, Greg. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332331.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Yazar

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332934.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02654-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

Yazar

Gregor, Miloš. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333547.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333558.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

Yazar

Reisig, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333688.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

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:

112.

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:

113.

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Yazar

Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334071.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Yazar

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334077.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

Yazar

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334079.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

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:

117.

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Yazar

Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334156.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Yazar

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334236.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

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:

121.

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:

122.

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:

123.

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Yazar

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334547.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

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:

125.

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Yazar

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334820.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

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:

127.

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:

128.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Yazar

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335046.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Using Microsoft Dynamics AX 2012 Updated for Version R2

Yazar

Luszczak, Andreas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335271.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-01709-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

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:

131.

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335217.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Yazar

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Yer Numarası

ONLINE(335120.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

The Cambridge companion to electronic music

Yazar

Collins, Nick (Nicholas) Escrivan Rincón, Julio d', 1957-

Yer Numarası

ML1380 C36 2013

Format:

Durum

Konservatuvar Kütüphanesi~1

Rafta:
Kopya:

134.

The object-oriented thought process

Yazar

Weisfeld, Matt A.

Yer Numarası

QA76.64 W436 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

135.

Learn Cocoa on the Mac

Yazar

Nutting, Jack. author. Clark, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330613.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Learn Lua for iOS Game Development

Yazar

Varma, Jayant. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330623.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

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:

138.

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:

139.

Objective-C Programmer’s Reference

Yazar

Oliveira, Carlos. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330726.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

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:

141.

Robust Data Mining

Yazar

Xanthopoulos, Petros. author. Pardalos, Panos M. author. Trafalis, Theodore B. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330861.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-9878-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

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:

143.

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

Yazar

Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(330942.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4282-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

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:

145.

Giants of Computing A Compendium of Select, Pivotal Pioneers

Yazar

O’Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331194.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

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:

147.

Finding Source Code on the Web for Remix and Reuse

Yazar

Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332071.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Bayesian Networks in R with Applications in Systems Biology

Yazar

Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332033.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Yazar

Paule, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332822.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-00966-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

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:

151.

Introduction to Cryptography with Maple

Yazar

Gómez Pardo, José Luis. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333533.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

The Software Industry Economic Principles, Strategies, Perspectives

Yazar

Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333443.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Industrial Deployment of System Engineering Methods

Yazar

Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333675.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

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:

155.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Yazar

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334038.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Yazar

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Yer Numarası

ONLINE(334041.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

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:

158.

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

Yazar

Jörges, Sven. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334129.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Yazar

Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334136.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

Yazar

Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334142.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334278.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

Yazar

Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334282.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

Yazar

Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.

Yer Numarası

ONLINE(334328.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

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:

165.

Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers

Yazar

Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334344.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Compiler Construction 22nd International Conference, CC 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

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334353.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Fundamental Approaches to Software Engineering 16th International Conference, FASE 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

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334354.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

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:

169.

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:

170.

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Yazar

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334556.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Yazar

Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334562.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Web Dynpro ABAP for Practitioners

Yazar

Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334566.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Yazar

Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334631.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Yazar

Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334634.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Yazar

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334651.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Yazar

Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334743.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Yazar

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Yer Numarası

ONLINE(334979.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

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:

179.

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:

180.

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:

181.

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:

182.

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Yazar

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335125.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

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:

184.

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

Yazar

Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.

Yer Numarası

ONLINE(335138.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Yazar

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335141.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

Yazar

Cotroneo, Domenico. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335577.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-88-470-2772-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Ubiquitous Information Technologies and Applications CUTE 2012

Yazar

Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(336087.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-5857-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Computational chemogenomics

Yazar

Jacoby, Edgar, editor.

Yer Numarası

ONLINE(342737.1)

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:

189.

Structured computer organization

Yazar

Tanenbaum, Andrew S., 1944- Austin, Todd.

Yer Numarası

QA76.6 T38 2013

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

190.

NLP'in ilkeleri

Yazar

O'Connor, Joseph. Mcdermott, Ian, ort. yaz. Ezerler, Demet Uyar, çev.

Yer Numarası

BF637.N46 O26 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

191.

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Yazar

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332962.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

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:

193.

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:

194.

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Yazar

Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333246.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

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:

196.

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:

197.

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:

198.

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:

199.

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Yazar

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334120.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

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:

201.

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:

202.

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Yazar

Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334691.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Yazar

Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334697.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

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:

205.

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:

206.

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:

207.

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Drira, Khalil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334714.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

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:

209.

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Yazar

Malyshkin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334871.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Yazar

Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334882.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

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:

212.

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:

213.

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:

214.

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

Yazar

Wang, Mingzheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334849.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

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:

216.

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:

217.

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Yazar

Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335206.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

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:

219.

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

Yazar

Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335215.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

Yazar

Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335227.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011

Yazar

Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335821.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-4786-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Numerical methods in engineering with Python 3

Yazar

Kiusalaas, Jaan, author.

Yer Numarası

TA345 .K58 2013

Elektronik Erişim

https://doi.org/10.1017/CBO9781139523899

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}