Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(6552)
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Dil
Yayın Yılı
-
Konu
Computer science.
(4584)
Software engineering.
(3786)
Computer software.
(2174)
Artificial intelligence.
(1955)
Computer Communication Networks.
(1697)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
7682 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
901. 
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings için kapak resmi
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Yazar 
Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24580-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
902. 
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction için kapak resmi
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Yazar 
Shukla, Sandeep K. editor. Talpin, Jean-Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6400-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
903. 
Software Automatic Tuning From Concepts to State-of-the-Art Results için kapak resmi
Software Automatic Tuning From Concepts to State-of-the-Art Results
Yazar 
Naono, Ken. editor. Teranishi, Keita. editor. Cavazos, John. editor. Suda, Reiji. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6935-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
904. 
Handbook of Applied Spatial Analysis Software Tools, Methods and Applications için kapak resmi
Handbook of Applied Spatial Analysis Software Tools, Methods and Applications
Yazar 
Fischer, Manfred M. editor. Getis, Arthur. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03647-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
905. 
Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Yazar 
Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11623-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
906. 
Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers için kapak resmi
Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
Yazar 
Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12107-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
907. 
Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers için kapak resmi
Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
Yazar 
Ghosh, Sudipto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12261-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
908. 
Advanced Lectures on Software Engineering LASER Summer School 2007/2008 için kapak resmi
Advanced Lectures on Software Engineering LASER Summer School 2007/2008
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
909. 
Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings için kapak resmi
Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings
Yazar 
Sillitti, Alberto. editor. Martin, Angela. editor. Wang, Xiaofeng. editor. Whitworth, Elizabeth. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13054-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
910. 
Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings için kapak resmi
Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings
Yazar 
Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13244-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
911. 
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010 için kapak resmi
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010
Yazar 
Lee, Roger. editor. Ma, Jixin. editor. Bacon, Liz. editor. Du, Wencai. editor. Petridis, Miltos. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13265-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
912. 
Multimedia Services in Intelligent Environments Software Development Challenges and Solutions için kapak resmi
Multimedia Services in Intelligent Environments Software Development Challenges and Solutions
Yazar 
Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13355-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
913. 
Software Business First International Conference, ICSOB 2010, Jyväskylä, Finland, June 21-23, 2010. Proceedings için kapak resmi
Software Business First International Conference, ICSOB 2010, Jyväskylä, Finland, June 21-23, 2010. Proceedings
Yazar 
Tyrväinen, Pasi. editor. Jansen, Slinger. editor. Cusumano, Michael A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13633-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
914. 
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings için kapak resmi
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
915. 
Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings için kapak resmi
Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
Yazar 
Nordio, Martin. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Terekhov, Andrey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13784-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
916. 
Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings için kapak resmi
Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings
Yazar 
Ali Babar, M. editor. Vierimaa, Matias. editor. Oivo, Markku. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13792-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
917. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
918. 
Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
Yazar 
Wieringa, Roel. editor. Persson, Anne. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14192-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
919. 
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures için kapak resmi
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Yazar 
Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14335-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
920. 
New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings için kapak resmi
New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
921. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
922. 
Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling için kapak resmi
Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
923. 
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings için kapak resmi
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Yazar 
Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16164-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
924. 
Software Services for e-World 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings için kapak resmi
Software Services for e-World 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings
Yazar 
Cellary, Wojciech. editor. Estevez, Elsa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16283-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
925. 
Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment için kapak resmi
Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment
Yazar 
Allocco, Michael.
Yer Numarası 
TA169.7 A45 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
926. 
Modeling in Event-B system and software engineering için kapak resmi
Modeling in Event-B system and software engineering
Yazar 
Abrial, Jean-Raymond.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
927. 
A Process Algebraic Approach to Software Architecture Design için kapak resmi
A Process Algebraic Approach to Software Architecture Design
Yazar 
Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-223-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
928. 
Agile Software Development Best Practices for Large Software Development Projects için kapak resmi
Agile Software Development Best Practices for Large Software Development Projects
Yazar 
Stober, Thomas. author. Hansmann, Uwe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70832-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
929. 
Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings için kapak resmi
Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Yazar 
Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11747-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
930. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
931. 
Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi
Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Yazar 
Gupta, Rajiv. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11970-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
932. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
933. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
934. 
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Yazar 
Ong, Luke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12032-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
935. 
Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings için kapak resmi
Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
Yazar 
Bernhaupt, Regina. editor. Forbrig, Peter. editor. Gulliksen, Jan. editor. Lárusdóttir, Marta. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16488-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
936. 
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers için kapak resmi
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers
Yazar 
Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16496-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
937. 
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings için kapak resmi
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Yazar 
Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16573-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
938. 
Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings için kapak resmi
Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
Yazar 
Kim, Tai-hoon. editor. Kim, Haeng-Kon. editor. Khan, Muhammad Khurram. editor. Kiumi, Akingbehin. editor. Fang, Wai-chi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17578-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
939. 
Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen için kapak resmi
Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen
Yazar 
Schatten, Alexander. author. Demolsky, Markus. author. Winkler, Dietmar. author. Biffl, Stefan. author. Gostischa-Franta, Erik. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-2487-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
940. 
Valuation of Network Effects in Software Markets A Complex Networks Approach için kapak resmi
Valuation of Network Effects in Software Markets A Complex Networks Approach
Yazar 
Kemper, Andreas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7908-2367-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
941. 
Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement için kapak resmi
Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement
Yazar 
Borgeest, Kai. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9337-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
942. 
Dynamic Reconfigurable Architectures and Transparent Optimization Techniques Automatic Acceleration of Software Execution için kapak resmi
Dynamic Reconfigurable Architectures and Transparent Optimization Techniques Automatic Acceleration of Software Execution
Yazar 
Schneider Beck Fl., Antonio Carlos. author. Carro, Luigi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3913-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
943. 
Routine Data Processing in Earthquake Seismology With Sample Data, Exercises and Software için kapak resmi
Routine Data Processing in Earthquake Seismology With Sample Data, Exercises and Software
Yazar 
Havskov, Jens. author. Ottemoller, Lars. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-8697-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
944. 
Multicore Systems On-Chip: Practical Software/Hardware Design için kapak resmi
Multicore Systems On-Chip: Practical Software/Hardware Design
Yazar 
Abdallah, Abderazek Ben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-33-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
945. 
Arithmetic Optimization Techniques for Hardware and Software Design için kapak resmi
Arithmetic Optimization Techniques for Hardware and Software Design
Yazar 
Kastner, Ryan. Hosangadi, Anup. Fallah, Farzan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
946. 
Next-Generation Business Intelligence Software with Silverlight 3 için kapak resmi
Next-Generation Business Intelligence Software with Silverlight 3
Yazar 
Czernicki, Bart. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-2488-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
947. 
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies için kapak resmi
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Yazar 
Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
948. 
A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring için kapak resmi
A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring
Yazar 
Schalk, Gerwin. author. Mellinger, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-092-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
949. 
The architecture of computer hardware, systems software, and networking : an information technology approach için kapak resmi
The architecture of computer hardware, systems software, and networking : an information technology approach
Yazar 
Englander, Irv.
Yer Numarası 
QA76.5 E54 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
950. 
Permutation tests for complex data theory, applications, and software için kapak resmi
Permutation tests for complex data theory, applications, and software
Yazar 
Pesarin, Fortunato. Salmaso, Luigi. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9780470689516
MyiLibrary, Table of contents http://www.myilibrary.com?id=255043&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10371881
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
951. 
Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics için kapak resmi
Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics
Yazar 
Selem, Atilla.
Yer Numarası 
TEZ 9338 .S45 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
952. 
Handbook on Analyzing Human Genetic Data Computational Approaches and Software için kapak resmi
Handbook on Analyzing Human Genetic Data Computational Approaches and Software
Yazar 
Lin, Shili. author. Zhao, Hongyu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69264-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
953. 
Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers için kapak resmi
Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers
Yazar 
Hailes, Stephen. editor. Sicari, Sabrina. editor. Roussos, George. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11528-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
954. 
Agility Across Time and Space Implementing Agile Methods in Global Software Projects için kapak resmi
Agility Across Time and Space Implementing Agile Methods in Global Software Projects
Yazar 
Šmite, Darja. editor. Moe, Nils Brede. editor. Ågerfalk, Pär J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12442-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
955. 
Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers için kapak resmi
Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Yazar 
Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12566-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
956. 
Agile Software Development Current Research and Future Directions için kapak resmi
Agile Software Development Current Research and Future Directions
Yazar 
Dingsøyr, Torgeir. editor. Dybå, Tore. editor. Moe, Nils Brede. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12575-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
957. 
Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings için kapak resmi
Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
958. 
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings için kapak resmi
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
959. 
Fast Software Encryption 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers için kapak resmi
Fast Software Encryption 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers
Yazar 
Hong, Seokhie. editor. Iwata, Tetsu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13858-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
960. 
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures için kapak resmi
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Yazar 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
961. 
Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme için kapak resmi
Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme
Yazar 
Broy, Manfred. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14901-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
962. 
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings için kapak resmi
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
Yazar 
Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15057-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
963. 
Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings için kapak resmi
Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
964. 
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures için kapak resmi
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Yazar 
Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15543-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
965. 
Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings için kapak resmi
Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
Yazar 
Bosch, Jan. editor. Lee, Jaejoon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15579-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
966. 
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings için kapak resmi
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Yazar 
Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15582-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
967. 
Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings için kapak resmi
Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings
Yazar 
Riel, Andreas. editor. O’Connor, Rory. editor. Tichkiewitch, Serge. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15666-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
968. 
Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings için kapak resmi
Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings
Yazar 
Abrahamsson, Pekka. editor. Oza, Nilay. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16416-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
969. 
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings için kapak resmi
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Yazar 
Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16901-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
970. 
Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen için kapak resmi
Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Yazar 
Schäuffele, Jörg. author. Zurawka, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9368-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
971. 
Grundlegende Statistik mit R Eine anwendungsorientierte Einführung in die Verwendung der Statistik Software R için kapak resmi
Grundlegende Statistik mit R Eine anwendungsorientierte Einführung in die Verwendung der Statistik Software R
Yazar 
Groß, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9677-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
972. 
Software-as-a-Service Anbieterstrategien, Kundenbedürfnisse und Wertschöpfungsstrukturen için kapak resmi
Software-as-a-Service Anbieterstrategien, Kundenbedürfnisse und Wertschöpfungsstrukturen
Yazar 
Benlian, Alexander. editor. Hess, Thomas. editor. Buxmann, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8349-8731-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
973. 
Developing Business Application Systems On the Specification and Selection of Software Components and Services için kapak resmi
Developing Business Application Systems On the Specification and Selection of Software Components and Services
Yazar 
Skroch, Oliver. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8349-8858-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
974. 
Advanced Techniques in Computing Sciences and Software Engineering için kapak resmi
Advanced Techniques in Computing Sciences and Software Engineering
Yazar 
Elleithy, Khaled. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3660-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
975. 
Green Software Defined Radios Enabling seamless connectivity while saving on hardware and energy için kapak resmi
Green Software Defined Radios Enabling seamless connectivity while saving on hardware and energy
Yazar 
Perre, Liesbet Van der. author. Craninckx, Jan. author. Dejonghe, Antoine. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8212-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
976. 
Hardware Software Co-Design of a Multimedia SOC Platform için kapak resmi
Hardware Software Co-Design of a Multimedia SOC Platform
Yazar 
Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
977. 
Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering için kapak resmi
Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
Yazar 
Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-019-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
978. 
Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI için kapak resmi
Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI
Yazar 
Seffah, Ahmed. editor. Vanderdonckt, Jean. editor. Desmarais, Michel C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-907-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
979. 
Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures için kapak resmi
Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures
Yazar 
Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-95888-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
980. 
Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers için kapak resmi
Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Yazar 
Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00434-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
981. 
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yazar 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00590-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
982. 
Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yazar 
Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00593-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
983. 
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yazar 
Alfaro, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00596-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
984. 
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing için kapak resmi
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Yazar 
Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01203-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
985. 
Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers için kapak resmi
Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
986. 
Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings için kapak resmi
Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
Yazar 
Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01680-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
987. 
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures için kapak resmi
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
988. 
Product-Focused Software Process Improvement 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings için kapak resmi
Product-Focused Software Process Improvement 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings
Yazar 
Bomarius, Frank. editor. Oivo, Markku. editor. Jaring, Päivi. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02152-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
989. 
Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering için kapak resmi
Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
Yazar 
Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03764-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
990. 
Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings için kapak resmi
Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings
Yazar 
O’Connor, Rory V. editor. Baddoo, Nathan. editor. Cuadrago Gallego, Juan. editor. Rejas Muslera, Ricardo. editor. Smolander, Kari. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04133-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
991. 
Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009 için kapak resmi
Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009
Yazar 
Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04783-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
992. 
Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers için kapak resmi
Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers
Yazar 
Cordeiro, José. editor. Shishkov, Boris. editor. Ranchordas, AlpeshKumar. editor. Helfert, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05201-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
993. 
Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers için kapak resmi
Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Yazar 
Kim, Tai-hoon. editor. Fang, Wai-Chi. editor. Lee, Changhoon. editor. Arnett, Kirk P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10242-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
994. 
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings için kapak resmi
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Yazar 
Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10373-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
995. 
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday için kapak resmi
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Yazar 
Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11447-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
996. 
Machine learning for spatial environmental data theory, applications and software için kapak resmi
Machine learning for spatial environmental data theory, applications and software
Yazar 
Kanevski, Mikhail. Pozdnoukhov, Alexei. Timonin, Vadim.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
997. 
Energy efficient hardware-software co-synthesis using reconfigurable hardware için kapak resmi
Energy efficient hardware-software co-synthesis using reconfigurable hardware
Yazar 
Ou, Jingzhao. Prasanna Kumar, V. K.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
998. 
Software Verification and Analysis An Integrated, Hands-On Approach için kapak resmi
Software Verification and Analysis An Integrated, Hands-On Approach
Yazar 
Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-240-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
999. 
Informatik in der Medizintechnik Grundlagen — Software — Computergestützte Systeme için kapak resmi
Informatik in der Medizintechnik Grundlagen — Software — Computergestützte Systeme
Yazar 
Zauner, Martin. author. Schrempf, Andreas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-211-89189-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1000. 
Advanced Imaging in Biology and Medicine Technology, Software Environments, Applications için kapak resmi
Advanced Imaging in Biology and Medicine Technology, Software Environments, Applications
Yazar 
Sensen, Christoph W. editor. Hallgrímsson, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68993-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1001. 
Software Product Management and Pricing Key Success Factors for Software Organizations için kapak resmi
Software Product Management and Pricing Key Success Factors for Software Organizations
Yazar 
Kittlaus, Hans-Bernd. author. Clough, Peter N. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76987-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1002. 
The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture için kapak resmi
The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture
Yazar 
Milmeister, Gérard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00148-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1003. 
Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers için kapak resmi
Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Yazar 
Chaudron, Michel R. V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01648-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1004. 
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings için kapak resmi
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
Yazar 
Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01702-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1005. 
Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings için kapak resmi
Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings
Yazar 
Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Maurer, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01853-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1006. 
Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers için kapak resmi
Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
Yazar 
Berkling, Kay. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01856-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1007. 
Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings için kapak resmi
Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Yazar 
Kordon, Fabrice. editor. Kermarrec, Yvon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01924-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1008. 
Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings
Yazar 
Glinz, Martin. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02050-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1009. 
Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings için kapak resmi
Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Yazar 
Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02351-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1010. 
Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings için kapak resmi
Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Yazar 
Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02414-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1011. 
Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers için kapak resmi
Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers
Yazar 
Dunkelman, Orr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03317-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1012. 
Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings için kapak resmi
Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Yazar 
Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04211-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1013. 
Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings için kapak resmi
Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings
Yazar 
Godart, Claude. editor. Gronau, Norbert. editor. Sharma, Sushil. editor. Canals, Gérôme. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04280-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1014. 
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings için kapak resmi
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
Yazar 
Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05031-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1015. 
Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings için kapak resmi
Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Yazar 
Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05415-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1016. 
RF and digital signal processing for software-defined radio a multi-standard multi-mode approach için kapak resmi
RF and digital signal processing for software-defined radio a multi-standard multi-mode approach
Yazar 
Rouphael, Tony J.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750682107
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1017. 
Ada for Software Engineers (Second Edition with Ada 2005) için kapak resmi
Ada for Software Engineers (Second Edition with Ada 2005)
Yazar 
Ben-Ari, Mordechai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-314-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1018. 
Moderne Eignungsbeurteilung mit der DIN 33430 Mit einer Software zur computergestützten Konformitätsprüfung und einem Originalabdruck der DIN 33430 için kapak resmi
Moderne Eignungsbeurteilung mit der DIN 33430 Mit einer Software zur computergestützten Konformitätsprüfung und einem Originalabdruck der DIN 33430
Yazar 
Reimann, Gerd. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-531-91829-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1019. 
Modelling systems : practical tools and techniques in software development için kapak resmi
Modelling systems : practical tools and techniques in software development
Yazar 
Fitzgerald, John, 1965- author. Larsen, P. G. (Peter Gorm), 1964- author.
Yer Numarası 
QA76.76 .D47 F59 2009
Elektronik Erişim 
https://doi.org/10.1017/CBO9780511626975
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1020. 
Architecting software intensive systems a practitioner's guide için kapak resmi
Architecting software intensive systems a practitioner's guide
Yazar 
Lattanze, Anthony J.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1021. 
The fabric of mobile services software paradigms and business demands için kapak resmi
The fabric of mobile services software paradigms and business demands
Yazar 
Loeb, Shoshana. Falchuk, Benjamin. Panagos, Euthimios. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9780470478240
http://site.ebrary.com/lib/alltitles/Doc?id=10332947
Books24x7 http://www.books24x7.com/marc.asp?bookid=33732
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1022. 
Requirements engineering : from system goals to UML models to software specifications için kapak resmi
Requirements engineering : from system goals to UML models to software specifications
Yazar 
Lamsweerde, A. van (Axel)
Yer Numarası 
QA76.758 L28 2009
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1023. 
Computer organization and design : the hardware/software interface için kapak resmi
Computer organization and design : the hardware/software interface
Yazar 
Hennessy, John L. Patterson, David A., ort. yaz.
Yer Numarası 
QA76.9.C643 H46 2009
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
1024. 
Beyindeki beyaz cevher lezyonlarının otomatik belirlenmesi için bir yazılımın tasarım ve gerçekleştirimi = Design and implementation of a software for automatic detection of white matter lesions in brain için kapak resmi
Beyindeki beyaz cevher lezyonlarının otomatik belirlenmesi için bir yazılımın tasarım ve gerçekleştirimi = Design and implementation of a software for automatic detection of white matter lesions in brain
Yazar 
Keçeli, Ali Seydi.
Yer Numarası 
TEZ/8996 .K43 2009
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1025. 
RF and digital signal processing for software-defined radio : a multi-standard multi-mode approach için kapak resmi
RF and digital signal processing for software-defined radio : a multi-standard multi-mode approach
Yazar 
Rouphael, Tony J.
Yer Numarası 
TK5103.4875 R68 2009
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1026. 
Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers için kapak resmi
Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
Yazar 
Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88655-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1027. 
Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings için kapak resmi
Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Yazar 
Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00199-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1028. 
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yazar 
Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00722-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1029. 
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yazar 
Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00768-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1030. 
Ocean Modelling for Beginners Using Open-Source Software için kapak resmi
Ocean Modelling for Beginners Using Open-Source Software
Yazar 
Kämpf, Jochen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00820-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1031. 
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings için kapak resmi
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Yazar 
Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02652-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1032. 
Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings için kapak resmi
Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1033. 
Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings için kapak resmi
Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Yazar 
Gotel, Olly. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02987-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1034. 
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures için kapak resmi
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Yazar 
Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03153-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1035. 
Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings için kapak resmi
Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings
Yazar 
Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10265-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1036. 
Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings için kapak resmi
Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Yazar 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10619-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1037. 
Vertical Software Industry Evolution Analysis of Telecom Operator Software için kapak resmi
Vertical Software Industry Evolution Analysis of Telecom Operator Software
Yazar 
Tyrväinen, Pasi. editor. Mazhelis, Oleksiy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7908-2352-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1038. 
Software-Qualität Testen, Analysieren und Verifizieren von Software için kapak resmi
Software-Qualität Testen, Analysieren und Verifizieren von Software
Yazar 
Liggesmeyer, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-2203-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1039. 
Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten için kapak resmi
Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten
Yazar 
Kleuker, Stephan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9235-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1040. 
Patterns for performance and operability building and testing enterprise software için kapak resmi
Patterns for performance and operability building and testing enterprise software
Yazar 
Ford, Chris (Christopher B.)
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1041. 
Electronic structure modeling connections between theory and software için kapak resmi
Electronic structure modeling connections between theory and software
Yazar 
Trindle, Carl. Shillady, Donald.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1042. 
Modeling and verification of real-time systems formalisms and software tools için kapak resmi
Modeling and verification of real-time systems formalisms and software tools
Yazar 
Merz, Stephan. Navet, Nicolas.
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1043. 
Practical support for lean six sigma software process definition using IEEE software engineering standards için kapak resmi
Practical support for lean six sigma software process definition using IEEE software engineering standards
Yazar 
Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1044. 
More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity için kapak resmi
More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity
Yazar 
Spolsky, Joel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0988-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1045. 
Maturing Usability Quality in Software, Interaction and Value için kapak resmi
Maturing Usability Quality in Software, Interaction and Value
Yazar 
Law, Effie Lai-Chong. editor. Hvannberg, Ebba Thora. editor. Cockton, Gilbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-941-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1046. 
Social Software Formen der Kooperation in computerbasierten Netzwerken için kapak resmi
Social Software Formen der Kooperation in computerbasierten Netzwerken
Yazar 
Stegbauer, Christian. editor. Jäckel, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-531-90802-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1047. 
High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings için kapak resmi
High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
Yazar 
Mei, Hong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68073-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1048. 
Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings için kapak resmi
Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings
Yazar 
Abrahamsson, Pekka. editor. Baskerville, Richard. editor. Conboy, Kieran. editor. Fitzgerald, Brian. editor. Morgan, Lorraine. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68255-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1049. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1050. 
Internet-Security aus Software-Sicht Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche için kapak resmi
Internet-Security aus Software-Sicht Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche
Yazar 
Kriha, Walter. author. Schmitz, Roland. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68906-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1051. 
Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
Yazar 
Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69062-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1052. 
Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers için kapak resmi
Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Yazar 
Giese, Holger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69073-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1053. 
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers için kapak resmi
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Yazar 
Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70930-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1054. 
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings için kapak resmi
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
Yazar 
Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85114-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1055. 
Software Process and Product Measurement International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers için kapak resmi
Software Process and Product Measurement International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
Yazar 
Cuadrado-Gallego, Juan J. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Abran, Alain. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85553-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1056. 
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings için kapak resmi
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Yazar 
Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1057. 
Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings için kapak resmi
Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings
Yazar 
O’Connor, Rory V. editor. Baddoo, Nathan. editor. Smolander, Kari. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85936-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1058. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1059. 
Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings için kapak resmi
Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings
Yazar 
Dumke, Reiner R. editor. Braungarten, René. editor. Büren, Günter. editor. Abran, Alain. editor. Cuadrado-Gallego, Juan J. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89403-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1060. 
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures için kapak resmi
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Yazar 
Börger, Egon. editor. Cisternino, Antonio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89762-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1061. 
Security software development assessing and managing security risks için kapak resmi
Security software development assessing and managing security risks
Yazar 
Ashbaugh, Douglas A.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1062. 
Farbe im Digitalen Publizieren Konzepte der digitalen Farbwiedergabe für Office, Design und Software için kapak resmi
Farbe im Digitalen Publizieren Konzepte der digitalen Farbwiedergabe für Office, Design und Software
Yazar 
Simon, Klaus. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-37329-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1063. 
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions için kapak resmi
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Yazar 
Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1064. 
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing için kapak resmi
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Yazar 
Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70560-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1065. 
Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers için kapak resmi
Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Yazar 
Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70621-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1066. 
Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers için kapak resmi
Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers
Yazar 
Nyberg, Kaisa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71039-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1067. 
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings için kapak resmi
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Yazar 
Yorav, Karen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1068. 
Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings için kapak resmi
Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings
Yazar 
Kutsche, Ralf-Detlef. editor. Milanovic, Nikola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78999-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1069. 
Programming Languages and Systems 17th European Symposium on Programming, ESOP 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 için kapak resmi
Programming Languages and Systems 17th European Symposium on Programming, ESOP 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
Yazar 
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78739-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1070. 
Fundamental Approaches to Software Engineering 11th International Conference, FASE 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 için kapak resmi
Fundamental Approaches to Software Engineering 11th International Conference, FASE 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
Yazar 
Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78743-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1071. 
Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings için kapak resmi
Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1072. 
Compiler Construction 17th International Conference, CC 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 için kapak resmi
Compiler Construction 17th International Conference, CC 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
Yazar 
Hendren, Laurie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78791-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1073. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1074. 
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers için kapak resmi
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1075. 
Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings için kapak resmi
Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
Yazar 
Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79588-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1076. 
Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings için kapak resmi
Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
Yazar 
Chaudron, Michel R. V. editor. Szyperski, Clemens. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87891-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1077. 
Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE için kapak resmi
Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE
Yazar 
Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7908-1944-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1078. 
Tutorial on hardware and software reliability, maintainability, and availability için kapak resmi
Tutorial on hardware and software reliability, maintainability, and availability
Yazar 
Schneidewind, Norman.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769540
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769540
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1079. 
Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy için kapak resmi
Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy
Yazar 
Russo, Barbara. editor. Damiani, Ernesto. editor. Hissam, Scott. editor. Lundell, Björn. editor. Succi, Giancarlo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-09684-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1080. 
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering için kapak resmi
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
Yazar 
Elleithy, Khaled. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8735-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1081. 
Software development rhythms harmonizing agile practices for synergy için kapak resmi
Software development rhythms harmonizing agile practices for synergy
Yazar 
Lui, Kim Man. Chan, Keith C. C.
Yer Numarası 
ONLINE
Elektronik Erişim 
Books24x7 http://www.books24x7.com/marc.asp?bookid=26059
John Wiley http://dx.doi.org/10.1002/9780470192672
MyiLibrary, Table of contents http://www.myilibrary.com?id=137390&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007019073-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1082. 
Emerging methods, technologies, and process management in software engineering için kapak resmi
Emerging methods, technologies, and process management in software engineering
Yazar 
De Lucia, Andrea. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032135-b.html
John Wiley http://dx.doi.org/10.1002/9780470238103
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1083. 
Computer modeling in bioengineering theoretical background, examples and software için kapak resmi
Computer modeling in bioengineering theoretical background, examples and software
Yazar 
Kojic, Milos, 1941- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=366796
John Wiley http://dx.doi.org/10.1002/9780470751763
MyiLibrary, Table of contents http://www.myilibrary.com?id=184085&ref=toc
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1084. 
Using aspect-oriented programming for trustworthy software development için kapak resmi
Using aspect-oriented programming for trustworthy software development
Yazar 
Safonov, V. O. (Vladimir Olegovich)
Yer Numarası 
ONLINE
Elektronik Erişim 
Books24x7 http://www.books24x7.com/marc.asp?bookid=26061
John Wiley http://dx.doi.org/10.1002/9780470283110
MyiLibrary, Table of contents http://www.myilibrary.com?id=138149&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0829/2007041615-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1085. 
Software testing and quality assurance theory and practice için kapak resmi
Software testing and quality assurance theory and practice
Yazar 
Naik, Kshirasagar, 1959- Tripathy, Priyadarshi, 1958- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9780470382844
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1086. 
Modelling 1H NMR spectra of organic compounds theory, applications and NMR prediction software için kapak resmi
Modelling 1H NMR spectra of organic compounds theory, applications and NMR prediction software
Yazar 
Abraham, R. J. (Raymond John), 1933- Mobli, Mehdi.
Yer Numarası 
ONLINE
Elektronik Erişim 
Formulario de incidencias
Acceso al recurso electrónico (sólo UBU)
John Wiley http://dx.doi.org/10.1002/9780470721803
MyiLibrary, Table of contents http://www.myilibrary.com?id=234276&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10270652
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1087. 
Digital signage software, networks, advertising, and displays : a primer for understanding the business için kapak resmi
Digital signage software, networks, advertising, and displays : a primer for understanding the business
Yazar 
Schaeffler, Jimmy.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780240810416
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1088. 
The IT/digital legal companion a comprehensive business guide to software, Internet, and IP law : includes contracts and web forms için kapak resmi
The IT/digital legal companion a comprehensive business guide to software, Internet, and IP law : includes contracts and web forms
Yazar 
Landy, Gene K. Mastrobattista, Amy J.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781597492560
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1089. 
Software development for embedded multi-core systems a practical guide using embedded Intel architecture için kapak resmi
Software development for embedded multi-core systems a practical guide using embedded Intel architecture
Yazar 
Domeika, Max.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750685399
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1090. 
Foundations of software testing : fundamental algorithms and techniques : an undergraduate and graduate text, a reference for the practicing software engineer için kapak resmi
Foundations of software testing : fundamental algorithms and techniques : an undergraduate and graduate text, a reference for the practicing software engineer
Yazar 
Mathur, Aditya P.
Yer Numarası 
QA76.76.T48 M38 2008
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1091. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1092. 
Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings için kapak resmi
Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Yazar 
Kordon, Fabrice. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68624-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1093. 
Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings için kapak resmi
Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings
Yazar 
Jedlitschka, Andreas. editor. Salo, Outi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69566-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1094. 
Supply Chain Management and Advanced Planning Concepts, Models, Software, and Case Studies için kapak resmi
Supply Chain Management and Advanced Planning Concepts, Models, Software, and Case Studies
Yazar 
Stadtler, Hartmut. editor. Kilger, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74512-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1095. 
Innovative Lernsysteme Kompetenzentwicklung mit Blended Learning und Social Software için kapak resmi
Innovative Lernsysteme Kompetenzentwicklung mit Blended Learning und Social Software
Yazar 
Kuhlmann, Annette. author. Sauter, Werner. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77831-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1096. 
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 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 için kapak resmi
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 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
Yazar 
Amadio, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78499-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1097. 
The Testing Network An Integral Approach to Test Activities in Large Software Projects için kapak resmi
The Testing Network An Integral Approach to Test Activities in Large Software Projects
Yazar 
Henry, Pierre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78504-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1098. 
The Making of Information Systems Software Engineering and Management in a Globalized World için kapak resmi
The Making of Information Systems Software Engineering and Management in a Globalized World
Yazar 
Kurbel, Karl E. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79261-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1099. 
Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers için kapak resmi
Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
Yazar 
Meyer, Bertrand. editor. Nawrocki, Jerzy R. editor. Walter, Bartosz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85279-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1100. 
The Common Component Modeling Example Comparing Software Component Models için kapak resmi
The Common Component Modeling Example Comparing Software Component Models
Yazar 
Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85289-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1101. 
Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings için kapak resmi
Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
Yazar 
Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87785-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1102. 
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings için kapak resmi
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Yazar 
Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1103. 
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings için kapak resmi
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Yazar 
Shankar, Natarajan. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87873-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1104. 
Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings için kapak resmi
Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
Yazar 
Becker, Steffen. editor. Plasil, Frantisek. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87879-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1105. 
Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers için kapak resmi
Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
Yazar 
Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88643-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1106. 
Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings için kapak resmi
Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
Yazar 
Morrison, Ron. editor. Balasubramaniam, Dharini. editor. Falkner, Katrina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88030-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1107. 
Software-Intensive Systems and New Computing Paradigms Challenges and Visions için kapak resmi
Software-Intensive Systems and New Computing Paradigms Challenges and Visions
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1108. 
Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement için kapak resmi
Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement
Yazar 
Borgeest, Kai. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9459-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1109. 
Offene Innovationsprozesse Die kommerzielle Entwicklung von Open-Source-Software için kapak resmi
Offene Innovationsprozesse Die kommerzielle Entwicklung von Open-Source-Software
Yazar 
Henkel, Joachim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8350-5497-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1110. 
Linear mixed models a practical guide using statistical software için kapak resmi
Linear mixed models a practical guide using statistical software
Yazar 
West, Brady. Welch, Kathleen B. Galecki, Andrzej T.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1111. 
Automated defect prevention best practices in software management için kapak resmi
Automated defect prevention best practices in software management
Yazar 
Huizinga, Dorota. Kolawa, Adam. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201515
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1112. 
Data Envelopment Analysis A Comprehensive Text with Models, Applications, References and DEA-Solver Software için kapak resmi
Data Envelopment Analysis A Comprehensive Text with Models, Applications, References and DEA-Solver Software
Yazar 
Cooper, William W. author. Seiford, Lawrence M. author. Tone, Kaoru. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-45283-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1113. 
Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland için kapak resmi
Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland
Yazar 
Feller, Joseph. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-72486-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1114. 
Grid-Based Problem Solving Environments IFIP TC2/ WG 2.5 Working Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software July 17–21, 2006, Prescott, Arizona, USA için kapak resmi
Grid-Based Problem Solving Environments IFIP TC2/ WG 2.5 Working Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software July 17–21, 2006, Prescott, Arizona, USA
Yazar 
Gaffney, Patrick W. editor. Pool, James C. T. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-73659-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1115. 
A Software-Defined GPS and Galileo Receiver A Single-Frequency Approach için kapak resmi
A Software-Defined GPS and Galileo Receiver A Single-Frequency Approach
Yazar 
Borre, Kai. author. Akos, Dennis M. author. Bertelsen, Nicolaj. author. Rinder, Peter. author. Jensen, Søren Holdt. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4540-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1116. 
Managing Humans Biting and Humorous Tales of a Software Engineering Manager için kapak resmi
Managing Humans Biting and Humorous Tales of a Software Engineering Manager
Yazar 
Lopp, Michael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0271-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1117. 
The Geospatial Web How Geobrowsers, Social Software and the Web 2.0 are Shaping the Network Society için kapak resmi
The Geospatial Web How Geobrowsers, Social Software and the Web 2.0 are Shaping the Network Society
Yazar 
Scharl, Arno. editor. Tochtermann, Klaus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-827-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1118. 
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino için kapak resmi
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Yazar 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1119. 
Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers için kapak resmi
Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
Yazar 
Kühne, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69489-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1120. 
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers için kapak resmi
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Yazar 
Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70889-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1121. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1122. 
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings için kapak resmi
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
Yazar 
Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1123. 
Fundamental Approaches to Software Engineering 10th International Conference, FASE 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 için kapak resmi
Fundamental Approaches to Software Engineering 10th International Conference, FASE 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
Yazar 
Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71289-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1124. 
Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers için kapak resmi
Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
Yazar 
Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71301-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1125. 
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Yazar 
Nicola, Rocco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71316-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1126. 
Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 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 için kapak resmi
Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 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
Yazar 
Seidl, Helmut. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71389-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1127. 
Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling için kapak resmi
Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
Yazar 
Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71868-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1128. 
Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers için kapak resmi
Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
Yazar 
Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71876-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1129. 
Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings için kapak resmi
Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings
Yazar 
Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72426-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1130. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1131. 
Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings için kapak resmi
Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings
Yazar 
Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73031-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1132. 
Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings için kapak resmi
Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
Yazar 
Abdennadher, Nabil. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73230-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1133. 
Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings için kapak resmi
Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1134. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1135. 
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings için kapak resmi
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
Yazar 
Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73101-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1136. 
Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications için kapak resmi
Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
Yazar 
Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73131-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1137. 
Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings için kapak resmi
Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
Yazar 
Oquendo, Flavio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75132-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1138. 
Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers için kapak resmi
Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers
Yazar 
Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75664-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1139. 
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings için kapak resmi
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Yazar 
Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76650-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1140. 
What every engineer should know about software engineering için kapak resmi
What every engineer should know about software engineering
Yazar 
Laplante, Phillip A.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1141. 
Effective software maintenance and evolution a reuse-based approach için kapak resmi
Effective software maintenance and evolution a reuse-based approach
Yazar 
Jarzabek, Stan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1142. 
Screen- und Interfacedesign Gestaltung und Usability für Hard- und Software için kapak resmi
Screen- und Interfacedesign Gestaltung und Usability für Hard- und Software
Yazar 
Stapelkamp, Torsten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-32950-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1143. 
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers için kapak resmi
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1144. 
Software Product Lines in Action The Best Industrial Practice in Product Line Engineering için kapak resmi
Software Product Lines in Action The Best Industrial Practice in Product Line Engineering
Yazar 
Linden, Frank. author. Schmid, Klaus. author. Rommes, Eelco. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71437-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1145. 
Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings için kapak resmi
Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings
Yazar 
Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72685-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1146. 
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings için kapak resmi
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
Yazar 
Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73370-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1147. 
Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings için kapak resmi
Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings
Yazar 
Münch, Jürgen. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73460-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1148. 
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings için kapak resmi
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings
Yazar 
Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75698-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1149. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1150. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1151. 
Computergrafik und Bildverarbeitung Alles für Studium und Praxis — Bildverarbeitungswerkzeuge, Beispiel-Software und interaktive Vorlesungen online verfügbar için kapak resmi
Computergrafik und Bildverarbeitung Alles für Studium und Praxis — Bildverarbeitungswerkzeuge, Beispiel-Software und interaktive Vorlesungen online verfügbar
Yazar 
Nischwitz, Alfred. author. Fischer, Max. author. Haberäcker, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9190-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1152. 
Software testing testing across the entire software development life cycle için kapak resmi
Software testing testing across the entire software development life cycle
Yazar 
Everett, Gerald D., 1943- McLeod, Raymond. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201507
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1153. 
Designing with blends conceptual foundations of human-computer interaction and software engineering için kapak resmi
Designing with blends conceptual foundations of human-computer interaction and software engineering
Yazar 
Imaz, Manuel. Benyon, David.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1154. 
Software engineering Barry W. Boehm's lifetime contributions to software development, management, and research için kapak resmi
Software engineering Barry W. Boehm's lifetime contributions to software development, management, and research
Yazar 
Selby, Richard W.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989528
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989528
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1155. 
Multi-objective group decision making methods, software and applications with fuzzy set techniques için kapak resmi
Multi-objective group decision making methods, software and applications with fuzzy set techniques
Yazar 
Lu, Jie, 1957-
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=203937
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1156. 
Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems için kapak resmi
Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems
Yazar 
Arslan, Hüseyin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5542-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1157. 
Advances and Innovations in Systems, Computing Sciences and Software Engineering için kapak resmi
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Yazar 
Elleithy, Khaled. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6264-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1158. 
Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models için kapak resmi
Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models
Yazar 
Avgoustinov, Nikolay. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-909-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1159. 
Applied software risk management a guide for software project managers için kapak resmi
Applied software risk management a guide for software project managers
Yazar 
Pandian, C. Ravindranath.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1160. 
Software VNA and microwave network design and characterisation için kapak resmi
Software VNA and microwave network design and characterisation
Yazar 
Wu, Zhipeng.
Yer Numarası 
ONLINE
Elektronik Erişim 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007298044-b.html
John Wiley http://dx.doi.org/10.1002/9780470513217
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1161. 
Geospatial analysis : a comprehensive guide to principles, techniques and software tools için kapak resmi
Geospatial analysis : a comprehensive guide to principles, techniques and software tools
Yazar 
De Smith, Michael John, 1951- Goodchild, Michael F. Longley, Paul.
Yer Numarası 
G70.23 D47 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1162. 
Modelling in mechanical engineering and mechatronics : towards autonomous intelligent software models için kapak resmi
Modelling in mechanical engineering and mechatronics : towards autonomous intelligent software models
Yazar 
Avgoustinov, Nikolay.
Yer Numarası 
TJ153 A88 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1163. 
Analog synthesizers understanding, performing, buying: from the legacy of Moog to software synthesis için kapak resmi
Analog synthesizers understanding, performing, buying: from the legacy of Moog to software synthesis
Yazar 
Jenkins, Mark.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780240520728
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1164. 
Making Beautiful Deep-Sky Images Astrophotography with Affordable Equipment and Software için kapak resmi
Making Beautiful Deep-Sky Images Astrophotography with Affordable Equipment and Software
Yazar 
Parker, Greg. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71353-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1165. 
Software Verification and Validation An Engineering and Scientific Approach için kapak resmi
Software Verification and Validation An Engineering and Scientific Approach
Yazar 
Fisher, Marcus S. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1166. 
A software-defined GPS and Galileo receiver : a single-frequency approach için kapak resmi
A software-defined GPS and Galileo receiver : a single-frequency approach
Yazar 
Borre, Kai
Yer Numarası 
TK5102.9 S64 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
1167. 
Social software in libraries : building collaboration, communication, and community Online için kapak resmi
Social software in libraries : building collaboration, communication, and community Online
Yazar 
Farkas, Meredith G., 1977-
Elektronik Erişim 
Table of contents only http://www.loc.gov/catdir/toc/ecip0711/2007004515.html
Format: 
Durum 
~0
Rafta:
Kopya:
1168. 
Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software için kapak resmi
Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software
Yazar 
Diehl, Stephan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-46505-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1169. 
Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers için kapak resmi
Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers
Yazar 
Biryukov, Alex. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74619-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1170. 
Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings için kapak resmi
Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings
Yazar 
Abrahamsson, Pekka. editor. Baddoo, Nathan. editor. Margaria, Tiziana. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75381-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1171. 
Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers için kapak resmi
Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
Yazar 
Meyer, Bertrand. editor. Joseph, Mathai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75542-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1172. 
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings için kapak resmi
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
Yazar 
Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77050-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1173. 
Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers için kapak resmi
Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1174. 
Software sizing, estimation, and risk management when performance is measured performance improves için kapak resmi
Software sizing, estimation, and risk management when performance is measured performance improves
Yazar 
Galorath, Daniel D. Evans, Michael W.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1175. 
Autonomous software-defined radio receivers for deep space applications için kapak resmi
Autonomous software-defined radio receivers for deep space applications
Yazar 
Hamkins, Jon, 1968- Simon, Marvin Kenneth, 1939-
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
http://www3.interscience.wiley.com/cgi-bin/bookhome/112632603
MyiLibrary, Table of contents http://www.myilibrary.com?id=72165&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006046396-b.html
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/69680167.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1176. 
Interoperability for enterprise software and applications proceedings of the workshops and the doctorial symposium of the second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006 için kapak resmi
Interoperability for enterprise software and applications proceedings of the workshops and the doctorial symposium of the second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006
Yazar 
IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2nd : 2006. Panetto, Herve. Boudjlida, Nacer. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0714/2006018170-b.html
John Wiley http://dx.doi.org/10.1002/9780470612200
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1177. 
Writing Scientific Software A Guide to Good Style için kapak resmi
Writing Scientific Software A Guide to Good Style
Yazar 
Oliveira, Suely. Stewart, David E..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1178. 
Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile için kapak resmi
Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
Yazar 
Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-34831-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1179. 
Unifying the Software Process Spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers için kapak resmi
Unifying the Software Process Spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers
Yazar 
Li, Mingshu. editor. Boehm, Barry. editor. Osterweil, Leon J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11608035
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1180. 
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers için kapak resmi
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Yazar 
Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11678779
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1181. 
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
Yazar 
Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11690634
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1182. 
Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings için kapak resmi
Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings
Yazar 
Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11688839
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1183. 
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 için kapak resmi
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
Yazar 
Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11691372
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1184. 
Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Yazar 
Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11693017
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1185. 
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings için kapak resmi
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Yazar 
Sestoft, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11693024
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1186. 
Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings için kapak resmi
Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
Yazar 
Valmari, Antti. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11691617
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1187. 
Software Engineering 2 Specification of Systems and Languages için kapak resmi
Software Engineering 2 Specification of Systems and Languages
Yazar 
Bjørner, Dines. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-33193-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1188. 
Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications için kapak resmi
Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications
Yazar 
Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11738817
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1189. 
Software Engineering 3 Domains, Requirements, and Software Design için kapak resmi
Software Engineering 3 Domains, Requirements, and Software Design
Yazar 
Bjøner, Dines. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-33653-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1190. 
Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers için kapak resmi
Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
Yazar 
Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11751113
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1191. 
Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers için kapak resmi
Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1192. 
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 için kapak resmi
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
Yazar 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11757283
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1193. 
Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers için kapak resmi
Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
Yazar 
Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11759744
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1194. 
Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings için kapak resmi
Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings
Yazar 
Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11774129
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1195. 
Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers için kapak resmi
Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers
Yazar 
Robshaw, Matthew. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11799313
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1196. 
Dependable Systems: Software, Computing, Networks Research Results of the DICS Program için kapak resmi
Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
Yazar 
Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11808107
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1197. 
Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers için kapak resmi
Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1198. 
Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems için kapak resmi
Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
Yazar 
Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-39538-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1199. 
Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers için kapak resmi
Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
Yazar 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11877028
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1200. 
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures için kapak resmi
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures
Yazar 
Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11889229
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets