Arama Sonuçları Programming. - Daraltılmış: 2013

Concepts of programming languages

2026-01-27T15:25:58Z

Yazar Sebesta, Robert W. Mukherjee, Soumen. Bhattacharjee, Arup Kumar. Sebesta, Robert W. Concepts of programming languages.
Yer Numarası QA76.7 S43 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

iOS 6 programming cookbook

2026-01-27T15:25:58Z

Yazar Nahavandipoor, Vandad.
Yer Numarası QA76.8.I64 N34 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

The C programming language

2026-01-27T15:25:58Z

Yazar Kernighan, Brian W. Ritchie, Dennis M.
Yer Numarası QA76.73 K47 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic Programming with Prolog

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

2D graphics programming for games

2026-01-27T15:25:58Z

Yazar Pile, John, Jr., author.
Yer Numarası QA76.76 .C672 P49 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Programming principles in computer graphics

2026-01-27T15:25:58Z

Yazar Ammeraal, Leendert.
Yer Numarası QA 76.6 A466 1986
Format: Kitap
Durum Beytepe Kütüphanesi~1

The art of computer programming

2026-01-27T15:25:58Z

Yazar Knuth, Donald E.
Yer Numarası QA 76.5 K57 1968- V.1
Format: Kitap
Durum Beytepe Kütüphanesi~7

Handbook of SAS DATA Step programming

2026-01-27T15:25:58Z

Yazar Li, Arthur., author.
Yer Numarası QA276.4 .L56 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Programming with Java : a multimedia approach

2026-01-27T15:25:58Z

Yazar Grover, Radhika S.
Yer Numarası QA76.73.J38 G784 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to Java programming : comprehensive version

2026-01-27T15:25:58Z

Yazar Liang, Y. Daniel.
Yer Numarası QA76.73.J38 L52 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Beginning C# Object-Oriented Programming

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice X

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning C# by Programming Games

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro Asynchronous Programming with .NET

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Oracle 11g : PL/SQL programming

2026-01-27T15:25:58Z

Yazar Casteel, Joan.
Format: Kitap
Durum ~0

Objective-C programming for dummies

2026-01-27T15:25:58Z

Yazar Goldstein, Neal. Kowalski, Karl G.
Yer Numarası QA76.73.O115 G65 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

TouchDevelop: Programming on the Go

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Programming Theory and Practice

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HTML5 Game Programming with enchant.js

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Programming and Algorithms Using R

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming III

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Programming for Multicore and Cluster Systems

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

Yazar Napier, Robert. Kumar, Mugunth.
Yer Numarası QA76.774 .I67 N37 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-01-27T15:25:58Z

Yazar Oki, Eiji, 1969, author.
Yer Numarası TK5105.5 .O365 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic programming applications in finance, energy, planning and logistics

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MATLAB a practical introduction to programming and problem solving

2026-01-27T15:25:58Z

Yazar Attaway, Stormy.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124058767
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Programming Based Operation of Reservoirs Applicability and Limits

2026-01-27T15:25:58Z

Yazar Nandalal, K. D. W.. Bogardi, Janos J..
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

Yazar Bronson, Gary J.
Yer Numarası QA76.73.C153 B75 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

An introduction to programming with ActionScript 3.0

2026-01-27T15:25:58Z

Yazar Cornez, Trish. Cornez, Richard.
Yer Numarası QA76.73.A146 C67 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-01-27T15:25:58Z

Yazar Duffy, Thomas J.
Yer Numarası QA76.76.A65 D84 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-01-27T15:25:58Z

Yazar Dionisio, John David N. Toal, Ray.
Yer Numarası QA76.73.J38 D57 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-01-27T15:25:58Z

Yazar Cook, Shane.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124159334
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The R Software Fundamentals of Programming and Statistical Analysis

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linear and Multiobjective Programming with Fuzzy Stochastic Extensions

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MATLAB : a practical introduction to programming and problem solving

2026-01-27T15:25:58Z

Yazar Attaway, Stormy.
Yer Numarası QA297 A87 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Credibilistic Programming An Introduction to Models and Applications

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Logics Essays in Memory of Harald Ganzinger

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Dynamic Programming for Control Algorithms and Stability

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Network Programming with Java Java 7 Compatible

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Game engine gems

2026-01-27T15:25:58Z

Yazar Lengyel, Eric.
Yer Numarası QA76.76 .C672 G3588 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Quantitative Finance : An Object-Oriented Approach in C++

2026-01-27T15:25:58Z

Yazar Schlogl, Erik, author. Taylor and Francis.
Yer Numarası HG106
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Game Physics with Box2D

2026-01-27T15:25:58Z

Yazar Parberry, Ian, author. Taylor and Francis.
Yer Numarası QA76.76 .C672
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environmental and hydrological systems modelling

2026-01-27T15:25:58Z

Yazar Jayawardena, A W, author. CRC Press.
Yer Numarası GB656.2 .H9 J393 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Program specialization

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistics with Stata : updated for version 12

2026-01-27T15:25:58Z

Yazar Hamilton, Lawrence C., author.
Yer Numarası QA276.4 H357 2013
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Computational chemogenomics

2026-01-27T15:25:58Z

Yazar Jacoby, Edgar, editor.
Yer Numarası QH438.4 .C45 C66 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Service-oriented distributed knowledge discovery

2026-01-27T15:25:58Z

Yazar Talia, Domenico., author. Trunfio, Paolo.
Yer Numarası QA76.9 .D343 T3484 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Cloud-computing : data-intensive computing and scheduling

2026-01-27T15:25:58Z

Yazar Magoul's, F. (Frederic), author. Pan, Jie, 1979- Teng, Fei.
Yer Numarası QA76.585 .M34 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Methods of statistical model estimation

2026-01-27T15:25:58Z

Yazar Hilbe, Joseph M., 1944, author. Robinson, Andrew (Andrew P.)
Yer Numarası QA276.8 .H54 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Mimetic discretization methods

2026-01-27T15:25:58Z

Yazar Castillo, Jose E., author. Miranda, Guillermo F.
Yer Numarası QA297 .C35 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Numerical methods in engineering with Python 3

2026-01-27T15:25:58Z

Yazar Kiusalaas, Jaan, author.
Yer Numarası TA345 .K58 2013
Elektronik Erişim https://doi.org/10.1017/CBO9781139523899
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Game ai pro : collected wisdom of game ai professionals

2026-01-27T15:25:58Z

Yazar Rabin, Steven, editor. Taylor and Francis.
Yer Numarası QA76.76 .C672
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Dynamic documents with R and KNITR

2026-01-27T15:25:58Z

Yazar Xie, Yihui., author. Taylor and Francis.
Yer Numarası QA276.4
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Game development for iOS with Unity3D

2026-01-27T15:25:58Z

Yazar Murray, Jeff., author.
Yer Numarası QA76.76 .C672 M887 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Introduction to finite element analysis using MATLAB and Abaqus

2026-01-27T15:25:58Z

Yazar Khennane, Amar., author.
Yer Numarası TA347 .F5 K54 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Nonlinear Optimization in Electrical Engineering with Applications in MATLAB<sup>�</sup>

2026-01-27T15:25:58Z

Yazar Bakr, Mohamed
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1049/PBSP008E
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Popular television in Eastern Europe during and since socialism

2026-01-27T15:25:58Z

Yazar Imre, Anikó. Havens, Timothy. Lustyik, Kati.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Game coding complete

2026-01-27T15:25:58Z

Yazar McShaffry, Mike.
Yer Numarası QA76.76.C672 M395 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Cloud-based services for your library a LITA guide

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Speaking code coding as aesthetic and political expression

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MikroC ile PIC18F4550

2026-01-27T15:25:58Z

Yazar Şahin, Hikmet. Dedeoğlu, K. Serkan.
Yer Numarası TJ223.P76 S34 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

Python for data analysis

2026-01-27T15:25:58Z

Yazar McKinney, Wes.
Yer Numarası QA76.73.P98 M42 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

MikroC ile ARM programlama

2026-01-27T15:25:58Z

Yazar Koç, Selim Dal, Mehmet Ali.
Yer Numarası TJ223.M53 K63 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

Learning Python

2026-01-27T15:25:58Z

Yazar Lutz, Mark.
Yer Numarası QA76.73.P98 L87 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Algoritma ve programlama mantığı

2026-01-27T15:25:58Z

Yazar Tungut, H. Burak
Yer Numarası QA 76.9 A43 T86 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-01-27T15:25:58Z

Yazar Sevinç, Tahsin. İncearık, Mehmet Emrullah.
Yer Numarası HF5548.32 S48 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Beginning C

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Oracle Application Express for Mobile Web Applications

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Data Mining

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Giants of Computing A Compendium of Select, Pivotal Pioneers

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering and Management for Software Development Projects

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bayesian Networks in R with Applications in Systems Biology

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finding Source Code on the Web for Remix and Reuse

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustainable Web Ecosystem Design

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scala Design Patterns Patterns for Practical Reuse and Design

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Design Syntactic and Semantic Analysis

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Deployment of System Engineering Methods

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Dynpro ABAP for Practitioners

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pointers in C A Hands on Approach

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust Data Mining

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Neuroevolution Through Erlang

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Microsoft Dynamics AX 2012 Updated for Version R2

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Cambridge companion to electronic music

2026-01-27T15:25:58Z

Yazar Collins, Nick (Nicholas) Escrivan Rincón, Julio d', 1957-
Yer Numarası ML1380 C36 2013
Format: Kitap
Durum Konservatuvar Kütüphanesi~1

Introduction to Image Processing Using R Learning by Examples

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic Computing Principles, Design and Implementation

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Software Industry Economic Principles, Strategies, Perspectives

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Cryptography with Maple

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development X

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for High Performance Computing 2012

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Deductive Spreadsheet

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Algorithms for Message-Passing Systems

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured computer organization

2026-01-27T15:25:58Z

Yazar Tanenbaum, Andrew S., 1944- Austin, Todd.
Yer Numarası QA76.6 T38 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ubiquitous Information Technologies and Applications CUTE 2012

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Rationale The Language, The Standard Libraries

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NLP'in ilkeleri

2026-01-27T15:25:58Z

Yazar O'Connor, Joseph. Mcdermott, Ian, ort. yaz. Ezerler, Demet Uyar, çev.
Yer Numarası BF637.N46 O26 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

The object-oriented thought process

2026-01-27T15:25:58Z

Yazar Weisfeld, Matt A.
Yer Numarası QA76.64 W436 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-01-27T15:25:58Z

Yazar Vasant, Pandian.
Yer Numarası T57.84 M48 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Learn Cocoa on the Mac

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learn Lua for iOS Game Development

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Objective-C Programmer’s Reference

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Node.js Recipes

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Java Quick Syntax Reference

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Cloud Computing Principles and Practice

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Databases A Practical Introduction

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Reflections, Challenges and New Directions

2026-01-27T15:25:58Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GPU Pro 4 : advanced rendering techniques

2026-01-27T15:25:58Z

Yazar Engel, Wolfgang.
Yer Numarası T385 .G6887 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Agricultural statistical data analysis using Stata

2026-01-27T15:25:58Z

Yazar Boyhan, George., author.
Yer Numarası S494.5 .D3 B69 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Game design theory : a new philosophy for understanding games

2026-01-27T15:25:58Z

Yazar Burgun, Keith., author.
Yer Numarası QA76.76 .C672 B86 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Open systems dependability : dependability engineering for ever-changing systems

2026-01-27T15:25:58Z

Yazar Tokoro, Mario, 1947-
Yer Numarası QA76.9 .F38 O64 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Maternal and Child Nutrition: The First 1,000 Days : 74th Nestlé Nutrition Institute Workshop, Goa, March 2012

2026-01-27T15:25:58Z

Yazar Bhatia, J., editor. Bhutta, Z.A., editor. Kalhan, S.C., editor.
Yer Numarası XX(548965.1)
Elektronik Erişim https://karger.com/book/doi/10.1159/isbn.978-3-318-02388-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Essential algorithms : a practical approach to computer algorithms

2026-01-27T15:25:58Z

Yazar Stephens, Rod, 1961- author.
Yer Numarası QA76.9 .S74 2013
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1