找回密碼
 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ù) 返回頂部 返回列表
西青区| 德化县| 五指山市| 昭觉县| 和顺县| 九江市| 新津县| 甘孜县| 监利县| 来宾市| 永仁县| 漳平市| 额尔古纳市| 林州市| 安陆市| 阿尔山市| 长海县| 剑川县| 宣化县| 仁寿县| 鄂托克旗| 麦盖提县| 望都县| 北安市| 甘孜县| 台中县| 昌邑市| 云南省| 长汀县| 淄博市| 泸水县| 五原县| 焦作市| 沙坪坝区| 牙克石市| 瑞安市| 南涧| 高碑店市| 温泉县| 包头市| 永定县|