語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

語系

英文 (3)

跳至 : 概要 | 書目資訊 | 主題

Rensink, Arend.

概要

作品:	6 作品在 3 項出版品 1 種語言

書目資訊

ModelEd, testEd, trustEdessays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: Katoen, Joost-Pieter.; Langerak, Rom.; Rensink, Arend.; SpringerLink (Online service) (書目-電子資源)

Model-Driven Architecture - Foundations and ApplicationsSecond European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings / by: (1998 :); Rensink, Arend.; SpringerLink (Online service); Warmer, Jos. (書目-電子資源)

Model driven architecture - foundations and applications5th European conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 ; proceedings / by: (1998 :); Hartman, Alan.; Paige, Richard F.; Rensink, Arend.; SpringerLink (Online service) (書目-電子資源)

Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings / by: (1998 :); Rensink, Arend.; Sanchez Cuadrado, Jesus.; SpringerLink (Online service) (書目-電子資源)

Fundamental approaches to software engineering17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (1998 :); Gnesi, Stefania.; Rensink, Arend.; SpringerLink (Online service) (書目-電子資源)

Model Driven ArchitectureEuropean MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linko?ping, Sweden, June 10-11, 2004 : revised selected papers / by: (1998 :); Aksit, Mehmet.; Assmann, Uwe.; Rensink, Arend.; SpringerLink (Online service) (書目-電子資源)

主題

Software Engineering. Software engineering Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Model-driven software architecture Management of Computing and Information Systems. Computer software Algorithm Analysis and Problem Complexity. Programming Techniques. Operating Systems. Programming Languages, Compilers, Interpreters. Formal methods (Computer science) Computer architecture Computer science Computer Science. Computer Systems Organization and Communication Networks. Simulation and Modeling. Systems and Data Security. System Performance and Evaluation. Object-oriented programming (Computer science)

變更密碼

登入