Phranakorn Rajabhat University Library

ข้อกำหนดซอฟต์แวร์เชิงรูปนัย = [book] Format software specifications /

วิวัฒน์ วัฒนาวุฒิ

ข้อกำหนดซอฟต์แวร์เชิงรูปนัย = Format software specifications / [book] Format software specifications ตำราวิศวฯ 100 ปี 2456-2556 : ข้อกำหนดซอฟต์แวร์เชิงรูปนัย วิวัฒน์ วัฒนาวุฒิ - กรุงเทพฯ : ภาควิชาวิศวกรรมคอมพิวเตอร์ คณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย, 2556 - 251 หน้า ; 25 ซม.

บรรณานุกรม, ภาคผนวก

วิธีเชิงรูปนัยในการพัฒนาซอฟต์แวร์ พื้นฐานทางคณิตศาตร์ ภาษาคาเฟโอบีเจ


วิศวกรรมซอฟต์แวร์

QA 76.758 / ว743ข 2556

มหาวิทยาลัยศรีปทุม (กทม.)
2410/2 ถ.พหลโยธิน เขตจตุจักร กรุงเทพฯ 10900
Tel : 02-579-1111, 02-561-2222
มหาวิทยาลัยศรีปทุม (ชลบุรี)
79 หมู่ 1 ถ.บางนา-ตราด ต.คลองตำหรุ อ.เมือง จ.ชลบุรี 20000
Tel : 038-146-123
มหาวิทยาลัยศรีปทุม (ขอนแก่น)
182/12 หมู่ 4 ถ.ศรีจันทร์ ต.ในเมือง อ.เมือง จ.ขอนแก่น 40000
Tel : 043-224-111


 

$(document).ready(function() { // Basic detection of search var searchBox = $('#transl1'); // This is standard OPAC search input id ?? // Actually standard is 'q' or 'idx'. // We want to trigger when the user sees results. // Usually we check if we are on search results page. if ($('body').hasClass('opac-results')) { var params = new URLSearchParams(window.location.search); var query = params.get('q'); if (query) { // Show Loading var container = $('
'); container.append('

✨ AI Recommendations

'); container.append(''); // Prepend to main content // Selector depends on theme. 'div.maincontent' or '#opac-main' $('#userresults').prepend(container); $.ajax({ url: '/api/v1/contrib/aisearch/search?q=' + encodeURIComponent(query), method: 'GET', success: function(data) { container.find('.spinner').remove(); if (data && data.length > 0) { var ul = ''; container.append(ul); } else { container.append('

No AI recommendations found.

'); } }, error: function() { container.find('.spinner').remove(); container.append('

Error loading AI recommendations.

'); } }); } } });