Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(75)
Jeannot, Emmanuel. editor.
(2)
Jin, Hai. editor.
(2)
Margaria, Tiziana. editor.
(2)
Namyst, Raymond. editor.
(2)
Dil
Yayın Yılı
-
Konu
Operating systems (Computers).
(75)
Computer science.
(50)
Theory of Computation.
(47)
Computer networks .
(41)
Computer Communication Networks.
(40)
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ç
75 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
by 
Cohen, Albert. editor.
https://doi.org/10.1007/978-3-642-54807-9
Format: 
Alıntı: 
Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
2. 
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ı: 
Operating systems (Computers).
3. 
Topics in Cryptology - CT- RSA 2013 The Cryptographer`s Track at RSA Conference 2013, San Francisco, CA, USA, February 25- March 1, 2013, Proceedings için kapak resmi
Topics in Cryptology - CT- RSA 2013 The Cryptographer`s Track at RSA Conference 2013, San Francisco, CA, USA, February 25- March 1, 2013, Proceedings
by 
Dawson, Ed. editor.
https://doi.org/10.1007/978-3-642-36095-4
Format: 
Alıntı: 
Operating systems (Computers).
4. 
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings için kapak resmi
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
by 
De Bosschere, Koen. editor.
https://doi.org/10.1007/978-3-642-37051-9
Format: 
Alıntı: 
Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / De
5. 
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ı: 
Operating systems (Computers).
6. 
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ı: 
Operating systems (Computers).
7. 
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ı: 
Operating systems (Computers).
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ı: 
Special Purpose and Application-Based Systems.
9. 
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ı: 
Operating systems (Computers).
10. 
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ı: 
System Performance and Evaluation.
11. 
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ı: 
Special Purpose and Application-Based Systems.
12. 
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ı: 
Operating systems (Computers).
Eylem Seç