Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(36)
Al-Akkad, Amro. author.
(1)
Alexander, Michael. editor.
(1)
Ao, Sio-Iong. editor.
(1)
Badia, Rosa Maria. editor.
(1)
Dil
Yayın Yılı
-
Konu
Software engineering.
(35)
Software Engineering/Programming and Operating Systems.
(34)
Computer science.
(28)
Programming Techniques.
(8)
Programming Languages, Compilers, Interpreters.
(7)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
40 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers için kapak resmi
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Yazar 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334096.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings için kapak resmi
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Yazar 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334533.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Scala Design Patterns Patterns for Practical Reuse and Design için kapak resmi
Scala Design Patterns Patterns for Practical Reuse and Design
Yazar 
Hunt, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332904.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02192-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Yazar 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332921.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Yazar 
Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Surface- and Groundwater Quality Changes in Periods of Water Scarcity için kapak resmi
Surface- and Groundwater Quality Changes in Periods of Water Scarcity
Yazar 
Gregor, Miloš. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333547.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32244-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations için kapak resmi
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Yazar 
Raynal, Michel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333514.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Introduction to Cryptography with Maple için kapak resmi
Introduction to Cryptography with Maple
Yazar 
Gómez Pardo, José Luis. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333533.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32166-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers için kapak resmi
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Yazar 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334077.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing için kapak resmi
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Yazar 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334079.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35893-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers için kapak resmi
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Yazar 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Yer Numarası 
ONLINE(334328.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Web Dynpro ABAP for Practitioners için kapak resmi
Web Dynpro ABAP for Practitioners
Yazar 
Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334566.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38247-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets