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 656  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
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Blanchette, Jasmin Christian ; Merz, Stephan;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Blanchette, Jasmin Christian (Editor) ; Merz, Stephan (Editor)

Lecture Notes in Computer Science

ISBN: 9783319431437 ; ISBN: 3319431439 ; E-ISBN: 9783319431444 ; E-ISBN: 3319431447 ; DOI: 10.1007/978-3-319-43144-4

Toàn văn sẵn có

2
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Facs;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Braga, Christiano (Editor) ; Ölveczky, Peter Csaba (Editor)

Lecture Notes in Computer Science

ISBN: 9783319289335 ; ISBN: 3319289330 ; E-ISBN: 9783319289342 ; E-ISBN: 3319289349 ; DOI: 10.1007/978-3-319-28934-2

Toàn văn sẵn có

3
Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Sefm,Verfasserin;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; De Nicola, Rocco (Editor) ; Kühn, Eva (Editor)

Lecture Notes in Computer Science

ISBN: 9783319415901 ; ISBN: 3319415905 ; E-ISBN: 9783319415918 ; E-ISBN: 3319415913 ; DOI: 10.1007/978-3-319-41591-8

Toàn văn sẵn có

4
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Material Type:
Sách
Thêm vào Góc nghiên cứu

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Chaudhuri, Swarat ;Farzan, Azadeh;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Chaudhuri, Swarat (Editor) ; Farzan, Azadeh (Editor)

Lecture Notes in Computer Science

ISBN: 9783319415277 ; ISBN: 3319415271 ; E-ISBN: 9783319415284 ; E-ISBN: 331941528X ; DOI: 10.1007/978-3-319-41528-4

Toàn văn sẵn có

5
Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text Mining
Material Type:
Sách
Thêm vào Góc nghiên cứu

Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text Mining

Wachsmuth, Henning; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor)

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

ISBN: 9783319257402 ; ISBN: 3319257404 ; E-ISBN: 9783319257419 ; E-ISBN: 3319257412 ; DOI: 10.1007/978-3-319-25741-9

Toàn văn sẵn có

6
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Material Type:
Sách
Thêm vào Góc nghiên cứu

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

International School On Formal Methods For The Design Of Computer, Communication, And Software Systems ; Verfasserin;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Bernardo, Marco (Editor) ; De Nicola, Rocco (Editor) ; Hillston, Jane (Editor)

Lecture Notes in Computer Science

ISBN: 9783319340951 ; ISBN: 3319340956 ; E-ISBN: 9783319340968 ; E-ISBN: 3319340964 ; DOI: 10.1007/978-3-319-34096-8

Toàn văn sẵn có

7
Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Beklemishev, Lev D. ;Musatov, Daniil V.;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Beklemishev, Lev D (Editor) ; Musatov, Daniil V (Editor)

Lecture Notes in Computer Science

ISBN: 9783319202969 ; ISBN: 3319202960 ; E-ISBN: 9783319202976 ; E-ISBN: 3319202979 ; DOI: 10.1007/978-3-319-20297-6

Toàn văn sẵn có

8
Combinatorial Algorithms: 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Combinatorial Algorithms: 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers

Jan, Kratochvíl ;Miller, Mirka ;Froncek, Dalibor;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Jan, Kratochvíl (Editor) ; Miller, Mirka (Editor) ; Froncek, Dalibor (Editor)

Lecture Notes in Computer Science

ISBN: 9783319193144 ; ISBN: 3319193147 ; E-ISBN: 9783319193151 ; E-ISBN: 3319193155 ; DOI: 10.1007/978-3-319-19315-1

Toàn văn sẵn có

9
Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Shallit, Jeffrey ;Okhotin, Alexander;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Shallit, Jeffrey (Editor) ; Okhotin, Alexander (Editor)

Lecture Notes in Computer Science

ISBN: 9783319192246 ; ISBN: 3319192248 ; E-ISBN: 9783319192253 ; E-ISBN: 3319192256 ; DOI: 10.1007/978-3-319-19225-3

Toàn văn sẵn có

10
Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions
Material Type:
Sách
Thêm vào Góc nghiên cứu

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Kaiser, Łukasz; 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: 9783642228063 ; ISBN: 3642228062 ; E-ISBN: 9783642228070 ; E-ISBN: 3642228070 ; DOI: 10.1007/978-3-642-22807-0

Toàn văn sẵn có

Phiên bản sẵn có
11
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Material Type:
Sách
Thêm vào Góc nghiên cứu

Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Calude, C.S. ; Freivalds, R. ; Kazuo, I.;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Calude, Cristian S (Editor) ; Freivalds, Rūsiņš (Editor) ; Kazuo, Iwama (Editor)

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

ISBN: 9783319133492 ; ISBN: 3319133497 ; E-ISBN: 9783319133508 ; E-ISBN: 3319133500 ; DOI: 10.1007/978-3-319-13350-8

Toàn văn sẵn có

12
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:
Sách
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, Tiziana ;Steffen, Bernhard;; 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) ; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science

ISBN: 9783662452301 ; ISBN: 3662452308 ; E-ISBN: 9783662452318 ; E-ISBN: 3662452316 ; DOI: 10.1007/978-3-662-45231-8

Toàn văn sẵn có

13
Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Garrigue, Jacques;; 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) ; Garrigue, Jacques (Editor)

Lecture Notes in Computer Science

ISBN: 9783319127354 ; ISBN: 3319127357 ; E-ISBN: 9783319127361 ; E-ISBN: 3319127365 ; DOI: 10.1007/978-3-319-12736-1

Toàn văn sẵn có

14
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Lanese, Ivan ;Madelaine, Eric;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Lanese, Ivan (Editor) ; Madelaine, Eric (Editor)

Lecture Notes in Computer Science

ISBN: 9783319153162 ; ISBN: 3319153161 ; E-ISBN: 9783319153179 ; E-ISBN: 331915317X ; DOI: 10.1007/978-3-319-15317-9

Toàn văn sẵn có

15
Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

International Conference On Formal Modelin And Analysis,Verfasserin;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Fränzle, Martin (Editor) ; Markey, Nicolas (Editor)

Lecture Notes in Computer Science

ISBN: 9783319448770 ; ISBN: 3319448773 ; E-ISBN: 9783319448787 ; E-ISBN: 3319448781 ; DOI: 10.1007/978-3-319-44878-7

Toàn văn sẵn có

16
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Material Type:
Sách
Thêm vào Góc nghiên cứu

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Ábrahám, Erika ;Bonsangue, Marcello ;Johnsen, Einar Broch;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Ábrahám, Erika (Editor) ; Bonsangue, Marcello (Editor) ; Johnsen, Einar Broch (Editor)

Lecture Notes in Computer Science

ISBN: 9783319307336 ; ISBN: 3319307339 ; E-ISBN: 9783319307343 ; E-ISBN: 3319307347 ; DOI: 10.1007/978-3-319-30734-3

Toàn văn sẵn có

17
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Skavhaug, Amund ;Guiochet, Jérémie ;Schoitsch, Erwin ;Bitsch, Friedemann;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Skavhaug, Amund (Editor) ; Guiochet, Jérémie (Editor) ; Schoitsch, Erwin (Editor) ; Bitsch, Friedemann (Editor)

Lecture Notes in Computer Science

ISBN: 9783319454795 ; ISBN: 331945479X ; E-ISBN: 9783319454801 ; E-ISBN: 3319454803 ; DOI: 10.1007/978-3-319-45480-1

Toàn văn sẵn có

18
Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Frocos,Verfasserin;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Lutz, Carsten (Editor) ; Ranise, Silvio (Editor)

Lecture Notes in Computer Science

ISBN: 9783319242453 ; ISBN: 3319242458 ; E-ISBN: 9783319242460 ; E-ISBN: 3319242466 ; DOI: 10.1007/978-3-319-24246-0

Toàn văn sẵn có

19
Reasoning Web. Web Logic Rules: 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures
Material Type:
Sách
Thêm vào Góc nghiên cứu

Reasoning Web. Web Logic Rules: 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures

Faber, W. ; Paschke, A.;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Faber, Wolfgang (Editor) ; Paschke, Adrian (Editor)

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

ISBN: 9783319217673 ; ISBN: 3319217674 ; E-ISBN: 9783319217680 ; E-ISBN: 3319217682 ; DOI: 10.1007/978-3-319-21768-0

Toàn văn sẵn có

20
Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Aher, Martin ;Hole, Daniel ;Jeábek, Emil ;Kupke, Clemens;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Aher, Martin (Editor) ; Hole, Daniel (Editor) ; Jeřábek, Emil (Editor) ; Kupke, Clemens (Editor)

Lecture Notes in Computer Science

ISBN: 9783662469057 ; ISBN: 3662469057 ; E-ISBN: 9783662469064 ; E-ISBN: 3662469065 ; DOI: 10.1007/978-3-662-46906-4

Toàn văn sẵn có

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

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2007  (21)
  2. 2007đến2008  (63)
  3. 2009đến2010  (148)
  4. 2011đến2013  (213)
  5. Sau 2013  (211)
  6. Lựa chọn khác open sub menu

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