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

System Software Reliability

2025-01-03T15:18:55Z

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

Improvements in System Safety

2025-01-03T15:18:55Z

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

Industrial Deployment of System Engineering Methods

2025-01-03T15:18:55Z

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

Formal Models of Operating System Kernels

2025-01-03T15:18:55Z

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

Formal Refinement for Operating System Kernels

2025-01-03T15:18:55Z

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

Harnessing VLSI System Design with EDA Tools

2025-01-03T15:18:55Z

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

Analyzing Computer System Performance with Perl::PDQ

2025-01-03T15:18:55Z

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

Embedded System Design Modeling, Synthesis and Verification

2025-01-03T15:18:55Z

Yazar Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ingredients for Successful System Level Design Methodology

2025-01-03T15:18:55Z

Yazar Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Earth System Modelling - Volume 3 Coupling Software and Strategies

2025-01-03T15:18:55Z

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

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30690-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01042-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

2025-01-03T15:18:55Z

Yazar Mikulski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97955-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Au, Man Ho. editor. (orcid)0000-0003-2068-9530 Yiu, Siu Ming. editor. Li, Jin. editor. Luo, Xiapu. editor. Wang, Cong. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02744-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74313-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations for Designing User-Centered Systems What System Designers Need to Know about People

2025-01-03T15:18:55Z

Yazar Ritter, Frank E. author. Baxter, Gordon D. author. Churchill, Elizabeth F. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-5134-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principles

2025-01-03T15:18:55Z

Yazar Khan, Mohammad Ayoub. editor. Saeed, Saqib. editor. Darwish, Ashraf. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-40888-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2025-01-03T15:18:55Z

Yazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11743-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-03T15:18:55Z

Yazar Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334282.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-03T15:18:55Z

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

Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Cranefield, Stephen. editor. Riemsdijk, M. Birna. editor. Vázquez-Salceda, Javier. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35545-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business System Management and Engineering From Open Issues to Applications

2025-01-03T15:18:55Z

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

UNIX Operating System The Development Tutorial via UNIX Kernel Services

2025-01-03T15:18:55Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

2025-01-03T15:18:55Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2025-01-03T15:18:55Z

Yazar Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information System Engineering – WISE 2011 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings

2025-01-03T15:18:55Z

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

Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings

2025-01-03T15:18:55Z

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

Control and Automation, and Energy System Engineering International Conferences, CA and CES3 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

2025-01-03T15:18:55Z

Yazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-26010-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

2025-01-03T15:18:55Z

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

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems

2025-01-03T15:18:55Z

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

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

2025-01-03T15:18:55Z

Yazar Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15597-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings

2025-01-03T15:18:55Z

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

Electronics System Design Techniques for Safety Critical Applications

2025-01-03T15:18:55Z

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

Unleash the System On Chip using FPGAs and Handel C

2025-01-03T15:18:55Z

Yazar Kamat, Rajanish K. author. Shinde, Santhosh A. author. Shelake, Vinod G. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9362-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geometric Algebra: An Algebraic System for Computer Games and Animation

2025-01-03T15:18:55Z

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

VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA

2025-01-03T15:18:55Z

Yazar Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-89558-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04143-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approach

2025-01-03T15:18:55Z

Yazar Voros, Nikolaos S. editor. Rosti, Alberto. editor. Hübner, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-2427-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements engineering : from system goals to UML models to software specifications

2025-01-03T15:18:55Z

Yazar Lamsweerde, A. van (Axel)
Yer Numarası QA76.758 L28 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms

2025-01-03T15:18:55Z

Yazar Wieferink, Andreas. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8652-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

2025-01-03T15:18:55Z

Yazar Bergmann, Ralph. editor. Lindemann, Gabriela. editor. Kirn, Stefan. editor. Pěchouček, Michal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87805-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2025-01-03T15:18:55Z

Yazar Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72727-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Processor Design System-on-Chip Computing for ASICs and FPGAs

2025-01-03T15:18:55Z

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

Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings

2025-01-03T15:18:55Z

Yazar Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74949-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2025-01-03T15:18:55Z

Yazar Chen, Peter P. editor. Wong, Leah Y. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77503-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings

2025-01-03T15:18:55Z

Yazar Fischer, Klaus. editor. Timm, Ingo J. editor. André, Elisabeth. editor. Zhong, Ning. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11872283
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

2025-01-03T15:18:55Z

Yazar Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4826-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2025-01-03T15:18:55Z

Yazar Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5138-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11951148
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Level Design of Reconfigurable Systems-on-Chip

2025-01-03T15:18:55Z

Yazar Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136832
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005

2025-01-03T15:18:55Z

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

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings

2025-01-03T15:18:55Z

Yazar Eymann, Torsten. editor. Klügl, Franziska. editor. Lamersdorf, Winfried. editor. Klusch, Matthias. editor. Huhns, Michael N. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11550648
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V

2025-01-03T15:18:55Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24308-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17184-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Da Silva, Dilma. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23502-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming IV

2025-01-03T15:18:55Z

Yazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14291-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31157-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Fontaine, Pascal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29436-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

2025-01-03T15:18:55Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24289-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

2025-01-03T15:18:55Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24311-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20883-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29852-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35333-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24258-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

2025-01-03T15:18:55Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24305-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-0310-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16722-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2025-01-03T15:18:55Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17462-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Goldberg, Ian. editor. Moore, Tyler. editor. (orcid)0000-0002-8771-8191 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32101-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29238-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2025-01-03T15:18:55Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17502-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21759-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13651-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

2025-01-03T15:18:55Z

Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31514-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22559-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2025-01-03T15:18:55Z

Yazar Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30923-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

2025-01-03T15:18:55Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24302-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

2025-01-03T15:18:55Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24296-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92970-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Deka, Ganesh Chandra. editor. Kaiwartya, Omprakash. editor. Vashisth, Pooja. editor. Rathee, Priyanka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2035-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02450-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92997-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings

2025-01-03T15:18:55Z

Yazar Huang, Mengxing. editor. Zhang, Yan. editor. Jing, Weipeng. editor. Mehmood, Amjad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72998-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

2025-01-03T15:18:55Z

Yazar Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66625-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Fault Detection and Correction: Modeling and Applications

2025-01-03T15:18:55Z

Yazar Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1162-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77935-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2025-01-03T15:18:55Z

Yazar Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01461-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

2025-01-03T15:18:55Z

Yazar Montavont, Nicolas. editor. Papadopoulos, Georgios Z. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00247-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05171-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2025-01-03T15:18:55Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89960-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2025-01-03T15:18:55Z

Yazar Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89366-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03769-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

2025-01-03T15:18:55Z

Yazar Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78139-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

2025-01-03T15:18:55Z

Yazar Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72823-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535 Pérez-Yuste, Antonio. editor. (orcid)0000-0002-3503-5065 Briso, César. editor. (orcid)0000-0001-8219-9110 Berbineau, Marion. editor. Pirovano, Alain. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90371-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91632-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools

2025-01-03T15:18:55Z

Yazar Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 van der Mei, R. D. editor. van den Berg, Hans. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90415-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Checking

2025-01-03T15:18:55Z

Yazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75178-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94472-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94135-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93641-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Safety and Security Case Studies for Aerospace Applications

2025-01-03T15:18:55Z

Yazar Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4121-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94821-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Failure Investigation A Near-Miss Analysis Approach

2025-01-03T15:18:55Z

Yazar Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61334-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91563-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95582-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99933-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97925-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76168-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02768-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92375-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03592-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91764-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00840-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00761-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02227-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00359-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01790-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Mann, Zoltán Ádám. editor. Stolz, Volker. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-79090-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Podelski, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99725-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2025-01-03T15:18:55Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02928-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02547-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications

2025-01-03T15:18:55Z

Yazar Wienke, B. R. author. O'Leary, T. R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94054-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71734-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00623-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94764-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lectures on Runtime Verification Introductory and Advanced Topics

2025-01-03T15:18:55Z

Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75632-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-03T15:18:55Z

Yazar Kormanyos, Christopher. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-56718-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90686-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94295-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94301-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Lazovik, Alexander. editor. Schulte, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72125-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2025-01-03T15:18:55Z

Yazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93317-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

2025-01-03T15:18:55Z

Yazar Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66628-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II

2025-01-03T15:18:55Z

Yazar Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14313-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers

2025-01-03T15:18:55Z

Yazar an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54420-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings

2025-01-03T15:18:55Z

Yazar Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931 Murphy, Amy L. editor. Trigoni, Niki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04651-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2025-01-03T15:18:55Z

Yazar Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11653-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014, Proceedings

2025-01-03T15:18:55Z

Yazar Zowghi, Didar. editor. Jin, Zhi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43610-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing 4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Leung, Victor C.M. editor. Chen, Min. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-05506-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

2025-01-03T15:18:55Z

Yazar Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14325-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

2025-01-03T15:18:55Z

Yazar Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08219-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Software Quality

2025-01-03T15:18:55Z

Yazar O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06106-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333002.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03874-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

2025-01-03T15:18:55Z

Yazar Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36672-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

2025-01-03T15:18:55Z

Yazar Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334200.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36424-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

2025-01-03T15:18:55Z

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

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

2025-01-03T15:18:55Z

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

Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen

2025-01-03T15:18:55Z

Yazar Hahn, Axel. author. Häusler, Stefan. author. große Austing, Stephan. author. SpringerLink (Online service)
Yer Numarası ONLINE(337101.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34510-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen

2025-01-03T15:18:55Z

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

Autonomic Computing Principles, Design and Implementation

2025-01-03T15:18:55Z

Yazar Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Yer Numarası ONLINE(331115.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering and Management for Software Development Projects

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

Yazar Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Yer Numarası ONLINE(334328.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

2025-01-03T15:18:55Z

Yazar Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Yer Numarası ONLINE(334508.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37974-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

2025-01-03T15:18:55Z

Yazar Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334662.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38750-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2025-01-03T15:18:55Z

Yazar Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Yer Numarası ONLINE(334682.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

2025-01-03T15:18:55Z

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

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

2025-01-03T15:18:55Z

Yazar Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334686.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38865-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Detection of Intrusions and Malware, and Vulnerability Assessment 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings

2025-01-03T15:18:55Z

Yazar Rieck, Konrad. editor. Stewin, Patrick. editor. Seifert, Jean-Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334760.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39235-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile and Ubiquitous Systems: Computing, Networking, and Services 9th International Conference, MobiQuitous 2012, Beijing, China, December 12-14, 2012. Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Zheng, Kan. editor. Li, Mo. editor. Jiang, Hongbo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334916.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40238-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2025-01-03T15:18:55Z

Yazar Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334995.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-03T15:18:55Z

Yazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Yer Numarası ONLINE(335120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

2025-01-03T15:18:55Z

Yazar Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335148.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41908-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-03T15:18:55Z

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

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

2025-01-03T15:18:55Z

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

Software Product Quality Control

2025-01-03T15:18:55Z

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

Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems

2025-01-03T15:18:55Z

Yazar Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334646.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38673-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

2025-01-03T15:18:55Z

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

Model-Driven Dependability Assessment of Software Systems

2025-01-03T15:18:55Z

Yazar Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Yer Numarası ONLINE(334812.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-03T15:18:55Z

Yazar Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334870.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-03T15:18:55Z

Yazar Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334882.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

2025-01-03T15:18:55Z

Yazar Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.
Yer Numarası ONLINE(335047.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41043-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

2025-01-03T15:18:55Z

Yazar Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335179.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45025-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen

2025-01-03T15:18:55Z

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

Semantic Web Services Advancement through Evaluation

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35576-9
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

2025-01-03T15:18:55Z

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

From scientific instrument to industrial machine Coping with architectural stress in embedded systems

2025-01-03T15:18:55Z

Yazar Doornbos, Richard. editor. van Loo, Sjir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4147-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Software Development Designing and Managing the Life Cycle

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

Embedded Technologies Vom Treiber bis zur Grafik-Anbindung

2025-01-03T15:18:55Z

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

Improving Software Testing Technical and Organizational Developments

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

Resilience Assessment and Evaluation of Computing Systems

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

2025-01-03T15:18:55Z

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

Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

2025-01-03T15:18:55Z

Yazar Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30782-9
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

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

Transactions on Petri Nets and Other Models of Concurrency VI

2025-01-03T15:18:55Z

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

Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

2025-01-03T15:18:55Z

Yazar Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31217-5
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

2025-01-03T15:18:55Z

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

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

2025-01-03T15:18:55Z

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

2025-01-03T15:18:55Z

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

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

2025-01-03T15:18:55Z

Yazar France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33666-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

2025-01-03T15:18:55Z

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

Model-Based Software Performance Analysis

2025-01-03T15:18:55Z

Yazar Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13621-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16277-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

2025-01-03T15:18:55Z

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

Euro-Par 2010 Parallel Processing Workshops HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31–September 3, 2010, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Guarracino, Mario R. editor. Vivien, Frédéric. editor. Träff, Jesper Larsson. editor. Cannatoro, Mario. editor. Danelutto, Marco. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21878-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings

2025-01-03T15:18:55Z

Yazar Cheng, Yu. editor. Eun, Do Young. editor. Qin, Zhiguang. editor. Song, Min. editor. Xing, Kai. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23490-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Parallel Computing

2025-01-03T15:18:55Z

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

Real-Time Systems Design Principles for Distributed Embedded Applications

2025-01-03T15:18:55Z

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

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

2025-01-03T15:18:55Z

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

Requirements Engineering

2025-01-03T15:18:55Z

Yazar Hull, Elizabeth. author. Jackson, Ken. author. Dick, Jeremy. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-405-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17851-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2025-01-03T15:18:55Z

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

Simulator-based Human Factors Studies Across 25 Years The History of the Halden Man-Machine Laboratory

2025-01-03T15:18:55Z

Yazar Skjerve, Ann Britt. editor. Bye, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-003-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grids, Clouds and Virtualization

2025-01-03T15:18:55Z

Yazar Cafaro, Massimo. editor. Aloisio, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-049-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

2025-01-03T15:18:55Z

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

Software Reliability Assessment with OR Applications

2025-01-03T15:18:55Z

Yazar Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-204-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sensing and Systems in Pervasive Computing Engineering Context Aware Systems

2025-01-03T15:18:55Z

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

Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers

2025-01-03T15:18:55Z

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

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings

2025-01-03T15:18:55Z

Yazar Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21713-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

2025-01-03T15:18:55Z

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

Accelerating Test, Validation and Debug of High Speed Serial Interfaces

2025-01-03T15:18:55Z

Yazar Fan, Yongquan. author. Zilic, Zeljko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9398-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The design and implementation of multimedia software with examples in Java

2025-01-03T15:18:55Z

Yazar Bernstein, David, 1960 June 9-
Yer Numarası QA76.76.I59 B47 2011
Format: Kitap
Durum Beytepe Kütüphanesi~1

HPC@Green IT Green High Performance Computing Methods

2025-01-03T15:18:55Z

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

Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Zheng, Jun. editor. Mao, Shiwen. editor. Midkiff, Scott F. editor. Zhu, Hua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11723-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Doulamis, Anastasios. editor. Mambretti, Joe. editor. Tomkos, Ioannis. editor. Varvarigou, Theodora. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11733-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Zhang, Wu. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Tong, Weiqin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11842-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

2025-01-03T15:18:55Z

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

Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings

2025-01-03T15:18:55Z

Yazar Al-Begain, Khalid. editor. Fiems, Dieter. editor. Knottenbelt, William J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13568-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Lin, Hai-Xiang. editor. Alexander, Michael. editor. Forsell, Martti. editor. Knüpfer, Andreas. editor. Prodan, Radu. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14122-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers

2025-01-03T15:18:55Z

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

Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings

2025-01-03T15:18:55Z

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

Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers

2025-01-03T15:18:55Z

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

A Process Algebraic Approach to Software Architecture Design

2025-01-03T15:18:55Z

Yazar Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-223-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

2025-01-03T15:18:55Z

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

Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings

2025-01-03T15:18:55Z

Yazar Özcan, Abdulkadir. 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-14171-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings

2025-01-03T15:18:55Z

Yazar Pandurangan, Gopal. editor. Anil Kumar, V. S. editor. Ming, Gu. editor. Liu, Yunhao. editor. Li, Yingshu. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models

2025-01-03T15:18:55Z

Yazar Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15228-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Fratta, Luigi. editor. Schulzrinne, Henning. editor. Takahashi, Yutaka. editor. Spaniol, Otto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01399-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

2025-01-03T15:18:55Z

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

Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings

2025-01-03T15:18:55Z

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

Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

2025-01-03T15:18:55Z

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

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

2025-01-03T15:18:55Z

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

Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03417-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Sips, Henk. editor. Epema, Dick. editor. Lin, Hai-Xiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03869-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04284-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04468-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

2025-01-03T15:18:55Z

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

Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05415-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers

2025-01-03T15:18:55Z

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

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

2025-01-03T15:18:55Z

Yazar Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05465-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecting Dependable Systems VI

2025-01-03T15:18:55Z

Yazar Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10248-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Jaatun, Martin Gilje. editor. Zhao, Gansen. editor. Rong, Chunming. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10665-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

2025-01-03T15:18:55Z

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

Abnahme komplexer Software-Systeme Das Praxishandbuch

2025-01-03T15:18:55Z

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

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

2025-01-03T15:18:55Z

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

Transactions on Aspect-Oriented Software Development V

2025-01-03T15:18:55Z

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

Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Vicat-Blanc Primet, Pascale. editor. Kudoh, Tomohiro. editor. Mambretti, Joe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02080-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02085-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings

2025-01-03T15:18:55Z

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

Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02205-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Mauthe, Andreas. editor. Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02472-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2025-01-03T15:18:55Z

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

Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings

2025-01-03T15:18:55Z

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

Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers

2025-01-03T15:18:55Z

Yazar Mueller, Peter. editor. Cao, Jian-Nong. editor. Wang, Cho-Li. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10485-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2025-01-03T15:18:55Z

Yazar Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10619-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings

2025-01-03T15:18:55Z

Yazar Bartolini, Novella. editor. Nikoletseas, Sotiris. editor. Sinha, Prasun. editor. Cardellini, Valeria. editor. Mahanti, Anirban. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10625-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers

2025-01-03T15:18:55Z

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

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

2025-01-03T15:18:55Z

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

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2025-01-03T15:18:55Z

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

Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings

2025-01-03T15:18:55Z

Yazar Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69814-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2025-01-03T15:18:55Z

Yazar Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings

2025-01-03T15:18:55Z

Yazar Das, Amitabha. editor. Pung, Hung Keng. editor. Lee, Francis Bu Sung. editor. Wong, Lawrence Wai Choong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79549-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings

2025-01-03T15:18:55Z

Yazar Li, Yingshu. editor. Huynh, Dung T. editor. Das, Sajal K. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88582-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

2025-01-03T15:18:55Z

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

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2025-01-03T15:18:55Z

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

Network Performance Analysis Using the J Programming Language

2025-01-03T15:18:55Z

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

Guide to Advanced Empirical Software Engineering

2025-01-03T15:18:55Z

Yazar Shull, Forrest. editor. Singer, Janice. editor. Sjøberg, Dag I. K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-044-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings

2025-01-03T15:18:55Z

Yazar Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68083-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Testing Network An Integral Approach to Test Activities in Large Software Projects

2025-01-03T15:18:55Z

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

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

2025-01-03T15:18:55Z

Yazar Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79124-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2025-01-03T15:18:55Z

Yazar Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79230-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Common Component Modeling Example Comparing Software Component Models

2025-01-03T15:18:55Z

Yazar Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

2025-01-03T15:18:55Z

Yazar Luque, Emilio. editor. Margalef, Tomàs. editor. Benítez, Domingo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85451-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next Generation Teletraffic and Wired/Wireless Advanced Networking 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings

2025-01-03T15:18:55Z

Yazar Balandin, Sergey. editor. Moltchanov, Dmitri. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85500-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2025-01-03T15:18:55Z

Yazar Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb

2025-01-03T15:18:55Z

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

NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedings

2025-01-03T15:18:55Z

Yazar Akyildiz, Ian F. editor. Sivakumar, Raghupathy. editor. Ekici, Eylem. editor. Oliveira, Jaudelice Cavalcante de. editor. McNair, Janise. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72606-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2025-01-03T15:18:55Z

Yazar Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2025-01-03T15:18:55Z

Yazar Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2025-01-03T15:18:55Z

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

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2025-01-03T15:18:55Z

Yazar Stojmenovic, Ivan. editor. Thulasiram, Ruppa K. editor. Yang, Laurence T. editor. Jia, Weijia. editor. Guo, Minyi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74742-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings

2025-01-03T15:18:55Z

Yazar Thulasiraman, Parimala. editor. He, Xubin. editor. Xu, Tony Li. editor. Denko, Mieso K. editor. Thulasiram, Ruppa K. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74767-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

2025-01-03T15:18:55Z

Yazar Bondavalli, Andrea. editor. Brasileiro, Francisco. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75294-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2025-01-03T15:18:55Z

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

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2025-01-03T15:18:55Z

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

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers

2025-01-03T15:18:55Z

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

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

2025-01-03T15:18:55Z

Yazar Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5897-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1