找回密碼
 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ù) 返回頂部 返回列表
武隆县| 禹州市| 隆德县| 乌拉特后旗| 融水| 宜阳县| 广南县| 阿瓦提县| 曲阜市| 蕲春县| 临湘市| 新安县| 临夏县| 安化县| 莎车县| 西青区| 武汉市| 山丹县| 东阳市| 封开县| 沁水县| 建德市| 南召县| 新营市| 锡林浩特市| 乌兰察布市| 新疆| 满城县| 罗田县| 通河县| 莱西市| 会东县| 中宁县| 永善县| 广西| 房产| 舒城县| 和平县| 临安市| 满洲里市| 桂阳县|