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 5.594  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Chỉ hiển thị
Lọc theo: Chủ đề: Computer Science xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Information Theoretic Security
Material Type:
Sách
Thêm vào Góc nghiên cứu

Information Theoretic Security

Hutchison, David; Takeo, Kanade; Kittler, Josef; Kleinberg, Jon M.; Kobsa, Alfred; Mattern, Friedemann; Mitchell, John C.; Moni, Naor; Nierstrasz, Oscar; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Weikum, Gerhard

http://repository.vnu.edu.vn/handle/VNU_123/24090

Truy cập trực tuyến

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

The physics of software tools: SWOT analysis and vision

Steffen, Bernhard

International Journal on Software Tools for Technology Transfer, 2017, Vol.19(1), pp.1-7 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-016-0446-x

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Assuring property conformance of code generators via model checking

Jörges, Sven ; Margaria, Tiziana ; Steffen, Bernhard

Formal Aspects of Computing, 25 November 2010, Vol.23(5), pp.589-606 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-010-0169-9

Toàn văn sẵn có

Phiên bản sẵn có
4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Risk-based testing via active continuous quality control

Neubauer, Johannes ; Windmüller, Stephan ; Steffen, Bernhard

International Journal on Software Tools for Technology Transfer, 2014, Vol.16(5), pp.569-591 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0321-6

Toàn văn sẵn có

Phiên bản sẵn có
5
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Property-driven benchmark generation: synthesizing programs of realistic structure

Steffen, Bernhard ; Isberner, Malte ; Naujokat, Stefan ; Margaria, Tiziana ; Geske, Maren

International Journal on Software Tools for Technology Transfer, 2014, Vol.16(5), pp.465-479 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0336-z

Toàn văn sẵn có

Phiên bản sẵn có
6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Tailored generation of concurrent benchmarks

Steffen, Bernhard ; Howar, Falk ; Isberner, Malte ; Naujokat, Stefan ; Margaria, Tiziana

International Journal on Software Tools for Technology Transfer, 2014, Vol.16(5), pp.543-558 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0339-9

Toàn văn sẵn có

Phiên bản sẵn có
7
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Margaria, T. ; Steffen, B.;; Margaria, Tiziana ; Steffen, Bernhard

Series ISSN: 0302-9743 ; ISBN: 978-3-662-45230-1 ; E-ISBN: 978-3-662-45231-8 ; DOI: 10.1007/978-3-662-45231-8

Toàn văn sẵn có

8
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Margaria, Tiziana ; Steffen, Bernhard

Series ISSN: 0302-9743 ; ISBN: 978-3-642-34025-3 ; E-ISBN: 978-3-642-34026-0 ; DOI: 10.1007/978-3-642-34026-0

Toàn văn sẵn có

9
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Margaria, Tiziana ; Steffen, Bernhard

Series ISSN: 0302-9743 ; ISBN: 978-3-642-34031-4 ; E-ISBN: 978-3-642-34032-1 ; DOI: 10.1007/978-3-642-34032-1

Toàn văn sẵn có

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

Rigorous examination of reactive systems

Howar, Falk ; Isberner, Malte ; Merten, Maik ; Steffen, Bernhard ; Beyer, Dirk ; Păsăreanu, Corina

International Journal on Software Tools for Technology Transfer, 2014, Vol.16(5), pp.457-464 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0337-y

Toàn văn sẵn có

Phiên bản sẵn có
11
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond

Neubauer, Johannes ; Steffen, Bernhard ; Margaria, Tiziana; Margaria, Tiziana (pacrepositoryorg)

arXiv.org, Sep 20, 2013

DOI: 10.4204/EPTCS.129.16

Toàn văn sẵn có

Phiên bản sẵn có
12
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Evolution support in heterogeneous service-oriented landscapes

Margaria, Tiziana ; Steffen, Bernhard ; Kubczak, Christian

Journal of the Brazilian Computer Society, 2010, Vol.16(1), pp.35-47 [Tạp chí có phản biện]

ISSN: 0104-6500 ; E-ISSN: 1678-4804 ; DOI: 10.1007/s13173-010-0004-4

Toàn văn sẵn có

Phiên bản sẵn có
13
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Assuring property conformance of code generators via model checking

Jörges, Sven ; Margaria, Tiziana ; Steffen, Bernhard

Formal Aspects of Computing, 2011, Vol.23(5), pp.589-606 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-010-0169-9

Toàn văn sẵn có

Phiên bản sẵn có
14
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Active learning for extended finite state machines

Cassel, Sofia ; Howar, Falk ; Jonsson, Bengt ; Steffen, Bernhard

Formal Aspects of Computing, 2016, Vol.28(2), pp.233-263 [Tạp chí có phản biện]

ISSN: 0934-5043 ; E-ISSN: 1433-299X ; DOI: 10.1007/s00165-016-0355-5

Toàn văn sẵn có

Phiên bản sẵn có
15
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Topological Representation of Intuitionistic and Distributive Abstract Logics

Brunner, Andreas ; Lewitzka, Steffen

Logica Universalis, 2017, Vol.11(2), pp.153-175 [Tạp chí có phản biện]

ISSN: 1661-8297 ; E-ISSN: 1661-8300 ; DOI: 10.1007/s11787-017-0166-3

Toàn văn sẵn có

Phiên bản sẵn có
16
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

Naujokat, Stefan ; Lybecait, Michael ; Kopetzki, Dawid ; Steffen, Bernhard

International Journal on Software Tools for Technology Transfer, 2018, Vol.20(3), pp.327-354 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-017-0453-6

Toàn văn sẵn có

Phiên bản sẵn có
17
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Scientific workflows with the jABC framework

Lamprecht, Anna-Lena ; Steffen, Bernhard ; Margaria, Tiziana

International Journal on Software Tools for Technology Transfer, 2016, Vol.18(6), pp.629-651 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-016-0427-0

Toàn văn sẵn có

Phiên bản sẵn có
18
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Learning register automata: from languages to program structures

Isberner, Malte ; Howar, Falk ; Steffen, Bernhard

Machine Learning, 2014, Vol.96(1), pp.65-98 [Tạp chí có phản biện]

ISSN: 0885-6125 ; E-ISSN: 1573-0565 ; DOI: 10.1007/s10994-013-5419-7

Toàn văn sẵn có

Phiên bản sẵn có
19
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Margaria, Tiziana ; Steffen, Bernhard

Series ISSN: 0302-9743 ; ISBN: 978-3-662-45233-2 ; E-ISBN: 978-3-662-45234-9 ; DOI: 10.1007/978-3-662-45234-9

Toàn văn sẵn có

20
Grundlagen der höheren Informatik: Induktives Vorgehen
Material Type:
Sách
Thêm vào Góc nghiên cứu

Grundlagen der höheren Informatik: Induktives Vorgehen

Steffen, Bernhard ; Rüthing, Oliver ; Isberner, Malte

eXamen.press

ISBN: 9783642401459 ; ISBN: 3642401457 ; E-ISBN: 9783642401466 ; E-ISBN: 3642401465 ; DOI: 10.1007/978-3-642-40146-6

Toàn văn sẵn có

Phiên bản sẵn có

Kết quả 1 - 20 của 5.594  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 (375)
  2. Toàn văn trực tuyến (5.593)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1997  (4)
  2. 1997đến2003  (8)
  3. 2004đến2007  (1.266)
  4. 2008đến2012  (2.545)
  5. Sau 2012  (1.768)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

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

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