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 900  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ủ đề: Logics and Meanings of Programs xóa
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
Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

Taentzer, Gabriele ;Bordeleau, Francis;; 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) ; Taentzer, Gabriele (Editor) ; Bordeleau, Francis (Editor)

Lecture Notes in Computer Science

ISBN: 9783319211503 ; ISBN: 3319211501 ; E-ISBN: 9783319211510 ; E-ISBN: 331921151X ; DOI: 10.1007/978-3-319-21151-0

Toàn văn sẵn có

4
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ó

5
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ó

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
Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

El-Fakih, Khaled ; Barlas, Gerassimos ; Yevtushenko, Nina;; 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) ; El-Fakih, Khaled (Editor) ; Barlas, Gerassimos (Editor) ; Yevtushenko, Nina (Editor)

Lecture Notes in Computer Science

ISBN: 9783319259444 ; ISBN: 331925944X ; E-ISBN: 9783319259451 ; E-ISBN: 3319259458 ; DOI: 10.1007/978-3-319-25945-1

Toàn văn sẵn có

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

Transactions on Petri Nets and Other Models of Concurrency X

Koutny, Maciej ;Desel, Jörg ;Haddad, Serge;; 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) ; Koutny, Maciej (Editor) ; Desel, Jörg (Editor) ; Haddad, Serge (Editor)

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

ISBN: 9783662486498 ; ISBN: 3662486490 ; E-ISBN: 9783662486504 ; E-ISBN: 3662486504 ; DOI: 10.1007/978-3-662-48650-4

Toàn văn sẵn có

10
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ó

11
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Norman, Gethin ;Sanders, William;; 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) ; Norman, Gethin (Editor) ; Sanders, William (Editor)

Lecture Notes in Computer Science

ISBN: 9783319106953 ; ISBN: 3319106953 ; E-ISBN: 9783319106960 ; E-ISBN: 3319106961 ; DOI: 10.1007/978-3-319-10696-0

Toàn văn sẵn có

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

Transactions on Petri Nets and Other Models of Concurrency IX

Koutny, Maciej ;Haddad, Serge ;Yakovlev, Alex;; Koutny, Maciej (Editor) ; 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) ; Koutny, Maciej (Editor) ; Haddad, Serge (Editor) ; Yakovlev, Alex (Editor)

Lecture Notes in Computer Science

ISBN: 9783662457290 ; ISBN: 3662457296 ; E-ISBN: 9783662457306 ; E-ISBN: 366245730X ; DOI: 10.1007/978-3-662-45730-6

Toàn văn sẵn có

13
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ó

14
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ó

15
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ó

16
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ó

17
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ó

18
Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

Pontelli, Enrico ;Son, Tran Cao;; 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) ; Pontelli, Enrico (Editor) ; Son, Tran Cao (Editor)

Lecture Notes in Computer Science

ISBN: 9783319196855 ; ISBN: 3319196855 ; E-ISBN: 9783319196862 ; E-ISBN: 3319196863 ; DOI: 10.1007/978-3-319-19686-2

Toàn văn sẵn có

19
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ó

20
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ó

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

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2007  (153)
  2. 2007đến2008  (160)
  3. 2009đến2010  (156)
  4. 2011đến2013  (214)
  5. Sau 2013  (217)
  6. Lựa chọn khác open sub menu

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