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 20.925  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
In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman
Material Type:
Sách
Thêm vào Góc nghiên cứu

In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman

Tannen, Val ;Wong, Limsoon ;Libkin, Leonid ;Fan, Wenfei ;Tan, Wang-Chiew ;Fourman, Michael;; 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) ; Tannen, Val (Editor) ; Wong, Limsoon (Editor) ; Libkin, Leonid (Editor) ; Fan, Wenfei (Editor) ; Tan, Wang-Chiew (Editor) ; Fourman, Michael (Editor)

Lecture Notes in Computer Science

ISBN: 9783642416590 ; ISBN: 3642416594 ; E-ISBN: 9783642416606 ; E-ISBN: 3642416608 ; DOI: 10.1007/978-3-642-41660-6

Toàn văn sẵn có

Phiên bản sẵn có
2
Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings

Leucker, M. ; Rueda, C. ; Valencia, F.D.;; Leucker, Martin ; Rueda, Camilo ; Valencia, Frank

Series ISSN: 0302-9743 ; ISBN: 978-3-319-25149-3 ; E-ISBN: 978-3-319-25150-9 ; DOI: 10.1007/978-3-319-25150-9

Toàn văn sẵn có

3
Transactions on Petri Nets and Other Models of Concurrency VIII
Material Type:
Sách
Thêm vào Góc nghiên cứu

Transactions on Petri Nets and Other Models of Concurrency VIII

Koutny, Maciej ;van Der Aalst, Wil M.P. ;Yakovlev, Alex ;Yakovlev, Alex;; 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) ; Koutny, Maciej (Editor) ; Aalst, Wil M. P (Editor) ; Yakovlev, Alex (Editor)

Lecture Notes in Computer Science [Tạp chí có phản biện]

ISBN: 9783642404641 ; ISBN: 3642404642 ; E-ISBN: 9783642404658 ; E-ISBN: 3642404650 ; DOI: 10.1007/978-3-642-40465-8

Toàn văn sẵn có

Phiên bản sẵn có
4
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Giachino, Elena ; Hähnle, Reiner ; Boer, Frank ; Bonsangue, Marcello

Series ISSN: 0302-9743 ; ISBN: 978-3-642-40614-0 ; E-ISBN: 978-3-642-40615-7 ; DOI: 10.1007/978-3-642-40615-7

Toàn văn sẵn có

5
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Drey, Zoé ; Morales, José ; Hermenegildo, Manuel ; Carro, Manuel;; Sagonas, Kostis

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

Toàn văn sẵn có

Phiên bản sẵn có
6
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Ziv, A. ; Namjoshi, K. ; Zeller, A.;; Namjoshi, Kedar ; Zeller, Andreas ; Ziv, Avi

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

Toàn văn sẵn có

7
Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings

Ciardo, Gianfranco ; Kindler, Ekkart

Series ISSN: 0302-9743 ; ISBN: 978-3-319-07733-8 ; E-ISBN: 978-3-319-07734-5 ; DOI: 10.1007/978-3-319-07734-5

Toàn văn sẵn có

8
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Barner, Sharon ; Harris, Ian ; Kroening, Daniel ; Raz, Orna

Series ISSN: 0302-9743 ; ISBN: 978-3-642-19582-2 ; E-ISBN: 978-3-642-19583-9 ; DOI: 10.1007/978-3-642-19583-9

Toàn văn sẵn có

9
Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

McCarthy, Jay

Series ISSN: 0302-9743 ; ISBN: 978-3-642-45339-7 ; E-ISBN: 978-3-642-45340-3 ; DOI: 10.1007/978-3-642-45340-3

Toàn văn sẵn có

10
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Donaldson, A. ; Parker, D.;; Donaldson, Alastair ; Parker, David

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

Toàn văn sẵn có

11
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao

Series ISSN: 0302-9743 ; ISBN: 978-3-642-39717-2 ; E-ISBN: 978-3-642-39718-9 ; DOI: 10.1007/978-3-642-39718-9

Toàn văn sẵn có

12
Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

Peña, Ricardo ; Page, Rex

Series ISSN: 0302-9743 ; ISBN: 978-3-642-32036-1 ; E-ISBN: 978-3-642-32037-8 ; DOI: 10.1007/978-3-642-32037-8

Toàn văn sẵn có

13
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Binder, Walter ; Bodden, Eric ; Löwe, Welf;; Binder, Walter ; Bodden, Eric ; Löwe, Welf

Series ISSN: 0302-9743 ; ISBN: 978-3-642-39613-7 ; E-ISBN: 978-3-642-39614-4 ; DOI: 10.1007/978-3-642-39614-4

Toàn văn sẵn có

Phiên bản sẵn có
14
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Legay, A. ; Bozga, M.;; Legay, Axel ; Bozga, Marius

Series ISSN: 0302-9743 ; ISBN: 978-3-319-10511-6 ; E-ISBN: 978-3-319-10512-3 ; DOI: 10.1007/978-3-319-10512-3

Toàn văn sẵn có

15
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Bartocci, Ezio ; Ramakrishnan, C.

Series ISSN: 0302-9743 ; ISBN: 978-3-642-39175-0 ; E-ISBN: 978-3-642-39176-7 ; DOI: 10.1007/978-3-642-39176-7

Toàn văn sẵn có

16
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Sharygina, Natasha ; Veith, Helmut

Series ISSN: 0302-9743 ; ISBN: 978-3-642-39798-1 ; E-ISBN: 978-3-642-39799-8 ; DOI: 10.1007/978-3-642-39799-8

Toàn văn sẵn có

17
Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Scherer, Gabriel ; Rémy, Didier;; Felleisen, Matthias ; Gardner, Philippa

Series ISSN: 0302-9743 ; ISBN: 978-3-642-37035-9 ; E-ISBN: 978-3-642-37036-6 ; DOI: 10.1007/978-3-642-37036-6

Toàn văn sẵn có

Phiên bản sẵn có
18
CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

D’Argenio, Pedro ; Melgratti, Hernán

Series ISSN: 0302-9743 ; ISBN: 978-3-642-40183-1 ; E-ISBN: 978-3-642-40184-8 ; DOI: 10.1007/978-3-642-40184-8

Toàn văn sẵn có

19
Transactions on Petri Nets and Other Models of Concurrency VII
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Transactions on Petri Nets and Other Models of Concurrency VII

Jensen, Kurt ; Aalst, Wil ; Balbo, Gianfranco ; Koutny, Maciej ; Wolf, Karsten

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

Toàn văn sẵn có

20
Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001
Material Type:
Sách
Thêm vào Góc nghiên cứu

Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001

Guerraoui, Rachid ;Romano, Paolo;; 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) ; Guerraoui, Rachid (Editor) ; Romano, Paolo (Editor)

Lecture Notes in Computer Science

ISBN: 9783319147192 ; ISBN: 3319147196 ; E-ISBN: 9783319147208 ; E-ISBN: 331914720X ; DOI: 10.1007/978-3-319-14720-8

Toàn văn sẵn có

Phiên bản sẵn có

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

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1981  (11)
  2. 1981đến1989  (74)
  3. 1990đến1998  (302)
  4. 1999đến2008  (12.991)
  5. Sau 2008  (7.543)
  6. Lựa chọn khác open sub menu

Dạng tài nguyên 

  1. Book Chapters  (17.813)
  2. Sách  (2.020)
  3. Kỷ yếu hội nghị  (1.071)
  4. Bài báo  (18)
  5. Luận án, luận văn  (1)
  6. Lựa chọn khác open sub menu

Nhan đề tạp chí 

  1. ACM Transactions on Programming Languages & Systems  (1)
  2. ACM Transactions on Programming Languages and Systems  (1)
  3. arXiv.org  (5)
  4. Communications in Computer and Information Science  (10)
  5. Electronic Proceedings in Theoretical Computer Science  (3)
  6. Electronic Proceedings in Theoretical Computer Science, EPTCS  (3)
  7. Formal Approaches to Software Testing and RuntimeVerification  (1)
  8. Implementation and application of automata : ( Tours, 3-5 July 2002, revised papers )  (1)
  9. Latin 2006: Theoretical Informatics  (1)
  10. Lecture Notes in Computer Science  (3)
  11. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (128)
  12. Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings  (1)
  13. Principles and Practice of Constraint Programming - CP 2011  (1)
  14. Pristine Perspectives On Logic, Language, And Computation : Esslli 2012 And Esslli 2013 Student Sessions. Selected Papers / Theoretical Computer Science And General Issues  (1)
  15. Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications  (1)
  16. Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings  (1)
  17. Symbolic and Quantitative Approaches to Reasoning with Uncertainty  (3)
  18. TAMC'12: 9th Annual Conference on Theory and Applications of Models of Computation  (1)
  19. UC '11  (1)
  20. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (20.869)
  2. German  (60)
  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...