找回密碼
 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ā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-14 00:50
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
宜昌市| 绥棱县| 武隆县| 靖远县| 郧西县| 大竹县| 通山县| 浮山县| 新巴尔虎左旗| 五家渠市| 庄浪县| 辉县市| 喀什市| 莱芜市| 白河县| 临武县| 贺兰县| 龙南县| 乳源| 家居| 新干县| 盐山县| 华安县| 陇川县| 朝阳市| 武鸣县| 达日县| 鄂伦春自治旗| 高要市| 西宁市| 开原市| 海门市| 江达县| 临漳县| 克山县| 原阳县| 枣阳市| 鹿邑县| 四川省| 阆中市| 青龙|