Arama Sonu&ccedil;lar&#305; Pinto, Jorge Sousa. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dPinto$00252C$002bJorge$002bSousa.$0026ic$003dtrue$0026ps$003d300?dt=list 2024-11-24T17:39:21Z The Portuguese and the Straits of Melaka, 1575-1619 power, trade, and diplomacy ent://SD_ILS/0/SD_ILS:276732 2024-11-24T17:39:21Z 2024-11-24T17:39:21Z Yazar&#160;Pinto, Paulo Jorge de Sousa.&#160;Roy, Roopanjali.&#160;Project Muse.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://muse.jhu.edu/books/9789971696931/">Full text available: </a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rigorous Software Development An Introduction to Program Verification ent://SD_ILS/0/SD_ILS:168395 2024-11-24T17:39:21Z 2024-11-24T17:39:21Z Yazar&#160;Almeida, Jos&eacute; Bacelar. author.&#160;Frade, Maria Jo&atilde;o. author.&#160;Pinto, Jorge Sousa. author.&#160;Melo de Sousa, Sim&atilde;o. author.&#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-0-85729-018-2">http://dx.doi.org/10.1007/978-0-85729-018-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:190535 2024-11-24T17:39:21Z 2024-11-24T17:39:21Z Yazar&#160;Bove, Ana. editor.&#160;Barbosa, Lu&iacute;s Soares. editor.&#160;Pardo, Alberto. editor.&#160;Pinto, Jorge Sousa. 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-03153-3">http://dx.doi.org/10.1007/978-3-642-03153-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>