Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Euro-Par 2015: Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers / edited by Sascha Hunold, Alexandru Costan, Domingo Giménez, Alexandru Iosup, Laura Ricci, María Engracia Gómez Requena, Vittorio Scarano, Ana Lucia Varbanescu, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer, Michael Alexander. by
- Hunold, Sascha [editor.]
- Costan, Alexandru [editor.]
- Giménez, Domingo [editor.]
- Iosup, Alexandru [editor.]
- Ricci, Laura [editor.]
- Gómez Requena, María Engracia [editor.]
- Scarano, Vittorio [editor.]
- Varbanescu, Ana Lucia [editor.]
- Scott, Stephen L [editor.]
- Lankes, Stefan [editor.]
- Weidendorfer, Josef [editor.]
- Alexander, Michael [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 9523
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
|
|
|
|
|
|
|
|
Finite Difference Methods,Theory and Applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov. by Series: Theoretical Computer Science and General Issues ; 9045
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
|
|
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Series: Theoretical Computer Science and General Issues ; 9206
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
|
|
|
|
|
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu. by Series: Theoretical Computer Science and General Issues ; 9207
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
|
|
|
|
|
Distributed Applications and Interoperable Systems : 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Alysson Bessani, Sara Bouchenak. by Series: Computer Communication Networks and Telecommunications ; 9038
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
|
|
Computer Science and Its Applications : 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings / edited by Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J. Neuhold, Robert Wrembel. by Series: IFIP Advances in Information and Communication Technology ; 456
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|