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.463  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
21st Century Learning for 21st Century Skills: 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

21st Century Learning for 21st Century Skills: 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings

Ravenscroft, Andrew ; u.a.;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Vardi, Moshe Y (Editor) ; Weikum, Gerhard (Editor) ; Ravenscroft, Andrew (Editor) ; Lindstaedt, Stefanie (Editor) ; Kloos, Carlos Delgado (Editor) ; Hernández-Leo, Davinia (Editor)

Lecture Notes in Computer Science

ISBN: 9783642332623 ; ISBN: 3642332625 ; E-ISBN: 9783642332630 ; E-ISBN: 3642332633 ; DOI: 10.1007/978-3-642-33263-0

Toàn văn sẵn có

Phiên bản sẵn có
2
25 Years of Model Checking: History, Achievements, Perspectives
Material Type:
Sách
Thêm vào Góc nghiên cứu

25 Years of Model Checking: History, Achievements, Perspectives

Hutchison, David ;Kanade, Takeo ;Kittler, Josef;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Vardi, Moshe Y (Editor) ; Weikum, Gerhard (Editor) ; Grumberg, Orna (Editor) ; Veith, Helmut (Editor)

Lecture Notes in Computer Science

ISBN: 9783540698494 ; ISBN: 3540698493 ; E-ISBN: 9783540698500 ; E-ISBN: 3540698507 ; DOI: 10.1007/978-3-540-69850-0

Toàn văn sẵn có

3
3D Research Challenges in Cultural Heritage: A Roadmap in Digital Heritage Preservation
Material Type:
Sách
Thêm vào Góc nghiên cứu

3D Research Challenges in Cultural Heritage: A Roadmap in Digital Heritage Preservation

Ioannides, Marinos ;Quak, Ewald;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Kobsa, Alfred (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Ioannides, Marinos (Editor) ; Quak, Ewald (Editor)

Lecture Notes in Computer Science

ISBN: 9783662446294 ; ISBN: 3662446294 ; E-ISBN: 9783662446300 ; E-ISBN: 3662446308 ; DOI: 10.1007/978-3-662-44630-0

Toàn văn sẵn có

Phiên bản sẵn có
4
3DLife: Bringing the Media Internet to Life
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

3DLife: Bringing the Media Internet to Life

Izquierdo, Ebroul ; Piatrik, Tomas ; Zhang, Qianni; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, pp.13-14

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_4

Toàn văn sẵn có

5
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
Material Type:
Sách
Thêm vào Góc nghiên cứu

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

Hutchison, David ;Kanade, Takeo ;Kittler, Josef;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Vardi, Moshe Y (Editor) ; Weikum, Gerhard (Editor) ; Dovier, Agostino (Editor) ; Pontelli, Enrico (Editor)

Lecture Notes in Computer Science

ISBN: 9783642143083 ; ISBN: 3642143083 ; E-ISBN: 9783642143090 ; E-ISBN: 3642143091 ; DOI: 10.1007/978-3-642-14309-0

Toàn văn sẵn có

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

A Broader View on Verification: From Static to Runtime and Back (Track Summary)

Ahrendt, Wolfgang ; Huisman, Marieke ; Reger, Giles ; Rozier, Kristin Yvonne ; Margaria, Tiziana ; Steffen, Bernhard; Formal Methods and Tools

ISBN: 978-3-030-03420-7 ; ISBN: 978-3-030-03421-4

Toàn văn sẵn có

7
A Case for “Piggyback” Runtime Monitoring
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Case for “Piggyback” Runtime Monitoring

Hallé, Sylvain ; Tremblay-Lessard, Raphaël; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, 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, pp.295-311

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_23

Toàn văn sẵn có

8
A Case Study in Model-Based Adaptation of Web Services
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Case Study in Model-Based Adaptation of Web Services

Cámara, Javier ; Martín, José Antonio ; Salaün, Gwen ; Canal, Carlos ; Pimentel, Ernesto; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, pp.112-126

ISBN: 9783642165603 ; ISBN: 3642165605 ; E-ISBN: 9783642165610 ; E-ISBN: 3642165613 ; DOI: 10.1007/978-3-642-16561-0_16

Toàn văn sẵn có

9
A Component-Based Access Control Monitor
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Component-Based Access Control Monitor

Liu, Zhiming ; Morisset, Charles ; Stolz, Volker; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Communications in Computer and Information Science, Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp.339-353

ISBN: 9783540884781 ; ISBN: 3540884785 ; E-ISBN: 9783540884798 ; E-ISBN: 3540884793 ; DOI: 10.1007/978-3-540-88479-8_24

Toàn văn sẵn có

10
A Compositional Framework to Derive Product Line Behavioural Descriptions
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Compositional Framework to Derive Product Line Behavioural Descriptions

Asirelli, Patrizia ; Ter Beek, Maurice H ; Gnesi, Stefania; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, 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, pp.146-161

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_12

Toàn văn sẵn có

11
A constraint-based variability modeling framework
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A constraint-based variability modeling framework

Jörges, Sven ; Lamprecht, Anna-Lena ; Margaria, Tiziana ; Schaefer, Ina ; Steffen, Bernhard

International Journal on Software Tools for Technology Transfer, 10/2012, Vol.14(5), pp.511-530 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: http://dx.doi.org/10.1007/s10009-012-0254-x

Toàn văn sẵn có

Phiên bản sẵn có
12
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

Ravn, Anders P ; Srba, Jiří ; Vighio, Saleem; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, pp.579-593

ISBN: 9783642165573 ; ISBN: 3642165575 ; E-ISBN: 9783642165580 ; E-ISBN: 3642165583 ; DOI: 10.1007/978-3-642-16558-0_47

Toàn văn sẵn có

13
A Formal Approach to Software Product Families
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Formal Approach to Software Product Families

Leucker, Martin ; Thoma, Daniel; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, 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, pp.131-145

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_11

Toàn văn sẵn có

14
A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing

Cafezeiro, Isabel ; Viterbo, José ; Rademaker, Alexandre ; Haeusler, Edward Hermann ; Endler, Markus; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Communications in Computer and Information Science, Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp.519-533

ISBN: 9783540884781 ; ISBN: 3540884785 ; E-ISBN: 9783540884798 ; E-ISBN: 3540884793 ; DOI: 10.1007/978-3-540-88479-8_37

Toàn văn sẵn có

15
A Framework for Analyzing and Testing the Performance of Software Services
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Framework for Analyzing and Testing the Performance of Software Services

Bertolino, Antonia ; De Angelis, Guglielmo ; Di Marco, Antinisca ; Inverardi, Paola ; Sabetta, Antonino ; Tivoli, Massimo; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Communications in Computer and Information Science, Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp.206-220

ISBN: 9783540884781 ; ISBN: 3540884785 ; E-ISBN: 9783540884798 ; E-ISBN: 3540884793 ; DOI: 10.1007/978-3-540-88479-8_15

Toàn văn sẵn có

16
A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application

Greci, Paolo ; Martinelli, Fabio; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Communications in Computer and Information Science, Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp.221-236

ISBN: 9783540884781 ; ISBN: 3540884785 ; E-ISBN: 9783540884798 ; E-ISBN: 3540884793 ; DOI: 10.1007/978-3-540-88479-8_16

Toàn văn sẵn có

17
A Generic Platform for Model-Based Regression Testing
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Generic Platform for Model-Based Regression Testing

Zech, Philipp ; Felderer, Michael ; Kalb, Philipp ; Breu, Ruth; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, 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, pp.112-126

ISBN: 9783642340253 ; ISBN: 3642340253 ; E-ISBN: 9783642340260 ; E-ISBN: 3642340261 ; DOI: 10.1007/978-3-642-34026-0_9

Toàn văn sẵn có

18
A Hierarchical Variability Model for Software Product Lines
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Hierarchical Variability Model for Software Product Lines

Gurov, Dilian ; Østvold, Bjarte M ; Schaefer, Ina; Hähnle, Reiner (Editor) ; Knoop, Jens (Editor) ; Margaria, Tiziana (Editor) ; Schreiner, Dietmar (Editor) ; Steffen, Bernhard (Editor)

Communications in Computer and Information Science, Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers, pp.181-199

ISBN: 9783642347801 ; ISBN: 3642347800 ; E-ISBN: 9783642347818 ; E-ISBN: 3642347819 ; DOI: 10.1007/978-3-642-34781-8_15

Toàn văn sẵn có

19
A Hybrid Deliberative Layer for Robotic Agents: Fusing DL Reasoning with HTN Planning in Autonomous Robots
Material Type:
Sách
Thêm vào Góc nghiên cứu

A Hybrid Deliberative Layer for Robotic Agents: Fusing DL Reasoning with HTN Planning in Autonomous Robots

Hartanto, Ronny; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Vardi, Moshe Y (Editor) ; Weikum, Gerhard (Editor)

Lecture Notes in Computer Science

ISBN: 9783642225796 ; ISBN: 3642225799 ; E-ISBN: 9783642225802 ; E-ISBN: 3642225802 ; DOI: 10.1007/978-3-642-22580-2

Toàn văn sẵn có

Phiên bản sẵn có
20
A Linked Data Approach to Sharing Workflows and Workflow Results
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Linked Data Approach to Sharing Workflows and Workflow Results

Bechhofer, Sean ; Zhao, Jun ; Missier, Paolo ; Newman, David R ; De Roure, David; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, pp.340-354

ISBN: 9783642165573 ; ISBN: 3642165575 ; E-ISBN: 9783642165580 ; E-ISBN: 3642165583 ; DOI: 10.1007/978-3-642-16558-0_29

Toàn văn sẵn có

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

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1993  (8)
  2. 1993đến1999  (13)
  3. 2000đến2006  (831)
  4. 2007đến2013  (3.271)
  5. Sau 2013  (1.336)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (5.445)
  2. German  (19)
  3. French  (10)
  4. Dutch  (2)
  5. Lựa chọn khác open sub menu

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