Arama Sonu&ccedil;lar&#305; Laser. - Daralt&#305;lm&#305;&#351;: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLaser.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?dt=list 2025-03-19T23:47:51Z Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:195885 2025-03-19T23:47:51Z 2025-03-19T23:47:51Z Yazar&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25231-0">http://dx.doi.org/10.1007/978-3-642-25231-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:197634 2025-03-19T23:47:51Z 2025-03-19T23:47:51Z Yazar&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35746-6">http://dx.doi.org/10.1007/978-3-642-35746-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Lectures on Software Engineering LASER Summer School 2007/2008 ent://SD_ILS/0/SD_ILS:192186 2025-03-19T23:47:51Z 2025-03-19T23:47:51Z Yazar&#160;M&uuml;ller, Peter. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13010-6">http://dx.doi.org/10.1007/978-3-642-13010-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334567 2025-03-19T23:47:51Z 2025-03-19T23:47:51Z Yazar&#160;Dolev, Shlomi. editor.&#160;Oltean, Mihai. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334567.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38250-5">http://dx.doi.org/10.1007/978-3-642-38250-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188749 2025-03-19T23:47:51Z 2025-03-19T23:47:51Z Yazar&#160;Dolev, Shlomi. editor.&#160;Haist, Tobias. editor.&#160;Oltean, Mihai. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85673-3">http://dx.doi.org/10.1007/978-3-540-85673-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>