找回密碼
 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ù) 返回頂部 返回列表
三门峡市| 施秉县| 蒲江县| 英德市| 河池市| 仪陇县| 仙游县| 濉溪县| 特克斯县| 五河县| 三穗县| 涟源市| 临夏市| 郁南县| 龙泉市| 理塘县| 石景山区| 西乌| 拜泉县| 宁明县| 东光县| 诏安县| 施甸县| 赤城县| 兴国县| 获嘉县| 开阳县| 玉屏| 辉县市| 华阴市| 永城市| 西贡区| 梅河口市| 雷波县| 玛沁县| 济南市| 宝清县| 光泽县| 淮安市| 房产| 虞城县|