找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: GI — 13. Jahrestagung; Hamburg, 3.–7. Oktob Ingbert Kupka Conference proceedings 1983 Springer-Verlag Berlin Heidelberg 1983 Algorithmen.Bi

[復(fù)制鏈接]
樓主: sulfonylureas
21#
發(fā)表于 2025-3-25 05:09:45 | 只看該作者
https://doi.org/10.1007/978-3-642-51822-5ff für alle Verfahrensweisen folgender Art: Es werden reale (technische) Vorg?nge, die sich mathematisch modellieren lassen, dadurch quantitativ erfa?t, analysiert oder optimiert, da? ein mathematisches Modell mittels numerischer Methoden rechnerisch ausgewertet wird.
22#
發(fā)表于 2025-3-25 10:06:02 | 只看該作者
https://doi.org/10.1007/978-3-662-29633-2structure of FP is explained. Backus’ original language is related to a call-by-name variant having a simpler algebra of programs. Special stress is laid on the notion of infinite objects and on the evaluation of least fixpoints of recursive definitions.
23#
發(fā)表于 2025-3-25 15:40:22 | 只看該作者
24#
發(fā)表于 2025-3-25 19:49:05 | 只看該作者
An Algebraic Semantics for Backus’ Functional Programming Language with Infinite Objectsstructure of FP is explained. Backus’ original language is related to a call-by-name variant having a simpler algebra of programs. Special stress is laid on the notion of infinite objects and on the evaluation of least fixpoints of recursive definitions.
25#
發(fā)表于 2025-3-25 20:44:20 | 只看該作者
26#
發(fā)表于 2025-3-26 03:31:14 | 只看該作者
27#
發(fā)表于 2025-3-26 05:50:10 | 只看該作者
,über die Planung gro?er H?rs?le,i Spielen werden die vielseitigen technischen M?glichkeiten des Mediums Computer auch am virtuosesten ausgenutzt — Spiele sind oft die Prototypen, an denen wir die Technik der Gestaltung der Mensch-Maschine-Schnittstelle lernen.
28#
發(fā)表于 2025-3-26 12:24:19 | 只看該作者
29#
發(fā)表于 2025-3-26 15:00:17 | 只看該作者
Auswertung der Versuchsergebnisse,nsformationen den Einsatzanforderungen angepa?t. Die Transformationen bewirken eine schrittweise Rückführung auf konventionelle Programmstrukturen. Netzwerkprogrammierung setzt keine spezielle Programmiersprache voraus.
30#
發(fā)表于 2025-3-26 17:25:53 | 只看該作者
Applicative State Transition Systems in LISP-Like Notationf data-defined functions of an associative memory consisting of named and typed cells, and of expression-defined functions of a processor. The advantages of the algorithmic notation (functional style, history sensivity, executability) are illustrated by a set of examples executed on the “data space
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-14 07:21
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
汉沽区| 孟村| 固始县| 嘉禾县| 金坛市| 克拉玛依市| 浮梁县| 三穗县| 柏乡县| 军事| 芮城县| 青浦区| 四子王旗| 大同市| 娱乐| 东乡县| 阿拉善盟| 德清县| 神池县| 济阳县| 景泰县| 贵阳市| 玉环县| 新兴县| 兴和县| 巴青县| 洞头县| 石渠县| 古交市| 平度市| 石台县| 玉林市| 鹤峰县| 林周县| 山西省| 吉木萨尔县| 南木林县| 永平县| 景谷| 邓州市| 崇义县|