Arama Sonuçları Computer networks. - Daraltılmış: Logic design.

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-11-25T09:43:08Z

Yazar Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99498-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

2024-11-25T09:43:08Z

Yazar Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00129-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

2024-11-25T09:43:08Z

Yazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01141-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-11-25T09:43:08Z

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

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

2024-11-25T09:43:08Z

Yazar Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76953-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-11-25T09:43:08Z

Yazar Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03232-6
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

2024-11-25T09:43:08Z

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

Transactions on Computational Science XXXIII

2024-11-25T09:43:08Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58039-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

2024-11-25T09:43:08Z

Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99130-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2024-11-25T09:43:08Z

Yazar Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77610-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73359-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Programming Theory and Practice

2024-11-25T09:43:08Z

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

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2024-11-25T09:43:08Z

Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334073.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334136.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36157-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2024-11-25T09:43:08Z

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

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

Yazar Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335141.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T09:43:08Z

Yazar Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334156.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

Yazar Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334697.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38911-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T09:43:08Z

Yazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334711.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

2024-11-25T09:43:08Z

Yazar Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Yer Numarası ONLINE(332964.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03089-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası ONLINE(334041.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

Yazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332921.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T09:43:08Z

Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334556.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

2024-11-25T09:43:08Z

Yazar Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Yer Numarası ONLINE(334822.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39617-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334968.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

2024-11-25T09:43:08Z

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

ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2024-11-25T09:43:08Z

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

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2024-11-25T09:43:08Z

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

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings

2024-11-25T09:43:08Z

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

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19208-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers III

2024-11-25T09:43:08Z

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

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

2024-11-25T09:43:08Z

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

Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

2024-11-25T09:43:08Z

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

Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

2024-11-25T09:43:08Z

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

Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

2024-11-25T09:43:08Z

Yazar France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21470-7
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

2024-11-25T09:43:08Z

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

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

2024-11-25T09:43:08Z

Yazar Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22359-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

2024-11-25T09:43:08Z

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

ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings

2024-11-25T09:43:08Z

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

CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

2024-11-25T09:43:08Z

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

Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Maciaszek, Leszek A. editor. Loucopoulos, Pericles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23391-3
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

2024-11-25T09:43:08Z

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

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

2024-11-25T09:43:08Z

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

Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings

2024-11-25T09:43:08Z

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

Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

2024-11-25T09:43:08Z

Yazar Agha, Gul. editor. Danvy, Olivier. editor. Meseguer, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24933-4
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

2024-11-25T09:43:08Z

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

Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 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

2024-11-25T09:43:08Z

Yazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27207-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-25T09:43:08Z

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

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-25T09:43:08Z

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

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2024-11-25T09:43:08Z

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

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

2024-11-25T09:43:08Z

Yazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22012-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings

2024-11-25T09:43:08Z

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

Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings

2024-11-25T09:43:08Z

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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings

2024-11-25T09:43:08Z

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

Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings

2024-11-25T09:43:08Z

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

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

2024-11-25T09:43:08Z

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

Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings

2024-11-25T09:43:08Z

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

Transactions on High-Performance Embedded Architectures and Compilers IV

2024-11-25T09:43:08Z

Yazar Stenström, Per. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24568-8
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

2024-11-25T09:43:08Z

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

Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

2024-11-25T09:43:08Z

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

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

2024-11-25T09:43:08Z

Yazar Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12104-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings

2024-11-25T09:43:08Z

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

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

2024-11-25T09:43:08Z

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

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-11-25T09:43:08Z

Yazar Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15234-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-11-25T09:43:08Z

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

Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

2024-11-25T09:43:08Z

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

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

2024-11-25T09:43:08Z

Yazar Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14977-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

2024-11-25T09:43:08Z

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

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings

2024-11-25T09:43:08Z

Yazar Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15114-9
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

2024-11-25T09:43:08Z

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

Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems

2024-11-25T09:43:08Z

Yazar Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17599-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

2024-11-25T09:43:08Z

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

Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

2024-11-25T09:43:08Z

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

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

2024-11-25T09:43:08Z

Yazar Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11355-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Lectures on Software Engineering LASER Summer School 2007/2008

2024-11-25T09:43:08Z

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

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-11-25T09:43:08Z

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

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-11-25T09:43:08Z

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

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-11-25T09:43:08Z

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

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings

2024-11-25T09:43:08Z

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

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

2024-11-25T09:43:08Z

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

ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

2024-11-25T09:43:08Z

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

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14819-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

2024-11-25T09:43:08Z

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

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings

2024-11-25T09:43:08Z

Yazar Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15323-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

2024-11-25T09:43:08Z

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

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

2024-11-25T09:43:08Z

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

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

2024-11-25T09:43:08Z

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

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

2024-11-25T09:43:08Z

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

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

2024-11-25T09:43:08Z

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

Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

2024-11-25T09:43:08Z

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

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

2024-11-25T09:43:08Z

Yazar Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13595-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

2024-11-25T09:43:08Z

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

Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

2024-11-25T09:43:08Z

Yazar Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13821-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

2024-11-25T09:43:08Z

Yazar Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14347-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

2024-11-25T09:43:08Z

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

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

2024-11-25T09:43:08Z

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

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures

2024-11-25T09:43:08Z

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

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2024-11-25T09:43:08Z

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

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday

2024-11-25T09:43:08Z

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

Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

2024-11-25T09:43:08Z

Yazar Engels, Gregor. editor. Lewerentz, Claus. editor. Schäfer, Wilhelm. editor. Schürr, Andy. editor. Westfechtel, Bernhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17322-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings

2024-11-25T09:43:08Z

Yazar Patt, Yale N. editor. Foglia, Pierfrancesco. editor. Duesterwald, Evelyn. editor. Faraboschi, Paolo. editor. Martorell, Xavier. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11515-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

2024-11-25T09:43:08Z

Yazar Lee, David. editor. Lopes, Antónia. editor. Poetzsch-Heffter, Arnd. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02138-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

2024-11-25T09:43:08Z

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

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

2024-11-25T09:43:08Z

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

Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

2024-11-25T09:43:08Z

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

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

2024-11-25T09:43:08Z

Yazar Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93920-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers II

2024-11-25T09:43:08Z

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

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01338-6
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

2024-11-25T09:43:08Z

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

Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers

2024-11-25T09:43:08Z

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

Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers

2024-11-25T09:43:08Z

Yazar Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01639-4
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

2024-11-25T09:43:08Z

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

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

2024-11-25T09:43:08Z

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

High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings

2024-11-25T09:43:08Z

Yazar Seznec, André. editor. Emer, Joel. editor. O’Boyle, Michael. editor. Martonosi, Margaret. editor. Ungerer, Theo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92990-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2024-11-25T09:43:08Z

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

Semantic Techniques for the Web The REWERSE Perspective

2024-11-25T09:43:08Z

Yazar Bry, François. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04581-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures

2024-11-25T09:43:08Z

Yazar Aldini, Alessandro. editor. Barthe, Gilles. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03829-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

2024-11-25T09:43:08Z

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

Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03603-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2024-11-25T09:43:08Z

Yazar Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-11-25T09:43:08Z

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

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

2024-11-25T09:43:08Z

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

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2024-11-25T09:43:08Z

Yazar Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68894-5
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

2024-11-25T09:43:08Z

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

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

2024-11-25T09:43:08Z

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

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings

2024-11-25T09:43:08Z

Yazar Stenström, Per. editor. Dubois, Michel. editor. Katevenis, Manolis. editor. Gupta, Rajiv. editor. Ungerer, Theo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77560-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

2024-11-25T09:43:08Z

Yazar Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77564-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

2024-11-25T09:43:08Z

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

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2024-11-25T09:43:08Z

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

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2024-11-25T09:43:08Z

Yazar Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2024-11-25T09:43:08Z

Yazar Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68855-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2024-11-25T09:43:08Z

Yazar Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2024-11-25T09:43:08Z

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

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77949-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

2024-11-25T09:43:08Z

Yazar Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88387-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings

2024-11-25T09:43:08Z

Yazar Bui, The Duy. editor. Ho, Tuong Vinh. editor. Ha, Quang Thuy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89674-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.

2024-11-25T09:43:08Z

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

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

2024-11-25T09:43:08Z

Yazar Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92698-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78663-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2024-11-25T09:43:08Z

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

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79003-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2024-11-25T09:43:08Z

Yazar Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79043-3
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

2024-11-25T09:43:08Z

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

2024-11-25T09:43:08Z

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

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2024-11-25T09:43:08Z

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

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

2024-11-25T09:43:08Z

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

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

2024-11-25T09:43:08Z

Yazar Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85658-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings

2024-11-25T09:43:08Z

Yazar Sheth, Amit. editor. Staab, Steffen. editor. Dean, Mike. editor. Paolucci, Massimo. editor. Maynard, Diana. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88564-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-11-25T09:43:08Z

Yazar Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Bosschere, Koen. editor. Kaeli, David. editor. Stenström, Per. editor. Whalley, David. editor. Ungerer, Theo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69338-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2024-11-25T09:43:08Z

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

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-11-25T09:43:08Z

Yazar Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70945-9
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

2024-11-25T09:43:08Z

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

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-11-25T09:43:08Z

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

Transactions on High-Performance Embedded Architectures and Compilers I

2024-11-25T09:43:08Z

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

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-11-25T09:43:08Z

Yazar Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-25T09:43:08Z

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

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-11-25T09:43:08Z

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

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-11-25T09:43:08Z

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

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2024-11-25T09:43:08Z

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

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2024-11-25T09:43:08Z

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

Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Kedad, Zoubida. editor. Lammari, Nadira. editor. Métais, Elisabeth. editor. Meziane, Farid. editor. Rezgui, Yacine. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73351-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73551-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Ernst, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73589-2
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

2024-11-25T09:43:08Z

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

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74309-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Caires, Luís. editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74407-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74459-7
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

2024-11-25T09:43:08Z

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

The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Aberer, Karl. editor. Choi, Key-Sun. editor. Noy, Natasha. editor. Allemang, Dean. editor. Lee, Kyung-Il. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76298-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

2024-11-25T09:43:08Z

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

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-11-25T09:43:08Z

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

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2024-11-25T09:43:08Z

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

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2024-11-25T09:43:08Z

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

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2024-11-25T09:43:08Z

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

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

2024-11-25T09:43:08Z

Yazar Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74615-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-11-25T09:43:08Z

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

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2024-11-25T09:43:08Z

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

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-11-25T09:43:08Z

Yazar George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-11-25T09:43:08Z

Yazar Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

2024-11-25T09:43:08Z

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

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-11-25T09:43:08Z

Yazar Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-11-25T09:43:08Z

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

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2024-11-25T09:43:08Z

Yazar Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-11-25T09:43:08Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-11-25T09:43:08Z

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

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-11-25T09:43:08Z

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

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-11-25T09:43:08Z

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

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77619-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

2024-11-25T09:43:08Z

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

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Barkaoui, Kamel. editor. Cavalcanti, Ana. editor. Cerone, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11921240
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers

2024-11-25T09:43:08Z

Yazar Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11921998
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11926078
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2024-11-25T09:43:08Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11678823
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2024-11-25T09:43:08Z

Yazar Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11683704
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

2024-11-25T09:43:08Z

Yazar Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11691792
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Mizoguchi, Riichiro. editor. Shi, Zhongzhi. editor. Giunchiglia, Fausto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11836025
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Shi, Zhong-Zhi. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11802372
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11888116
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11691372
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2024-11-25T09:43:08Z

Yazar Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752660
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2024-11-25T09:43:08Z

Yazar Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752707
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2024-11-25T09:43:08Z

Yazar Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11757283
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Kop, Christian. editor. Fliedl, Günther. editor. Mayr, Heinrich C. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11765448
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11777830
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11783565
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

2024-11-25T09:43:08Z

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

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11786160
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

2024-11-25T09:43:08Z

Yazar Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11821946
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11768869
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11773887
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11775331
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Baier, Christel. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11817949
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

2024-11-25T09:43:08Z

Yazar Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11841197
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11859802
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11894063
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2024-11-25T09:43:08Z

Yazar Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11901914
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

2024-11-25T09:43:08Z

Yazar Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68143-4
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

2024-11-25T09:43:08Z

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

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

2024-11-25T09:43:08Z

Yazar Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11961536
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11550679
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105022
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136996
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137217
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

2024-11-25T09:43:08Z

Yazar Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106468
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

2024-11-25T09:43:08Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105887
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Conte, Tom. editor. Navarro, Nacho. editor. Hwu, Wen-mei W. editor. Valero, Mateo. editor. Ungerer, Theo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11587514
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

2024-11-25T09:43:08Z

Yazar Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106974
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

2024-11-25T09:43:08Z

Yazar Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104146
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11580850
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

2024-11-25T09:43:08Z

Yazar Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11526988
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

2024-11-25T09:43:08Z

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

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b103251
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Liu, Zhiming. editor. Araki, Keijiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107116
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11549970
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136890
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Abadi, Martín. editor. Alfaro, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11539452
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2024-11-25T09:43:08Z

Yazar Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11554578
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11545262
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11562948
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107194
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136569
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107183
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11572961
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2024-11-25T09:43:08Z

Yazar Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135888
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2024-11-25T09:43:08Z

Yazar Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137052
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11558569
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Hung, Dang. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11560647
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings

2024-11-25T09:43:08Z

Yazar Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11574620
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2024-11-25T09:43:08Z

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