Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(28)
Alexander, Michael. editor.
(1)
Badia, Rosa Maria. editor.
(1)
Barry, Chris. editor.
(1)
Beckert, Bernhard. editor.
(1)
Dil
Yayın Yılı
-
2013
(28)
Konu
Software Engineering/Programming and Operating Systems.
(28)
Software engineering.
(28)
Programming Languages, Compilers, Interpreters.
(7)
Programming Techniques.
(7)
Operating systems (Computers).
(6)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
28 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Yazar 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334071.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
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:
5. 
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:
6. 
Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers için kapak resmi
Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers
Yazar 
Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334344.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37021-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
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:
9. 
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project için kapak resmi
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Yazar 
Cotroneo, Domenico. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335577.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-2772-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Handbook of Neuroevolution Through Erlang için kapak resmi
Handbook of Neuroevolution Through Erlang
Yazar 
Sher, Gene I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331512.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Finding Source Code on the Web for Remix and Reuse için kapak resmi
Finding Source Code on the Web for Remix and Reuse
Yazar 
Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332071.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Sustainable Web Ecosystem Design için kapak resmi
Sustainable Web Ecosystem Design
Yazar 
O'Toole, Greg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332331.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: