Arama Sonuçları Software engineering - Daraltılmış: 2012

Experimentation in Software Engineering

2024-11-25T16:45:49Z

Yazar Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29044-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Network Engineering

2024-11-25T16:45:49Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28670-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software engineering : the current practices

2024-11-25T16:45:49Z

Yazar Rajlich, Vaclav.
Yer Numarası QA76.758 R36 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

Handbook of software engineering & knowledge engineering

2024-11-25T16:45:49Z

Yazar Chang, Shi Kuo, 1944- ed.
Yer Numarası QA 76.758 H36 2001- V.2
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software Engineering Research,Management and Applications 2011

2024-11-25T16:45:49Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23202-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications 2012

2024-11-25T16:45:49Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30460-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering

2024-11-25T16:45:49Z

Yazar Joint Conference on Knowledge-Based Software Engineering (10th : 2012 : Rhodes (Island), Greece) Virvou, Maria. Matsuura, Saeko. IOS Press.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489951
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2024-11-25T16:45:49Z

Yazar Lopp, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4315-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Knowledge Engineering: Theory and Practice Volume 2

2024-11-25T16:45:49Z

Yazar Wu, Yanwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25349-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29320-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Knowledge Engineering: Theory and Practice Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)

2024-11-25T16:45:49Z

Yazar Zhang, Wei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29455-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Kienzle, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29645-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34281-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Knowledge Engineering: Theory and Practice Volume 1

2024-11-25T16:45:49Z

Yazar Wu, Yanwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03718-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

2024-11-25T16:45:49Z

Yazar Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25231-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Multimedia, Software Engineering and Computing Vol.2 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China

2024-11-25T16:45:49Z

Yazar Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25986-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Multimedia, Software Engineering and Computing Vol.1 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China

2024-11-25T16:45:49Z

Yazar Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25989-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28038-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28166-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

2024-11-25T16:45:49Z

Yazar Yevick, David.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer, network, software, and hardware engineering with applications

2024-11-25T16:45:49Z

Yazar Shneidewind, Norman.
Yer Numarası TK7885 S2564 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Regnell, Björn. editor. Damian, Daniela. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28714-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28830-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28872-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer- Aided Design in Power Engineering Application of Software Tools

2024-11-25T16:45:49Z

Yazar Stojkovic, Zlatan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30206-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Wohlin, Claes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30350-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

2024-11-25T16:45:49Z

Yazar Heisel, Maritta. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30835-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31202-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33119-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Avgeriou, Paris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33176-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33826-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35267-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Winckler, Marco. editor. Forbrig, Peter. editor. Bernhaupt, Regina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34347-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer, network, software, and hardware engineering with applications

2024-11-25T16:45:49Z

Yazar Schneidewind, Norman.
Yer Numarası ONLINE
Elektronik Erişim IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social software engineering development and collaboration with social networking

2024-11-25T16:45:49Z

Yazar Keyes, Jessica, 1950-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case study research in software engineering guidelines and examples

2024-11-25T16:45:49Z

Yazar Runeson, Per, 1966-
Yer Numarası ONLINE
Elektronik Erişim Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818522 John Wiley http://dx.doi.org/10.1002/9781118181034 http://swb.eblib.com/patron/FullRecord.aspx?p=818522
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Oracle database performance and scalability : a quantitative approach

2024-11-25T16:45:49Z

Yazar Liu, Henry H.
Yer Numarası QA76.9.D3 L5945 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

The ScrumMaster study guide

2024-11-25T16:45:49Z

Yazar Schiel, James.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise software architecture and design entities, services, and resources

2024-11-25T16:45:49Z

Yazar Duggan, Dominic.
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9781118180518 http://site.ebrary.com/lib/alltitles/Doc?id=10529323
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Definition and Management

2024-11-25T16:45:49Z

Yazar Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24291-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tcl/Tk a developer's guide

2024-11-25T16:45:49Z

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

Analysis of the MPEG-1 layer III (MP3) algorithm using MATLAB

2024-11-25T16:45:49Z

Yazar Thiagarajan, Jayaraman Jayaraman. Spanias, Andreas.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440470
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Building enterprise systems with ODP an introduction to open distributed processing

2024-11-25T16:45:49Z

Yazar Linington, Peter F.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Arduino and Kinect Projects Design, Build, Blow Their Minds

2024-11-25T16:45:49Z

Yazar Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4168-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning Android ADK with Arduino

2024-11-25T16:45:49Z

Yazar Böhmer, Mario. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4198-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Expert F# 3.0

2024-11-25T16:45:49Z

Yazar Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4651-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

2024-11-25T16:45:49Z

Yazar Blunden, Bill. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-5108-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Systems Traceability

2024-11-25T16:45:49Z

Yazar Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2239-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Interoperability V Shaping Enterprise Interoperability in the Future Internet

2024-11-25T16:45:49Z

Yazar Poler, Raúl. editor. Doumeingts, Guy. editor. Katzy, Bernhard. editor. Chalmeta, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2819-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Patterns, Programming and Everything

2024-11-25T16:45:49Z

Yazar Breitman, Karin K. editor. Horspool, R. Nigel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2350-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Ontology Engineering in Cloud Services, Networks and Management Systems

2024-11-25T16:45:49Z

Yazar Serrano Orozco, J. Martín. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-2236-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied semantic web technologies

2024-11-25T16:45:49Z

Yazar Sugumaran, Vijayan, 1960- Gulla, Jon Atle.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=392571
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge

2024-11-25T16:45:49Z

Yazar Czernohous, Christoph. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68426-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern

2024-11-25T16:45:49Z

Yazar Moser, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13363-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Algebraic Specification and Formal Software Development

2024-11-25T16:45:49Z

Yazar Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Thinking Research Studying Co-Creation in Practice

2024-11-25T16:45:49Z

Yazar Plattner, Hasso. editor. Meinel, Christoph. editor. Leifer, Larry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21643-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From the Web to the Grid and Beyond Computing Paradigms Driven by High-Energy Physics

2024-11-25T16:45:49Z

Yazar Brun, René. editor. Carminati, Federico. editor. Galli Carminati, Giuliana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23157-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network Hacks - Intensivkurs Angriff und Verteidigung mit Python

2024-11-25T16:45:49Z

Yazar Ballmann, Bastian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24305-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Varbanescu, Ana Lucia. editor. Molnos, Anca. editor. Nieuwpoort, Rob. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24322-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Herausforderungen durch Echtzeitbetrieb Echtzeit 2011

2024-11-25T16:45:49Z

Yazar Halang, Wolfgang A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24658-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informationstechnologie für Ingenieure

2024-11-25T16:45:49Z

Yazar Eigner, Martin. author. Gerhardt, Florian. author. Gilz, Torsten. author. Mogo Nem, Fabrice. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24893-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Elektrik/Elektronik-Architekturen im Kraftfahrzeug Modellierung und Bewertung von Echtzeitsystemen

2024-11-25T16:45:49Z

Yazar Streichert, Thilo. author. Traub, Matthias. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25478-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I

2024-11-25T16:45:49Z

Yazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27204-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Biffl, Stefan. editor. Winkler, Dietmar. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27213-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27269-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III

2024-11-25T16:45:49Z

Yazar Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27275-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II

2024-11-25T16:45:49Z

Yazar Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27278-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I

2024-11-25T16:45:49Z

Yazar Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27281-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

2024-11-25T16:45:49Z

Yazar Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27299-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II

2024-11-25T16:45:49Z

Yazar Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27308-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

2024-11-25T16:45:49Z

Yazar Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27317-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Mödersheim, Sebastian. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27375-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Resource Discovery Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Lacroix, Zoé. editor. Vidal, María Esther. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27392-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Improving Software Testing Technical and Organizational Developments

2024-11-25T16:45:49Z

Yazar Majchrzak, Tim A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27464-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27660-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27694-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27901-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Rautiainen, Mika. editor. Korhonen, Timo. editor. Mutafungwa, Edward. editor. Ovaska, Eila. editor. Katasonov, Artem. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27916-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Correctness-by-Construction Approach to Programming

2024-11-25T16:45:49Z

Yazar Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27919-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27940-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Harth, Andreas. editor. Koch, Nora. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27997-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Gheorghe, Marian. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Verlan, Sergey. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28024-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28551-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28566-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Services Science Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Snene, Mehdi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28227-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technological Innovation for Value Creation Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Camarinha-Matos, Luis M. editor. Shahamatnia, Ehsan. editor. Nunes, Gonçalo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28255-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Building a National Distributed e-Infrastructure–PL-Grid Scientific and Technical Achievements

2024-11-25T16:45:49Z

Yazar Bubak, Marian. editor. Szepieniec, Tomasz. editor. Wiatr, Kazimierz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28267-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

2024-11-25T16:45:49Z

Yazar Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28279-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28293-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28365-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28400-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency V

2024-11-25T16:45:49Z

Yazar Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29072-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems

2024-11-25T16:45:49Z

Yazar Geisberger, Eva. editor. Broy, Manfred. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29099-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29273-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Thilagam, P. Santhi. editor. Pais, Alwyn Roshan. editor. Chandrasekaran, K. editor. Balakrishnan, N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29280-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Games, Actions and Social Software Multidisciplinary Aspects

2024-11-25T16:45:49Z

Yazar Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29326-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

2024-11-25T16:45:49Z

Yazar Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29414-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29822-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

2024-11-25T16:45:49Z

Yazar Henderson-Sellers, Brian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29825-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29834-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29860-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29863-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30473-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30476-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I

2024-11-25T16:45:49Z

Yazar Benlamri, Rachid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30507-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Information Systems 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Zhang, Runtong. editor. Zhang, Juliang. editor. Zhang, Zhenji. editor. Filipe, Joaquim. editor. Cordeiro, José. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29958-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Becvar, Zdenek. editor. Bestak, Robert. editor. Kencl, Lukas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30039-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I

2024-11-25T16:45:49Z

Yazar Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30045-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Bruni, Roberto. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30065-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Vinel, Alexey. editor. Mehmood, Rashid. editor. Berbineau, Marion. editor. Garcia, Cristina Rico. editor. Huang, Chung-Ming. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29667-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29709-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I

2024-11-25T16:45:49Z

Yazar Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29737-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II

2024-11-25T16:45:49Z

Yazar Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29740-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30823-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30829-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RoboCup 2011: Robot Soccer World Cup XV

2024-11-25T16:45:49Z

Yazar Röfer, Thomas. editor. Mayer, N. Michael. editor. Savage, Jesus. editor. Saranlı, Uluc̨. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32060-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Collective Intelligence VII

2024-11-25T16:45:49Z

Yazar Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32066-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Zsók, Viktória. editor. Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32096-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Testing in the Cloud Migration and Execution

2024-11-25T16:45:49Z

Yazar Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32122-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32770-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Networks in the Internet of Services 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Camarinha-Matos, Luis M. editor. Xu, Lai. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32775-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32778-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32820-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32885-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Barceló, Pablo. editor. Pichler, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32925-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Koutny, Maciej. editor. Ulidowski, Irek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32940-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32943-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31753-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31759-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31762-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31869-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Pallis, George. editor. Jmaiel, Mohamed. editor. Charfi, Anis. editor. Graupner, Sven. editor. Karabulut, Yücel. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31875-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31915-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Ystad, Sølvi. editor. Aramaki, Mitsuko. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. Mohanty, Sanghamitra. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31980-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33296-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33308-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33314-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented and Cloud Computing First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Paoli, Flavio. editor. Pimentel, Ernesto. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33427-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Hammouda, Imed. editor. Lundell, Björn. editor. Mikkonen, Tommi. editor. Scacchi, Walt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33442-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III

2024-11-25T16:45:49Z

Yazar Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33503-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I

2024-11-25T16:45:49Z

Yazar Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33509-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Finkel, Alain. editor. Leroux, Jérôme. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33512-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II

2024-11-25T16:45:49Z

Yazar Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33515-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Träff, Jesper Larsson. editor. Benkner, Siegfried. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33518-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33533-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33536-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33587-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33606-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33609-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33615-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33636-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

2024-11-25T16:45:49Z

Yazar Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34176-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34188-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Computing Broadening Web Search

2024-11-25T16:45:49Z

Yazar Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34213-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Liu, Chengfei. editor. Ludwig, Heiko. editor. Toumani, Farouk. editor. Yu, Qi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34321-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34327-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34407-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Kim, Tai-hoon. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35600-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35603-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35606-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Engineering of Embedded Systems The SPES 2020 Methodology

2024-11-25T16:45:49Z

Yazar Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34614-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34691-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Multimedia Information Processing – PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Lin, Weisi. editor. Xu, Dong. editor. Ho, Anthony. editor. Wu, Jianxin. editor. He, Ying. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34778-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Hähnle, Reiner. editor. Knoop, Jens. editor. Margaria, Tiziana. editor. Schreiner, Dietmar. editor. Steffen, Bernhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34781-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Cossentino, Massimo. editor. Kaisers, Michael. editor. Tuyls, Karl. editor. Weiss, Gerhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34799-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Intelligence Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Paternò, Fabio. editor. Ruyter, Boris. editor. Markopoulos, Panos. editor. Santoro, Carmen. editor. Loenen, Evert. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34898-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Bellalta, Boris. editor. Vinel, Alexey. editor. Jonsson, Magnus. editor. Barcelo, Jaume. editor. Maslennikov, Roman. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34976-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes

2024-11-25T16:45:49Z

Yazar Storm, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2381-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Webseiten-Programmierung Sprachen, Werkzeuge, Entwicklung

2024-11-25T16:45:49Z

Yazar Pomaska, Günter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2485-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Anwendungsentwicklung für Intelligente Umgebungen im Web Engineering

2024-11-25T16:45:49Z

Yazar Heil, Andreas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2551-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement

2024-11-25T16:45:49Z

Yazar Aichele, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-1981-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer, Informatics, Cybernetics and Applications Proceedings of the CICA 2011

2024-11-25T16:45:49Z

Yazar He, Xingui. editor. Hua, Ertian. editor. Lin, Yun. editor. Liu, Xiaozhu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1839-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Harnessing VLSI System Design with EDA Tools

2024-11-25T16:45:49Z

Yazar Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1864-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC

2024-11-25T16:45:49Z

Yazar Steyaert, Michiel. editor. van Roermund, Arthur. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1926-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Code Generation with Templates

2024-11-25T16:45:49Z

Yazar Arnoldus, Jeroen. author. van den Brand, Mark. author. Serebrenik, A. author. Brunekreef, J.J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-56-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

2024-11-25T16:45:49Z

Yazar Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-54216-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Software Development Designing and Managing the Life Cycle

2024-11-25T16:45:49Z

Yazar Langer, Arthur M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2300-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundational Java Key Elements and Practical Programming

2024-11-25T16:45:49Z

Yazar Parsons, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2479-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

2024-11-25T16:45:49Z

Yazar Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2494-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Design of Cloud Workflow Systems

2024-11-25T16:45:49Z

Yazar Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operational Semantics and Verification of Security Protocols

2024-11-25T16:45:49Z

Yazar Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78636-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Moderne C++ Programmierung Klassen, Templates, Design Patterns

2024-11-25T16:45:49Z

Yazar Schneeweiß, Ralf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21429-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Earth System Modelling - Volume 3 Coupling Software and Strategies

2024-11-25T16:45:49Z

Yazar Valcke, Sophie. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23360-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

BOINC Hochleistungsrechnen mit Berkeley Open Infrastructure for Network Computing

2024-11-25T16:45:49Z

Yazar Ries, Christian Benjamin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23383-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Technologies Vom Treiber bis zur Grafik-Anbindung

2024-11-25T16:45:49Z

Yazar Wietzke, Joachim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23996-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

2024-11-25T16:45:49Z

Yazar Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25264-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

2024-11-25T16:45:49Z

Yazar Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25271-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Juels, Ari. editor. Paar, Christof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25286-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25920-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Bononi, Luciano. editor. Datta, Ajoy K. editor. Devismes, Stéphane. editor. Misra, Archan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25959-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27705-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27872-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Schmitt, Jens B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28540-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28067-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Filipe, Joaquim. editor. Cordeiro, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28082-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I

2024-11-25T16:45:49Z

Yazar Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28108-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II

2024-11-25T16:45:49Z

Yazar Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28115-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

2024-11-25T16:45:49Z

Yazar Jónasson, Kristján. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28145-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I

2024-11-25T16:45:49Z

Yazar Jónasson, Kristján. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28151-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Picco, Gian Pietro. editor. Heinzelman, Wendi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28169-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Gris, Martin. editor. Yang, Guang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29336-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

2024-11-25T16:45:49Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28525-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Passive and Active Measurement 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Taft, Nina. editor. Ricciato, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28537-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29479-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

2024-11-25T16:45:49Z

Yazar Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29485-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30397-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30564-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30598-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30633-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

2024-11-25T16:45:49Z

Yazar Gibbons, Jeremy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32202-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Vidal, Germán. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32211-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32897-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Zhang, Joy Ying. editor. Wilkiewicz, Jarek. editor. Nahapetian, Ani. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32320-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers

2024-11-25T16:45:49Z

Yazar Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32326-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32347-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Interoperability 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Sinderen, Marten. editor. Johnson, Pontus. editor. Xu, Xiaofei. editor. Doumeingts, Guy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33068-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business System Management and Engineering From Open Issues to Applications

2024-11-25T16:45:49Z

Yazar Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32439-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32469-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32495-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32573-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32606-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bio-Inspired Models of Network, Information, and Computing Systems 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Suzuki, Junichi. editor. Nakano, Tadashi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32615-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32627-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Lee, Geuk. editor. Howard, Daniel. editor. Kang, Jeong Jin. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32645-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32677-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Bikakis, Antonis. editor. Giurca, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32689-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Lee, Geuk. editor. Howard, Daniel. editor. Ślęzak, Dominik. editor. Hong, You Sik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32692-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2012: Principles and Practice of Multi-Agent Systems 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Rahwan, Iyad. editor. Wobcke, Wayne. editor. Sen, Sandip. editor. Sugawara, Toshiharu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32729-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Voting and Identity Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Kiayias, Aggelos. editor. Lipmaa, Helger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32747-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32759-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33365-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Gollmann, Dieter. editor. Freiling, Felix C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33383-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33386-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Narasimhan, Priya. editor. Triantafillou, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35170-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II

2024-11-25T16:45:49Z

Yazar Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35173-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I

2024-11-25T16:45:49Z

Yazar Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35176-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency VI

2024-11-25T16:45:49Z

Yazar Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35179-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35182-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35194-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35248-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Cho, Hyun-seob. editor. Kim, Tai-hoon. editor. Mohammed, Sabah. editor. Adeli, Hojjat. editor. Oh, Myoung-kwan. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35251-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33860-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Goldberg, Paul W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35311-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Bach, Joscha. editor. Goertzel, Ben. editor. Iklé, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35506-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33999-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Durán, Franciso. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34005-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Verber, Domen. editor. Cipolla-Ficarra, Miguel. editor. Kammüller, Florian. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34010-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34026-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Kim, Tai-hoon. editor. Ko, Dae-sik. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor. Abawajy, Jemal. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35594-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Grossniklaus, Michael. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35623-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35743-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

2024-11-25T16:45:49Z

Yazar Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35746-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Rivest, Louis. editor. Bouras, Abdelaziz. editor. Louhichi, Borhen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35758-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34883-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Wang, X. Sean. editor. Cruz, Isabel. editor. Delis, Alex. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35063-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Information Technology 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Papasratorn, Borworn. editor. Charoenkitkarn, Nipon. editor. Lavangnananda, Kittichai. editor. Chutimaskul, Wichian. editor. Vanijja, Vajirasak. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35076-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

2024-11-25T16:45:49Z

Yazar Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-233-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service Virtualization Reality is Overrated

2024-11-25T16:45:49Z

Yazar Michelsen, John. author. English, Jason. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4672-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed, Embedded and Real-time Java Systems

2024-11-25T16:45:49Z

Yazar Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8158-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Doing Design Ethnography

2024-11-25T16:45:49Z

Yazar Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2726-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Scientific Computing in C++

2024-11-25T16:45:49Z

Yazar Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2736-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Configuration Problem Solving

2024-11-25T16:45:49Z

Yazar Petrie, Charles J. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recht ex machina Formalisierung des Rechts im Internet der Dienste

2024-11-25T16:45:49Z

Yazar Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17671-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring

2024-11-25T16:45:49Z

Yazar Rumpe, Bernhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22430-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abgründe der Informatik Geheimnisse und Gemeinheiten

2024-11-25T16:45:49Z

Yazar Potton, Alois. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22975-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book

2024-11-25T16:45:49Z

Yazar Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23099-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Service Development Combining Adaptive Methods and Flexible Solutions

2024-11-25T16:45:49Z

Yazar Lankhorst, Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28188-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28583-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28209-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management Concepts, Languages, Architectures

2024-11-25T16:45:49Z

Yazar Weske, Mathias. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28616-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 21st International Conference, CC 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

2024-11-25T16:45:49Z

Yazar O’Boyle, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28652-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28675-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28717-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Birkedal, Lars. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28729-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Web Services Advancement through Evaluation

2024-11-25T16:45:49Z

Yazar Blake, Brian. editor. Cabral, Liliana. editor. König-Ries, Birgitta. editor. Küster, Ulrich. editor. Martin, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28735-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T16:45:49Z

Yazar Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28756-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 21st European Symposium on Programming, ESOP 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

2024-11-25T16:45:49Z

Yazar Seidl, Helmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28869-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28891-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Management Leadership in an Agile Environment

2024-11-25T16:45:49Z

Yazar Medinilla, Ángel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28909-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28939-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relationale Datenbanken und SQL in Theorie und Praxis

2024-11-25T16:45:49Z

Yazar Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28986-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Resilience Assessment and Evaluation of Computing Systems

2024-11-25T16:45:49Z

Yazar Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29032-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

2024-11-25T16:45:49Z

Yazar Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29113-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Stary, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29133-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Protocol Engineering

2024-11-25T16:45:49Z

Yazar König, Hartmut. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29145-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29154-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Dua, Sumeet. editor. Gangopadhyay, Aryya. editor. Thulasiraman, Parimala. editor. Straccia, Umberto. editor. Shepherd, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29166-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Collective Intelligence VI

2024-11-25T16:45:49Z

Yazar Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29356-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Zhang, Xi. editor. Qiao, Daji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29222-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

2024-11-25T16:45:49Z

Yazar Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29517-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Multimedia Communications 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Atzori, Luigi. editor. Delgado, Jaime. editor. Giusto, Daniele. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30419-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Pentikousis, Kostas. editor. Aguiar, Rui. editor. Sargento, Susana. editor. Agüero, Ramón. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30422-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Mas, Antonia. editor. Mesquida, Antoni. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30439-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29892-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30561-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II

2024-11-25T16:45:49Z

Yazar Benlamri, Rachid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30567-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers

2024-11-25T16:45:49Z

Yazar Venkatasubramanian, Nalini. editor. Getov, Vladimir. editor. Steglich, Stephan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30607-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedings

2024-11-25T16:45:49Z

Yazar Koucheryavy, Yevgeni. editor. Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30630-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1