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 17.113  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
Übersetzerbau: Virtuelle Maschinen
Material Type:
Sách
Thêm vào Góc nghiên cứu

Übersetzerbau: Virtuelle Maschinen

Wilhelm, Reinhard ; Seidl, Helmut

Series ISSN: 1614-5216 ; ISBN: 978-3-540-49596-3 ; E-ISBN: 978-3-540-49597-0 ; DOI: 10.1007/978-3-540-49597-0

Toàn văn sẵn có

Phiên bản sẵn có
2
Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24–25, 2015, Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24–25, 2015, Proceedings

Pardo, Alberto ; Swierstra, S.

Series ISSN: 0302-9743 ; ISBN: 978-3-319-24011-4 ; E-ISBN: 978-3-319-24012-1 ; DOI: 10.1007/978-3-319-24012-1

Toàn văn sẵn có

3
Guide to ILDJIT
Material Type:
Sách
Thêm vào Góc nghiên cứu

Guide to ILDJIT

Campanoni, Simone

Series ISSN: 2191-5768 ; ISBN: 978-1-4471-2193-0 ; E-ISBN: 978-1-4471-2194-7 ; DOI: 10.1007/978-1-4471-2194-7

Toàn văn sẵn có

Phiên bản sẵn có
4
Python Programming Fundamentals
Material Type:
Sách
Thêm vào Góc nghiên cứu

Python Programming Fundamentals

Lee, Kent D; Mackie, Ian (Editor)

Undergraduate Topics in Computer Science

ISBN: 9781447166412 ; ISBN: 1447166418 ; E-ISBN: 9781447166429 ; E-ISBN: 1447166426 ; DOI: 10.1007/978-1-4471-6642-9

Toàn văn sẵn có

Phiên bản sẵn có
5
Foundations of Programming Languages
Material Type:
Sách
Thêm vào Góc nghiên cứu

Foundations of Programming Languages

Lee, Kent D; Mackie, Ian (Editor) ; Abramsky, Samson (Editor) ; Hankin, Chris (Editor) ; Kozen, Dexter C (Editor) ; Pitts, Andrew (Editor) ; Riis Nielson, Hanne (Editor) ; Skiena, Steven S (Editor) ; Stewart, Iain (Editor)

Undergraduate Topics in Computer Science

ISBN: 9783319707891 ; ISBN: 3319707892 ; E-ISBN: 9783319707907 ; E-ISBN: 3319707906 ; DOI: 10.1007/978-3-319-70790-7

Toàn văn sẵn có

Phiên bản sẵn có
6
Introduction to Compiler Design
Material Type:
Sách
Thêm vào Góc nghiên cứu

Introduction to Compiler Design

Mogensen, Torben Ægidius; Mackie, Ian (Editor) ; Abramsky, Samson (Editor) ; Breitman, Karin (Editor) ; Hankin, Chris (Editor) ; Kozen, Dexter C (Editor) ; Pitts, Andrew (Editor) ; Riis Nielson, Hanne (Editor) ; Skiena, Steven S (Editor) ; Stewart, Iain (Editor)

Undergraduate Topics in Computer Science

ISBN: 9783319669656 ; ISBN: 3319669656 ; E-ISBN: 9783319669663 ; E-ISBN: 3319669664 ; DOI: 10.1007/978-3-319-66966-3

Toàn văn sẵn có

Phiên bản sẵn có
7
Programming Language Concepts
Material Type:
Sách
Thêm vào Góc nghiên cứu

Programming Language Concepts

Sestoft, Peter; Mackie, Ian (Editor) ; Abramsky, Samson (Editor) ; Breitman, Karin (Editor) ; Hankin, Chris (Editor) ; Kozen, Dexter C (Editor) ; Pitts, Andrew (Editor) ; Riis Nielson, Hanne (Editor) ; Skiena, Steven S (Editor) ; Stewart, Iain (Editor)

Undergraduate Topics in Computer Science

ISBN: 9783319607887 ; ISBN: 331960788X ; E-ISBN: 9783319607894 ; E-ISBN: 3319607898 ; DOI: 10.1007/978-3-319-60789-4

Toàn văn sẵn có

Phiên bản sẵn có
8
Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Quintão Pereira, Fernando

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

Toàn văn sẵn có

9
Transactions on Aspect-Oriented Software Development XI
Material Type:
Sách
Thêm vào Góc nghiên cứu

Transactions on Aspect-Oriented Software Development XI

Chiba, Shigeru.;; 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) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Chiba, Shigeru (Editor) ; Tanter, Éric (Editor) ; Bodden, Eric (Editor) ; Maoz, Shahar (Editor) ; Kienzle, Jörg (Editor)

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

ISBN: 9783642550980 ; ISBN: 3642550983 ; E-ISBN: 9783642550997 ; E-ISBN: 3642550991 ; DOI: 10.1007/978-3-642-55099-7

Toàn văn sẵn có

Phiên bản sẵn có
10
Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Carvalho Junior, Francisco ; Barbosa, Luis

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

Toàn văn sẵn có

11
Guide to Java: A Concise Introduction to Programming
Material Type:
Sách
Thêm vào Góc nghiên cứu

Guide to Java: A Concise Introduction to Programming

Streib, James T. ; Soma, Takako

Series ISSN: 1863-7310 ; ISBN: 978-1-4471-6316-9 ; E-ISBN: 978-1-4471-6317-6 ; DOI: 10.1007/978-1-4471-6317-6

Toàn văn sẵn có

12
Compiler Construction: 22nd International Conference, CC 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

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Jhala, Ranjit ; Bosschere, Koen

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

Toàn văn sẵn có

13
Transactions on Aspect-Oriented Software Development X
Material Type:
Sách
Thêm vào Góc nghiên cứu

Transactions on Aspect-Oriented Software Development X

Hutchison, David;; Leavens, Gary ; Chiba, Shigeru ; Tanter, Éric

Series ISSN: 0302-9743 ; ISBN: 978-3-642-36963-6 ; E-ISBN: 978-3-642-36964-3 ; DOI: 10.1007/978-3-642-36964-3

Toàn văn sẵn có

14
Introduction to Image Processing Using R: Learning by Examples
Material Type:
Sách
Thêm vào Góc nghiên cứu

Introduction to Image Processing Using R: Learning by Examples

Frery, Alejandro C. ; Perciano, Talita

Series ISSN: 2191-5768 ; ISBN: 978-1-4471-4949-1 ; E-ISBN: 978-1-4471-4950-7 ; DOI: 10.1007/978-1-4471-4950-7

Toàn văn sẵn có

Phiên bản sẵn có
15
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ó

16
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;; 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ó
17
Constraints Meet Concurrency
Material Type:
Sách
Thêm vào Góc nghiên cứu

Constraints Meet Concurrency

Mauro, Jacopo; Bergstra, Jan A (Editor) ; Mislove, Michael W (Editor)

Atlantis Studies in Computing

ISBN: 9789462390669 ; ISBN: 9462390665 ; E-ISBN: 9789462390676 ; E-ISBN: 9462390673 ; DOI: 10.2991/978-94-6239-067-6

Toàn văn sẵn có

Phiên bản sẵn có
18
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

Bois, André ; Trinder, Phil

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

Toàn văn sẵn có

19
Java kompakt: Eine Einführung in die Software-Entwicklung mit Java
Material Type:
Sách
Thêm vào Góc nghiên cứu

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Hölzl, Matthias ; Raed, Allaithy ; Wirsing, Martin

Series ISSN: 1614-5216 ; ISBN: 978-3-642-28503-5 ; E-ISBN: 978-3-642-28504-2 ; DOI: 10.1007/978-3-642-28504-2

Toàn văn sẵn có

20
Software and Data Technologies: 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Software and Data Technologies: 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

Cordeiro, J. ; Hammoudi, S. ; van Sinderen, M.;; Cordeiro, José ; Hammoudi, Slimane ; Sinderen, Marten

Series ISSN: 1865-0929 ; ISBN: 978-3-642-45403-5 ; E-ISBN: 978-3-642-45404-2 ; DOI: 10.1007/978-3-642-45404-2

Toàn văn sẵn có

Kết quả 1 - 20 của 17.113  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 (137)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1982  (32)
  2. 1982đến1990  (265)
  3. 1991đến1999  (465)
  4. 2000đến2009  (10.503)
  5. Sau 2009  (5.848)
  6. Lựa chọn khác open sub menu

Dạng tài nguyên 

  1. Book Chapters  (13.867)
  2. Sách  (2.478)
  3. Kỷ yếu hội nghị  (762)
  4. Bài báo  (5)
  5. Lựa chọn khác open sub menu

Nhan đề tạp chí 

  1. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)  (1)
  2. Communications in Computer and Information Science  (13)
  3. Computer Aided Verification  (1)
  4. Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings  (1)
  5. ESOP  (1)
  6. ESOP 2013 - 22nd European Symposium on Programming  (1)
  7. Fifteenth International Symposium on Practical Aspects of Declarative Languages(PADL 2013)  (1)
  8. FLOPS 2012 - 11th International Symposium on Functional and Logic Programming  (1)
  9. Formal Verification of Object-Oriented Systems  (1)
  10. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures  (1)
  11. Foundations of Software Science and Computation Structures  (1)
  12. From Programs To Systems  (1)
  13. International Conference on Model Transformation (ICMT)  (1)
  14. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (79)
  15. Lectures Notes in Computer Science 8124  (1)
  16. Programming Languages And Systems - 21st European Symposium On Programming, Esop 2012,  (1)
  17. Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings  (1)
  18. Software Reuse For Dynamic Systems In The Cloud And Beyond,  (1)
  19. Tools And Algorithms For The Construction And Analysis Of Systems - 18th International Conference,  (1)
  20. Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings  (1)
  21. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (16.671)
  2. German  (481)
  3. French  (1)
  4. Spanish  (1)
  5. Lựa chọn khác open sub menu

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