Arama Sonuçları Science -- Software. - Daraltılmış: 2012
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dScience$002b--$002bSoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026ps$003d300?
2026-02-12T12:32:42Z
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196520
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Birkedal, Lars. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools
ent://SD_ILS/0/SD_ILS:235833
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Yevick, David.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9781139022262">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern
ent://SD_ILS/0/SD_ILS:192311
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Moser, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13363-3">http://dx.doi.org/10.1007/978-3-642-13363-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring
ent://SD_ILS/0/SD_ILS:195024
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22430-0">http://dx.doi.org/10.1007/978-3-642-22430-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abgründe der Informatik Geheimnisse und Gemeinheiten
ent://SD_ILS/0/SD_ILS:195199
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Potton, Alois. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22975-6">http://dx.doi.org/10.1007/978-3-642-22975-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Process Definition and Management
ent://SD_ILS/0/SD_ILS:195592
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24291-5">http://dx.doi.org/10.1007/978-3-642-24291-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:195885
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25231-0">http://dx.doi.org/10.1007/978-3-642-25231-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196271
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196436
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28400-7">http://dx.doi.org/10.1007/978-3-642-28400-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196475
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28551-6">http://dx.doi.org/10.1007/978-3-642-28551-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Relationale Datenbanken und SQL in Theorie und Praxis
ent://SD_ILS/0/SD_ILS:196582
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28986-6">http://dx.doi.org/10.1007/978-3-642-28986-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Business Process Management Concepts, Languages, Architectures
ent://SD_ILS/0/SD_ILS:196490
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Weske, Mathias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28616-2">http://dx.doi.org/10.1007/978-3-642-28616-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196668
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29320-7">http://dx.doi.org/10.1007/978-3-642-29320-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196745
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Kienzle, Jörg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196863
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Wohlin, Claes. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30350-0">http://dx.doi.org/10.1007/978-3-642-30350-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196774
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
ent://SD_ILS/0/SD_ILS:196775
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Henderson-Sellers, Brian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196777
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29834-9">http://dx.doi.org/10.1007/978-3-642-29834-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196784
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29860-8">http://dx.doi.org/10.1007/978-3-642-29860-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:197000
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings
ent://SD_ILS/0/SD_ILS:197012
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Dieste, Oscar. editor. Jedlitschka, Andreas. editor. Juristo, Natalia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31063-8">http://dx.doi.org/10.1007/978-3-642-31063-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197013
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Bajec, Marko. editor. Eder, Johann. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31069-0">http://dx.doi.org/10.1007/978-3-642-31069-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197017
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Ralyté, Jolita. editor. Franch, Xavier. editor. Brinkkemper, Sjaak. editor. Wrycza, Stanislaw. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31095-9">http://dx.doi.org/10.1007/978-3-642-31095-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196932
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30633-4">http://dx.doi.org/10.1007/978-3-642-30633-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196948
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30729-4">http://dx.doi.org/10.1007/978-3-642-30729-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196951
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Cusumano, Michael A. editor. Iyer, Bala. editor. Venkatraman, N. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30746-1">http://dx.doi.org/10.1007/978-3-642-30746-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196958
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Donnelly, Mark. editor. Paggetti, Cristiano. editor. Nugent, Chris. editor. Mokhtari, Mounir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30779-9">http://dx.doi.org/10.1007/978-3-642-30779-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197089
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31491-9">http://dx.doi.org/10.1007/978-3-642-31491-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197132
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31753-8">http://dx.doi.org/10.1007/978-3-642-31753-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197133
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31759-0">http://dx.doi.org/10.1007/978-3-642-31759-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197293
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32885-5">http://dx.doi.org/10.1007/978-3-642-32885-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197296
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32897-8">http://dx.doi.org/10.1007/978-3-642-32897-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197302
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32943-2">http://dx.doi.org/10.1007/978-3-642-32943-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197321
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33119-0">http://dx.doi.org/10.1007/978-3-642-33119-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197323
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33125-1">http://dx.doi.org/10.1007/978-3-642-33125-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Security – ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197329
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Foresti, Sara. editor. Yung, Moti. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33167-1">http://dx.doi.org/10.1007/978-3-642-33167-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197332
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33182-4">http://dx.doi.org/10.1007/978-3-642-33182-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197336
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33203-6">http://dx.doi.org/10.1007/978-3-642-33203-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197352
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33296-8">http://dx.doi.org/10.1007/978-3-642-33296-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197354
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33308-8">http://dx.doi.org/10.1007/978-3-642-33308-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197355
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197363
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33365-1">http://dx.doi.org/10.1007/978-3-642-33365-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197365
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Gollmann, Dieter. editor. Freiling, Felix C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33383-5">http://dx.doi.org/10.1007/978-3-642-33383-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Service-Oriented and Cloud Computing First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197373
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Paoli, Flavio. editor. Pimentel, Ernesto. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33427-6">http://dx.doi.org/10.1007/978-3-642-33427-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197374
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Hammouda, Imed. editor. Lundell, Björn. editor. Mikkonen, Tommi. editor. Scacchi, Walt. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33442-9">http://dx.doi.org/10.1007/978-3-642-33442-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:197390
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33503-7">http://dx.doi.org/10.1007/978-3-642-33503-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197392
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33509-9">http://dx.doi.org/10.1007/978-3-642-33509-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197393
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Finkel, Alain. editor. Leroux, Jérôme. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33512-9">http://dx.doi.org/10.1007/978-3-642-33512-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197514
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34407-7">http://dx.doi.org/10.1007/978-3-642-34407-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197633
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35743-5">http://dx.doi.org/10.1007/978-3-642-35743-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197637
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Rivest, Louis. editor. Bouras, Abdelaziz. editor. Louhichi, Borhen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35758-9">http://dx.doi.org/10.1007/978-3-642-35758-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197563
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Wang, X. Sean. editor. Cruz, Isabel. editor. Delis, Alex. editor. Huang, Guangyan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35063-4">http://dx.doi.org/10.1007/978-3-642-35063-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197574
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35173-0">http://dx.doi.org/10.1007/978-3-642-35173-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197575
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35176-1">http://dx.doi.org/10.1007/978-3-642-35176-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197577
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197578
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35194-5">http://dx.doi.org/10.1007/978-3-642-35194-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197592
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
ent://SD_ILS/0/SD_ILS:203980
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-4-431-54216-2">http://dx.doi.org/10.1007/978-4-431-54216-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recht ex machina Formalisierung des Rechts im Internet der Dienste
ent://SD_ILS/0/SD_ILS:193673
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17671-5">http://dx.doi.org/10.1007/978-3-642-17671-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Moderne C++ Programmierung Klassen, Templates, Design Patterns
ent://SD_ILS/0/SD_ILS:194698
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Schneeweiß, Ralf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21429-5">http://dx.doi.org/10.1007/978-3-642-21429-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:195898
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25271-6">http://dx.doi.org/10.1007/978-3-642-25271-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196129
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Biffl, Stefan. editor. Winkler, Dietmar. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27213-4">http://dx.doi.org/10.1007/978-3-642-27213-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Correctness-by-Construction Approach to Programming
ent://SD_ILS/0/SD_ILS:196299
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27919-5">http://dx.doi.org/10.1007/978-3-642-27919-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196304
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27940-9">http://dx.doi.org/10.1007/978-3-642-27940-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196275
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196338
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28067-2">http://dx.doi.org/10.1007/978-3-642-28067-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196343
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Filipe, Joaquim. editor. Cordeiro, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28082-5">http://dx.doi.org/10.1007/978-3-642-28082-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:196351
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28108-2">http://dx.doi.org/10.1007/978-3-642-28108-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:196353
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28115-0">http://dx.doi.org/10.1007/978-3-642-28115-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196402
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196507
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28675-9">http://dx.doi.org/10.1007/978-3-642-28675-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196547
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28830-2">http://dx.doi.org/10.1007/978-3-642-28830-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196559
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agile Management Leadership in an Agile Environment
ent://SD_ILS/0/SD_ILS:196561
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Medinilla, Ángel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28909-5">http://dx.doi.org/10.1007/978-3-642-28909-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Experimentation in Software Engineering
ent://SD_ILS/0/SD_ILS:196596
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29044-2">http://dx.doi.org/10.1007/978-3-642-29044-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems
ent://SD_ILS/0/SD_ILS:196612
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Geisberger, Eva. editor. Broy, Manfred. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29099-2">http://dx.doi.org/10.1007/978-3-642-29099-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196622
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Stary, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29133-3">http://dx.doi.org/10.1007/978-3-642-29133-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196711
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196754
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing
ent://SD_ILS/0/SD_ILS:196875
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30397-5">http://dx.doi.org/10.1007/978-3-642-30397-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196792
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196896
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197019
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31113-0">http://dx.doi.org/10.1007/978-3-642-31113-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197023
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31131-4">http://dx.doi.org/10.1007/978-3-642-31131-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197038
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31199-4">http://dx.doi.org/10.1007/978-3-642-31199-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197039
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197047
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Elmoataz, Abderrahim. editor. Mammass, Driss. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Aboutajdine, Driss. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31254-0">http://dx.doi.org/10.1007/978-3-642-31254-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197211
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Business System Management and Engineering From Open Issues to Applications
ent://SD_ILS/0/SD_ILS:197218
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32439-0">http://dx.doi.org/10.1007/978-3-642-32439-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197223
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32469-7">http://dx.doi.org/10.1007/978-3-642-32469-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197242
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32606-6">http://dx.doi.org/10.1007/978-3-642-32606-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197255
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32677-6">http://dx.doi.org/10.1007/978-3-642-32677-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
PRIMA 2012: Principles and Practice of Multi-Agent Systems 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197265
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Rahwan, Iyad. editor. Wobcke, Wayne. editor. Sen, Sandip. editor. Sugawara, Toshiharu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32729-2">http://dx.doi.org/10.1007/978-3-642-32729-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197134
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31762-0">http://dx.doi.org/10.1007/978-3-642-31762-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197270
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32759-9">http://dx.doi.org/10.1007/978-3-642-32759-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197154
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31915-0">http://dx.doi.org/10.1007/978-3-642-31915-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Speech, Sound and Music Processing: Embracing Research in India 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197165
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Ystad, Sølvi. editor. Aramaki, Mitsuko. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. Mohanty, Sanghamitra. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31980-8">http://dx.doi.org/10.1007/978-3-642-31980-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Computational Collective Intelligence VII
ent://SD_ILS/0/SD_ILS:197174
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32066-8">http://dx.doi.org/10.1007/978-3-642-32066-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197176
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Zsók, Viktória. editor. Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32096-5">http://dx.doi.org/10.1007/978-3-642-32096-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Testing in the Cloud Migration and Execution
ent://SD_ILS/0/SD_ILS:197182
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32122-1">http://dx.doi.org/10.1007/978-3-642-32122-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
ent://SD_ILS/0/SD_ILS:197188
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Gibbons, Jeremy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32202-0">http://dx.doi.org/10.1007/978-3-642-32202-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197191
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Vidal, Germán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197394
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33515-0">http://dx.doi.org/10.1007/978-3-642-33515-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197405
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33587-7">http://dx.doi.org/10.1007/978-3-642-33587-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197406
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33606-5">http://dx.doi.org/10.1007/978-3-642-33606-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197407
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33609-6">http://dx.doi.org/10.1007/978-3-642-33609-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197409
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33615-7">http://dx.doi.org/10.1007/978-3-642-33615-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197412
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33636-2">http://dx.doi.org/10.1007/978-3-642-33636-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197416
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Dynamics of Global Sourcing. Perspectives and Practices 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197446
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Kotlarsky, Julia. editor. Oshri, Ilan. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33920-2">http://dx.doi.org/10.1007/978-3-642-33920-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197454
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33999-8">http://dx.doi.org/10.1007/978-3-642-33999-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197455
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197456
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Durán, Franciso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34005-5">http://dx.doi.org/10.1007/978-3-642-34005-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197459
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197460
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:197486
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197608
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Bach, Joscha. editor. Goertzel, Ben. editor. Iklé, Matthew. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35506-6">http://dx.doi.org/10.1007/978-3-642-35506-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Aspect-Oriented Software Development IX
ent://SD_ILS/0/SD_ILS:197616
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35551-6">http://dx.doi.org/10.1007/978-3-642-35551-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:197634
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35746-6">http://dx.doi.org/10.1007/978-3-642-35746-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197548
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Hähnle, Reiner. editor. Knoop, Jens. editor. Margaria, Tiziana. editor. Schreiner, Dietmar. editor. Steffen, Bernhard. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34781-8">http://dx.doi.org/10.1007/978-3-642-34781-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium
ent://SD_ILS/0/SD_ILS:198898
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Hromkovic, Juraj. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2266-6">http://dx.doi.org/10.1007/978-3-8348-2266-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern
ent://SD_ILS/0/SD_ILS:198900
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Büchel, Gregor. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2283-3">http://dx.doi.org/10.1007/978-3-8348-2283-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formale Grundlagen der Programmierung
ent://SD_ILS/0/SD_ILS:198901
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Nebel, Markus. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2296-3">http://dx.doi.org/10.1007/978-3-8348-2296-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
ent://SD_ILS/0/SD_ILS:198917
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Storm, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2381-6">http://dx.doi.org/10.1007/978-3-8348-2381-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Webseiten-Programmierung Sprachen, Werkzeuge, Entwicklung
ent://SD_ILS/0/SD_ILS:198934
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Pomaska, Günter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2485-1">http://dx.doi.org/10.1007/978-3-8348-2485-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Anwendungsentwicklung für Intelligente Umgebungen im Web Engineering
ent://SD_ILS/0/SD_ILS:198949
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Heil, Andreas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2551-3">http://dx.doi.org/10.1007/978-3-8348-2551-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Praxis der User Interface-Entwicklung Informationsstrukturen, Designpatterns, Vorgehensmuster
ent://SD_ILS/0/SD_ILS:199044
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Chlebek, Paul. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-8219-6">http://dx.doi.org/10.1007/978-3-8348-8219-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Einführung in die Softwareentwicklung mit C Eine Einführung mit dem Visual Studio 2010
ent://SD_ILS/0/SD_ILS:199053
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Duschl, Dieter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-8239-4">http://dx.doi.org/10.1007/978-3-8348-8239-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Testen von Informationssystemen Integriertes und prozessorientiertes Testen
ent://SD_ILS/0/SD_ILS:199184
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Pilorget, Lionel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-8677-4">http://dx.doi.org/10.1007/978-3-8348-8677-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Longitudinal data analysis a practical guide for researchers in aging, health, and social sciences
ent://SD_ILS/0/SD_ILS:259385
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Newsom, Jason T. Jones, Richard N. Hofer, Scott M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203814208">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
ent://SD_ILS/0/SD_ILS:168462
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-233-9">http://dx.doi.org/10.1007/978-0-85729-233-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Service Virtualization Reality is Overrated
ent://SD_ILS/0/SD_ILS:171793
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Michelsen, John. author. English, Jason. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-4672-5">http://dx.doi.org/10.1007/978-1-4302-4672-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code
ent://SD_ILS/0/SD_ILS:171818
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Blunden, Bill. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-5108-8">http://dx.doi.org/10.1007/978-1-4302-5108-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Patterns, Programming and Everything
ent://SD_ILS/0/SD_ILS:173429
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Breitman, Karin K. editor. Horspool, R. Nigel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2350-7">http://dx.doi.org/10.1007/978-1-4471-2350-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundational Java Key Elements and Practical Programming
ent://SD_ILS/0/SD_ILS:173453
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Parsons, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2479-5">http://dx.doi.org/10.1007/978-1-4471-2479-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Doing Design Ethnography
ent://SD_ILS/0/SD_ILS:173465
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2726-0">http://dx.doi.org/10.1007/978-1-4471-2726-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:173468
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2736-9">http://dx.doi.org/10.1007/978-1-4471-2736-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multilevel modeling of categorical outcomes using IBM SPSS
ent://SD_ILS/0/SD_ILS:262279
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Heck, Ronald H. Thomas, Scott. Tabata, Lynn Naomi.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203808986">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement
ent://SD_ILS/0/SD_ILS:198853
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Aichele, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-1981-9">http://dx.doi.org/10.1007/978-3-8348-1981-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Grundkurs Microsoft Dynamics AX Die Business-Lösung von Microsoft in Version AX 2012
ent://SD_ILS/0/SD_ILS:198872
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Luszczak, Andreas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2169-0">http://dx.doi.org/10.1007/978-3-8348-2169-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Using Microsoft Dynamics AX 2012
ent://SD_ILS/0/SD_ILS:198876
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Luszczak, Andreas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2191-1">http://dx.doi.org/10.1007/978-3-8348-2191-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Code Generation with Templates
ent://SD_ILS/0/SD_ILS:207042
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Arnoldus, Jeroen. author. van den Brand, Mark. author. Serebrenik, A. author. Brunekreef, J.J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-56-5">http://dx.doi.org/10.2991/978-94-91216-56-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software and Systems Traceability
ent://SD_ILS/0/SD_ILS:173397
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2239-5">http://dx.doi.org/10.1007/978-1-4471-2239-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Guide to Software Development Designing and Managing the Life Cycle
ent://SD_ILS/0/SD_ILS:173413
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Langer, Arthur M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2300-2">http://dx.doi.org/10.1007/978-1-4471-2300-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Configuration Problem Solving
ent://SD_ILS/0/SD_ILS:174403
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Petrie, Charles J. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Arduino and Kinect Projects Design, Build, Blow Their Minds
ent://SD_ILS/0/SD_ILS:171709
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-4168-3">http://dx.doi.org/10.1007/978-1-4302-4168-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Beginning Android ADK with Arduino
ent://SD_ILS/0/SD_ILS:171717
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Böhmer, Mario. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-4198-0">http://dx.doi.org/10.1007/978-1-4302-4198-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Expert F# 3.0
ent://SD_ILS/0/SD_ILS:171791
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4302-4651-0">http://dx.doi.org/10.1007/978-1-4302-4651-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cognitive Engineering and Neuroergonomics
ent://SD_ILS/0/SD_ILS:547621
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Stanney, Kay M., editor. Hale, Kelly S., editor. Taylor and Francis.<br/>Yer Numarası QP360.7 A383 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439870174">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Flexible imputation of missing data
ent://SD_ILS/0/SD_ILS:539608
2026-02-12T12:32:42Z
2026-02-12T12:32:42Z
Yazar Buuren, Stef van., author.<br/>Yer Numarası QA278 .B88 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439868256">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>