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 3.975  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
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ó
2
Ada 2012 Rationale: The Language, The Standard Libraries
Material Type:
Sách
Thêm vào Góc nghiên cứu

Ada 2012 Rationale: The Language, The Standard Libraries

Barnes, John; 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: 9783642452093 ; ISBN: 3642452094 ; E-ISBN: 9783642452109 ; E-ISBN: 3642452108 ; DOI: 10.1007/978-3-642-45210-9

Toàn văn sẵn có

3
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ó
4
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

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) ; Brucker, Achim D (Editor) ; Julliand, Jacques (Editor)

Lecture Notes in Computer Science

ISBN: 9783642304729 ; ISBN: 3642304729 ; E-ISBN: 9783642304736 ; E-ISBN: 3642304737 ; DOI: 10.1007/978-3-642-30473-6

Toàn văn sẵn có

5
Advanced Computing, Networking and Security: International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Advanced Computing, Networking and Security: International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers

Hutchison, David ;Kanade, Takeo ;Kittler, Josef ;Krishan, Vinod ;Balakrishnan, N.;; 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) ; Thilagam, P. Santhi (Editor) ; Pais, Alwyn Roshan (Editor) ; Chandrasekaran, K (Editor) ; Balakrishnan, N (Editor)

Lecture Notes in Computer Science

ISBN: 9783642292798 ; ISBN: 3642292798 ; E-ISBN: 9783642292804 ; E-ISBN: 3642292801 ; DOI: 10.1007/978-3-642-29280-4

Toàn văn sẵn có

6
Transactions on Computational Science XII: Special Issue on Cyberworlds
Material Type:
Sách
Thêm vào Góc nghiên cứu

Transactions on Computational Science XII: Special Issue on Cyberworlds

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) ; Gavrilova, Marina L (Editor) ; Tan, C. J. Kenneth (Editor) ; Sourin, Alexei (Editor) ; Sourina, Olga (Editor)

Lecture Notes in Computer Science

ISBN: 9783642223358 ; ISBN: 3642223354 ; E-ISBN: 9783642223365 ; E-ISBN: 3642223362 ; DOI: 10.1007/978-3-642-22336-5

Toàn văn sẵn có

Phiên bản sẵn có
7
Human-Computer Interaction. Design and Development Approaches: 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I
Material Type:
Sách
Thêm vào Góc nghiên cứu

Human-Computer Interaction. Design and Development Approaches: 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

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) ; Jacko, Julie A (Editor)

Lecture Notes in Computer Science

ISBN: 9783642216015 ; ISBN: 3642216013 ; E-ISBN: 9783642216022 ; E-ISBN: 3642216021 ; DOI: 10.1007/978-3-642-21602-2

Toàn văn sẵn có

8
Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

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) ; Mödersheim, Sebastian (Editor) ; Palamidessi, Catuscia (Editor)

Lecture Notes in Computer Science

ISBN: 9783642273742 ; ISBN: 3642273742 ; E-ISBN: 9783642273759 ; E-ISBN: 3642273750 ; DOI: 10.1007/978-3-642-27375-9

Toàn văn sẵn có

9
Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

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) ; Desai, Nirmit (Editor) ; Liu, Alan (Editor) ; Winikoff, Michael (Editor)

Lecture Notes in Computer Science

ISBN: 9783642259197 ; ISBN: 3642259197 ; E-ISBN: 9783642259203 ; E-ISBN: 3642259200 ; DOI: 10.1007/978-3-642-25920-3

Toàn văn sẵn có

10
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

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) ; Owe, Olaf (Editor) ; Steffen, Martin (Editor) ; Telle, Jan Arne (Editor)

Lecture Notes in Computer Science

ISBN: 9783642229527 ; ISBN: 3642229522 ; E-ISBN: 9783642229534 ; E-ISBN: 3642229530 ; DOI: 10.1007/978-3-642-22953-4

Toàn văn sẵn có

11
ECOOP 2011 – Object-Oriented Programming: 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

ECOOP 2011 – Object-Oriented Programming: 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings

Mezini, Mira;; 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) ; Mezini, Mira (Editor)

Lecture Notes in Computer Science

ISBN: 9783642226540 ; ISBN: 364222654X ; E-ISBN: 9783642226557 ; E-ISBN: 3642226558 ; DOI: 10.1007/978-3-642-22655-7

Toàn văn sẵn có

12
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III
Material Type:
Sách
Thêm vào Góc nghiên cứu

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III

Mori, Kensaku ;Sakuma, Ichiro ;Sato, Yoshinobu ;Barillot, Christian ;Navab, Nassir;; 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) ; Mori, Kensaku (Editor) ; Sakuma, Ichiro (Editor) ; Sato, Yoshinobu (Editor) ; Barillot, Christian (Editor) ; Navab, Nassir (Editor)

Lecture Notes in Computer Science

ISBN: 9783642407598 ; ISBN: 3642407595 ; E-ISBN: 9783642407604 ; E-ISBN: 3642407609 ; DOI: 10.1007/978-3-642-40760-4

Toàn văn sẵn có

Phiên bản sẵn có
13
Web-Age Information Management: 12th International Conference, WAIM 2011, Wuhan, China, September 14-16, 2011. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Web-Age Information Management: 12th International Conference, WAIM 2011, Wuhan, China, September 14-16, 2011. Proceedings

Hutchison, David ;Kanade, Takeo ;Kittler, Josef ;Hu, Xiaohua ;Qian, Tieyun;; 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) ; Wang, Haixun (Editor) ; Li, Shijun (Editor) ; Oyama, Satoshi (Editor) ; Hu, Xiaohua (Editor) ; Qian, Tieyun (Editor)

Lecture Notes in Computer Science

ISBN: 9783642235344 ; ISBN: 3642235344 ; E-ISBN: 9783642235351 ; E-ISBN: 3642235352 ; DOI: 10.1007/978-3-642-23535-1

Toàn văn sẵn có

14
Service-Oriented Computing: 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Service-Oriented Computing: 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

Basu, Samik ;Pautasso, Cesare ;Zhang, Liang ;Fu, Xiang;; 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) ; Basu, Samik (Editor) ; Pautasso, Cesare (Editor) ; Zhang, Liang (Editor) ; Fu, Xiang (Editor)

Lecture Notes in Computer Science

ISBN: 9783642450044 ; ISBN: 3642450040 ; E-ISBN: 9783642450051 ; E-ISBN: 3642450059 ; DOI: 10.1007/978-3-642-45005-1

Toàn văn sẵn có

15
Computational Color Imaging: 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Computational Color Imaging: 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings

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) ; Tominaga, Shoji (Editor) ; Schettini, Raimondo (Editor) ; Trémeau, Alain (Editor)

Lecture Notes in Computer Science

ISBN: 9783642366994 ; ISBN: 3642366996 ; E-ISBN: 9783642367007 ; E-ISBN: 3642367003 ; DOI: 10.1007/978-3-642-36700-7

Toàn văn sẵn có

Phiên bản sẵn có
16
Business System Management and Engineering: From Open Issues to Applications
Material Type:
Sách
Thêm vào Góc nghiên cứu

Business System Management and Engineering: From Open Issues to Applications

Hutchison, David ;Kanade, Takeo ;Kittler, Josef ;Missikoff, Michele ;Parkin, 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) ; Ardagna, Claudio A (Editor) ; Damiani, Ernesto (Editor) ; Maciaszek, Leszek A (Editor) ; Missikoff, Michele (Editor) ; Parkin, Michael (Editor)

Lecture Notes in Computer Science

ISBN: 9783642324383 ; ISBN: 364232438X ; E-ISBN: 9783642324390 ; E-ISBN: 3642324398 ; DOI: 10.1007/978-3-642-32439-0

Toàn văn sẵn có

Phiên bản sẵn có
17
Software Engineering: International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Material Type:
Sách
Thêm vào Góc nghiên cứu

Software Engineering: International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

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) ; Lucia, Andrea (Editor) ; Ferrucci, Filomena (Editor)

Lecture Notes in Computer Science

ISBN: 9783642360534 ; ISBN: 364236053X ; E-ISBN: 9783642360541 ; E-ISBN: 3642360548 ; DOI: 10.1007/978-3-642-36054-1

Toàn văn sẵn có

18
Decision and Game Theory for Security: 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Decision and Game Theory for Security: 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

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) ; Das, Sajal K (Editor) ; Nita-Rotaru, Cristina (Editor) ; Kantarcioglu, Murat (Editor)

Lecture Notes in Computer Science

ISBN: 9783319027852 ; ISBN: 3319027859 ; E-ISBN: 9783319027869 ; E-ISBN: 3319027867 ; DOI: 10.1007/978-3-319-02786-9

Toàn văn sẵn có

19
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Material Type:
Sách
Thêm vào Góc nghiên cứu

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Mcmillan, Ken ;Middeldorp, Aart ;Voronkov, Andrei;; 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) ; Mcmillan, Ken (Editor) ; Middeldorp, Aart (Editor) ; Voronkov, Andrei (Editor)

Lecture Notes in Computer Science

ISBN: 9783642452208 ; ISBN: 3642452205 ; E-ISBN: 9783642452215 ; E-ISBN: 3642452213 ; DOI: 10.1007/978-3-642-45221-5

Toàn văn sẵn có

20
Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers
Material Type:
Sách
Thêm vào Góc nghiên cứu

Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers

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) ; Rosner, Michael (Editor) ; Fuchs, Norbert E (Editor)

Lecture Notes in Computer Science

ISBN: 9783642311741 ; ISBN: 3642311741 ; E-ISBN: 9783642311758 ; E-ISBN: 364231175X ; DOI: 10.1007/978-3-642-31175-8

Toàn văn sẵn có

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

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2007  (840)
  2. 2007đến2008  (807)
  3. 2009đến2010  (962)
  4. 2011đến2013  (1.302)
  5. Sau 2013  (64)
  6. Lựa chọn khác open sub menu

Dạng tài nguyên 

  1. Sách  (3.974)
  2. Kỷ yếu hội nghị  (1)
  3. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (3.974)
  2. Dutch  (2)
  3. German  (2)
  4. Lựa chọn khác open sub menu

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