Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(48)
Jeannot, Emmanuel. editor.
(2)
Jin, Hai. editor.
(2)
Margaria, Tiziana. editor.
(2)
Namyst, Raymond. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(48)
Operating systems (Computers).
(48)
Theory of Computation.
(48)
Software engineering.
(32)
Computer networks .
(30)
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ç
48 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings için kapak resmi
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings
by 
De Nicola, Rocco. editor.
https://doi.org/10.1007/978-3-642-38493-6
Format: 
Alıntı: 
Theory of Computation.
2. 
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
by 
Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-34032-1
Format: 
Alıntı: 
Theory of Computation.
3. 
Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings için kapak resmi
Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings
by 
Fraser, Gordon. editor.
https://doi.org/10.1007/978-3-642-33119-0
Format: 
Alıntı: 
Theory of Computation.
4. 
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
by 
Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-34026-0
Format: 
Alıntı: 
Theory of Computation.
5. 
Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings için kapak resmi
Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings
by 
Cohen, Myra B. editor.
https://doi.org/10.1007/978-3-642-23716-4
Format: 
Alıntı: 
Theory of Computation.
6. 
Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings için kapak resmi
Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings
by 
Al-Begain, Khalid. editor.
https://doi.org/10.1007/978-3-642-21713-5
Format: 
Alıntı: 
Theory of Computation.
7. 
Euro-Par 2011 Parallel Processing 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II için kapak resmi
Euro-Par 2011 Parallel Processing 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
by 
Jeannot, Emmanuel. editor.
https://doi.org/10.1007/978-3-642-23397-5
Format: 
Alıntı: 
Theory of Computation.
8. 
Euro-Par 2011 Parallel Processing 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I için kapak resmi
Euro-Par 2011 Parallel Processing 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
by 
Jeannot, Emmanuel. editor.
https://doi.org/10.1007/978-3-642-23400-2
Format: 
Alıntı: 
Theory of Computation.
9. 
Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers için kapak resmi
Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers
by 
Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588
https://doi.org/10.1007/978-3-642-12535-5
Format: 
Alıntı: 
Theory of Computation.
10. 
Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation için kapak resmi
Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation
by 
Mandl, Peter. author.
https://doi.org/10.1007/978-3-8348-9384-0
Format: 
Alıntı: 
Theory of Computation.
11. 
Middleware 2009 ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings için kapak resmi
Middleware 2009 ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings
by 
Issarny, Valérie. editor.
https://doi.org/10.1007/978-3-642-10445-9
Format: 
Alıntı: 
Theory of Computation.
12. 
Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Proceedings için kapak resmi
Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Proceedings
by 
Slezak, Dominik. editor.
https://doi.org/10.1007/978-3-642-10549-4
Format: 
Alıntı: 
Theory of Computation.