skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 196  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Instance-level modeling and simulation using lambda-calculus and object-oriented environments

Merunka, Vojtěch

Enterprise and organizational modeling and simulation : 7th international workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011, selected papers, pp. 145-158

ISSN: ; ISBN: 978-3-642-24174-1

Toàn văn sẵn có

2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Système hybride pour la conception des boîtiers à broches multiples

Mehdi, Kamel; Khabou Masmoudi, Neila

Journal of decision systems, 2011, Vol.20(1), pp. 51-70 [Tạp chí có phản biện]

ISSN: 1246-0125

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Eine generische Learning-Classifier-Bibliothek auf Basis objektorientierter Prinzipien : Grundlagen einer Umsetzung der Methode der abnehmenden Abstraktion "in silicio"

Meyer, Matthias; Hufschlag, Klaus

Controlling und begrenzte kognitive Fähigkeiten : Grundlagen und Anwendungen eines verhaltensorientierten Ansatzes, pp. 181-197

ISSN: ; ISBN: 978-3-8349-2309-7

Toàn văn sẵn có

4
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Grounded system dynamics a procedure for underpinning system dynamics with a domain modeling method

Tulinayo, F. P; Bommel, P. Van ; Proper, H. A

The practice of enterprise modeling : 4th IFIP WG 8.1 working conference, PoEM 2011 Oslo, Norway, November 2 - 3, 2011 ; proceedings, pp. 112-125

ISSN: ; ISBN: 978-3-642-24848-1

Toàn văn sẵn có

5
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Zur Modellierung ökonomischer Akteure mit begrenzten kognitiven Fähigkeiten : Anleitung zu einer problemspezifischen Ausdifferenzierung des Homo oeconomicus

Heine, Bernd - Oliver ; Hirsch, Bernhard ; Hufschlag, Klaus ; Lesch, Marc ; Meyer, Matthias

Controlling und begrenzte kognitive Fähigkeiten : Grundlagen und Anwendungen eines verhaltensorientierten Ansatzes, pp. 93-179

ISSN: ; ISBN: 978-3-8349-2309-7

Toàn văn sẵn có

6
A Seamless Framework for Object-Oriented Persistence in Presence of Class Schema Evolution
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

A Seamless Framework for Object-Oriented Persistence in Presence of Class Schema Evolution

Piccioni, Marco

DOI: 10.3929/ethz-a-007600524

Toàn văn sẵn có

7
Unternehmensmodellierung objektorientierte Theorie und Praxis mit UML 2.0
Material Type:
Sách
Thêm vào Góc nghiên cứu

Unternehmensmodellierung objektorientierte Theorie und Praxis mit UML 2.0

Staud, Josef L

ISBN: 9783642044113 ; E-ISBN: 9783642044113

Toàn văn sẵn có

Phiên bản sẵn có
8
Controlling und begrenzte kognitive Fähigkeiten Grundlagen und Anwendungen eines verhaltensorientierten Ansatzes
Material Type:
Sách
Thêm vào Góc nghiên cứu

Controlling und begrenzte kognitive Fähigkeiten Grundlagen und Anwendungen eines verhaltensorientierten Ansatzes

Meyer, Matthias ;Weber, Jürgen ;Weber, Jurgen;; Meyer, Matthias

ISBN: 9783834923097

Toàn văn sẵn có

Phiên bản sẵn có
9
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Concepts, aims, and problems which modelling in OR and OOP have in common

Mühlbacher, Jörg R

Models, methods and decision support for management, pp. 139-146

ISSN: ; ISBN: 3-7908-1373-7

Toàn văn sẵn có

10
Enhancing separation logic for object-orientation
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Enhancing separation logic for object-orientation

Staden, Stephanus J. van

DOI: 10.3929/ethz-a-009908413

Toàn văn sẵn có

11
Automated Usable Functional Verification of Object-Oriented Programs
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Automated Usable Functional Verification of Object-Oriented Programs

Tschannen, Julian

DOI: 10.3929/ethz-a-010466795

Toàn văn sẵn có

12
Permission-Based Verifcation of Subclassing and Traits
Material Type:
Trang web
Thêm vào Góc nghiên cứu

Permission-Based Verifcation of Subclassing and Traits

Bühlmann, Andreas

DOI: 10.3929/ethz-a-007636128

Toàn văn sẵn có

13
Integration and evaluation of a low-level storage provider for persistent object-oriented data management
Material Type:
Trang web
Thêm vào Góc nghiên cứu

Integration and evaluation of a low-level storage provider for persistent object-oriented data management

Simmen, David

DOI: 10.3929/ethz-a-006180611

Toàn văn sẵn có

14
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

An Interference-Free Programming Model for Network Objects

Schill, Mischael ; Poskitt, Christopher M ; Meyer, Bertrand

2016

DOI: 10.3929/ethz-a-010624290

Toàn văn sẵn có

15
Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE
Material Type:
Trang web
Thêm vào Góc nghiên cứu

Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE

Corrodi, Claudio

DOI: 10.3929/ethz-a-010437731

Toàn văn sẵn có

16
Automatic Translation and Object-Oriented Reengineering of Legacy Code
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Automatic Translation and Object-Oriented Reengineering of Legacy Code

Trudel, Marco

DOI: 10.3929/ethz-a-009976568

Toàn văn sẵn có

17
Parallelism visualizer for scoop
Material Type:
Trang web
Thêm vào Góc nghiên cứu

Parallelism visualizer for scoop

Meier, Dominic

DOI: 10.3929/ethz-a-010412121

Toàn văn sẵn có

18
Implementing and evaluating an exception mechanism for SCOOP
Material Type:
Trang web
Thêm vào Góc nghiên cứu

Implementing and evaluating an exception mechanism for SCOOP

Besser, Florian

DOI: 10.3929/ethz-a-009979906

Toàn văn sẵn có

19
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

Heußner, Alexander ; Poskitt, Christopher M ; Corrodi, Claudio ; Morandi, Benjamin

Electronic proceedings in theoretical computer science, 2015

ISSN: 2075-2180 ; E-ISSN: 2075-2180 ; DOI: 10.3929/ethz-a-010415005

Toàn văn sẵn có

20
Automatic verification of heap structures with stereotypes
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Automatic verification of heap structures with stereotypes

Rudich, Arsenii

DOI: 10.3929/ethz-a-007262786

Toàn văn sẵn có

Kết quả 1 - 20 của 196  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (1)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1992  (28)
  2. 1992đến1998  (19)
  3. 1999đến2004  (42)
  4. 2005đến2011  (77)
  5. Sau 2011  (30)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (174)
  2. German  (22)
  3. French  (1)
  4. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...