Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
13 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Euro-Par 2013: Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings için kapak resmi
Euro-Par 2013: Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings
by 
Wolf, Felix. editor.
https://doi.org/10.1007/978-3-642-40047-6
Format: 
Alıntı: 
Numerical analysis.
2. 
Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings için kapak resmi
Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
by 
Kaklamanis, Christos. editor.
https://doi.org/10.1007/978-3-642-32820-6
Format: 
Alıntı: 
Numerical analysis.
3. 
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ı: 
Numerical analysis.
4. 
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ı: 
Numerical analysis.
5. 
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ı: 
Numerical analysis.
6. 
Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
by 
Kullmann, Oliver. editor.
https://doi.org/10.1007/978-3-642-02777-2
Format: 
Alıntı: 
Numerical analysis.
7. 
Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
by 
Kleine Büning, Hans. editor.
https://doi.org/10.1007/978-3-540-79719-7
Format: 
Alıntı: 
Numerical analysis.
8. 
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers için kapak resmi
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers
by 
Lirkov, Ivan. editor.
https://doi.org/10.1007/978-3-540-78827-0
Format: 
Alıntı: 
Numerical analysis.
9. 
Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
by 
Marques-Silva, Joao. editor.
https://doi.org/10.1007/978-3-540-72788-0
Format: 
Alıntı: 
Numerical analysis.
10. 
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
by 
Biere, Armin. editor. (orcid)0000-0001-7170-9242
https://doi.org/10.1007/11814948
Format: 
Alıntı: 
Numerical analysis.
11. 
Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers için kapak resmi
Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
by 
Lirkov, Ivan. editor.
https://doi.org/10.1007/11666806
Format: 
Alıntı: 
Numerical analysis.
12. 
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
by 
Bacchus, Fahiem. editor.
https://doi.org/10.1007/b137280
Format: 
Alıntı: 
Numerical analysis.
Go to:Search Results
|
Search Facets
|
Top of Page