Search Results for Computer

1.

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:

2.

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:

3.

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:

4.

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:

5.

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:

6.

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:

7.

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:

8.

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:

9.

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:

10.

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:

11.

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:

12.

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:

13.

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:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

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:

48.

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:

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

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:

59.

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:

60.

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:

61.

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:

62.

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:

63.

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:

64.

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:

65.

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:

66.

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:

67.

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:

68.

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:

	{displayName}	{count}
{error}