This book constitutes the refereed proceedings of the 7th International Workshop on Inductive Logic programming, ILP-97, held in Prague, Czech Republic, in September 1997.;The volume presents revised versions of nine ...
详细信息
ISBN:
(数字)9783540695875
ISBN:
(纸本)9783540635147
This book constitutes the refereed proceedings of the 7th International Workshop on Inductive Logic programming, ILP-97, held in Prague, Czech Republic, in September 1997.;The volume presents revised versions of nine papers in long version and 17 short papers accepted after a thorough reviewing process. Also included are three invited papers by Usama Fayyad, Jean-Francois Puget, and Georg Gottlob. Among the topics addressed are various logic programming issues, natural language processing, speech processing, abductive learning, data mining, knowledge discovery, and relational database systems.
Use ClojureScript to create powerful serverless Web applications that are responsive and engaging. This book presents Reactive recipes with Reagent, a ClojureScript reactive framework, to create interactive appli...
详细信息
ISBN:
(数字)9781484230091
ISBN:
(纸本)9781484230084
Use ClojureScript to create powerful serverless Web applications that are responsive and engaging. This book presents Reactive recipes with Reagent, a ClojureScript reactive framework, to create interactive applications.;Throughout the book,;uses progressively more complex examples and introduces you to a set of powerful tools that target rapid web application development. In the last chapter, you'll use these concepts for an HTML5-based deployment to smart phones.;ClojureScript is your functional programming language for the web. ClojureScript looks like a LISP, and compiles to JavaScript, and thus runs nicely run in the browser.
COBOL dürfte die am meisten angewendete Programmiersprache seit ihrer ersten Veröffentlichung im Jahre 1960 sein. Man schätzt, daß etwa 40% aller geschriebenen Programme in COBOL abgefaßt word...
详细信息
ISBN:
(数字)9783322878021
ISBN:
(纸本)9783528052799
COBOL dürfte die am meisten angewendete Programmiersprache seit ihrer ersten Veröffentlichung im Jahre 1960 sein. Man schätzt, daß etwa 40% aller geschriebenen Programme in COBOL abgefaßt worden sind, wobei der Trend eher als zunehmend zu beurteilen ist. Der Grund für dieses gesteigerte Interesse liegt vor allem in der ständig zu nehmenden Aufbereitung und Verarbeitung von Massendaten aus allen wirtschaftlich orientierten Bereichen, wofür COBOL hervorragend ge eignet ist. Da die anwenderbezogenen Anforderungen an die Verar beitung dieser Daten einer ständigen Entwicklung unterliegen, muß auch COBOL dieser Entwicklung gerecht werden. Seit 1968 hat das American National Standards Institute (ANS I) , dem auch ein inter nationaler Beraterkreis angehört, die Standardisierung der COBOL Entwicklung übernommen. Dadurch wurde der Grundstein für die Kompatibilität der Sprache gelegt. Heute sind alle publizierten COBOL Versionen aufwärtskompatibel. Das heißt, daß auch Programme, die in älteren Versionen geschrieben wurden, beim Einsatz neuer Compiler Versionen unter geringfügigen Quell-Code-Änderungen läuffähig bleiben. Damit ist COBOL zu einer lebendigen Programmiersprache geworden, die eine zukünftige Entwicklung bereits in sich trägt und universell einsetzbar ist. Da COBOL für die Verarbeitung großer Datenmengen geschaffen wurde, war ihr Einsatz in der Vergangenheit auf Großrechner be schränkt. Durch die rasche Hardware-Entwicklung, die vor allem durch immer schnellere Rechner und größere Speicherkapazitäten auf kleinstem Raum zum Ausdruck kommt, können COBOL-Programme auch zunehmend auf mittleren und Kleinanlagen eingesetzt werden. Die Computer-Hersteller haben dieser Entwicklung Rechnung getragen und eine Reihe sehr guterCompiler entwickelt, die auf dem PC einsetzbar sind.
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together wit...
详细信息
ISBN:
(数字)9783319478463
ISBN:
(纸本)9783319478456
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
暂无评论