本文に飛ぶ

年 〜
年

検索結果 47 件

Big data analytics and knowledge discovery : 17th international conference, DaWaK 2015 : Valencia, Spain, September 1-4, 2015 : proceedings : Sep 2015, Valencia, Spain. (Lecture Notes in Computer Science ; 9263)

Big data analytics and knowledge discovery : 17th international conference, DaWaK 2015 : Valencia, Spain, September 1-4, 2015 : proceedings : Sep 2015, Valencia, Spain. (Lecture Notes in Computer Science ; 9263)
紙図書
Springer[2015]<M17-16-592>
国立国会図書館
  • LCCQA76.9

2013 IEEE conference on evolving and adaptive intelligent systems : (EAIS 2013) : Singapore : 16-19 April 2013 : Apr 2013, Singapore. CFP1314N-ART

2013 IEEE conference on evolving and adaptive intelligent systems : (EAIS 2013) : Singapore : 16-19 April 2013 : Apr 2013, Singapore. CFP1314N-ART
紙図書
IEEEc2013.<M17-14-2050>
国立国会図書館
  • LCCQA76.9

2013 1st international workshop on the engineering of mobile-enabled systems : (MOBS 2013) : San Francisco, California, USA : 25 May 2013 : May 2013, San Francisco, CA.

2013 1st international workshop on the engineering of mobile-enabled systems : (MOBS 2013) : San Francisco, California, USA : 25 May 2013 : May 2013, San Francisco, CA.
紙図書
IEEEc2013.<M17-14-1202>
国立国会図書館
  • LCCQA76.9

Combinatorial pattern matching : 21st annual symposium, CPM 2010 : New York, NY, USA, June 21-23, 2010 : proceedings. : annual CPM meetings : Jun 2010, New York, NY. (Lecture Notes in Computer Science ; 6129)

Combinatorial pattern matching : 21st annual symposium, CPM 2010 : New York, NY, USA, June 21-23, 2010 : proceedings. : annual CPM meetings : Jun 2010, New York, NY. (Lecture Notes in Computer Science ; 6129)
紙図書
Springerc2010.<M17-10-3351>
国立国会図書館
  • LCCQA76.9

2011 international conference on network computing and information security : (NCIS 2011) : Guilin, China : 14-15 May 2011 : May 2011, Guilin, China.

2011 international conference on network computing and information security : (NCIS 2011) : Guilin, China : 14-15 May 2011 : May 2011, Guilin, China.
紙図書
IEEEc2011.<M17-12-1653>
国立国会図書館
  • LCCQA76.9

Interactive theorem proving : first international conference, ITP 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6172)

Interactive theorem proving : first international conference, ITP 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6172)
紙図書
Springerc2010.<M17-11-146>
国立国会図書館
  • LCCQA76.9

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : 12th formal methods for open object-based distributed systems : 30th formal techniques for networked and distributed systems : federated conference event DisCoTec (distributed computing techniques) : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6117)

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : 12th formal methods for open object-based distributed systems : 30th formal techniques for networked and distributed systems : federated conference event DisCoTec (distributed computing techniques) : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6117)
紙図書
Springerc2010.<M17-10-3359>
国立国会図書館
  • LCCQA76.9

Information modelling and knowledge bases 21. : 19th European-Japanese conference on information modelling and knowledge bases (EJC 2009) : 2009, ------. (Frontiers in Artificial Intelligence and Applications ; 206)

Information modelling and knowledge bases 21. : 19th European-Japanese conference on information modelling and knowledge bases (EJC 2009) : 2009, ------. (Frontiers in Artificial Intelligence and Applications ; 206)
紙図書
IOS Pressc2010.<M17-10-2468>
国立国会図書館
  • LCCQA76.9

Handbook of information and communication security / Peter Stavroulakis, Mark Stamp, editors.

Handbook of information and communication security / Peter Stavroulakis, Mark Stamp, editors.
紙図書
Springerc2010.<M154-B93>
国立国会図書館全国の図書館
  • LCCQA76.9

Data and applications security and privacy 24 : 24th annual IFIP WG 11.3 working conference : Rome, Italy, June 21-23, 2010 : proceedings. : Jun 2010, Rome, Italy. (Lecture Notes in Computer Science ; 6166)

Data and applications security and privacy 24 : 24th annual IFIP WG 11.3 working conference : Rome, Italy, June 21-23, 2010 : proceedings. : Jun 2010, Rome, Italy. (Lecture Notes in Computer Science ; 6166)
紙図書
Springerc2010.<M17-10-3401>
国立国会図書館
  • LCCQA76.9

Graphics interface 2010 : proceedings : Ottawa, Ontario, Canada : 31 May-2 June 2010. : AI/CRV/GI 2010 conference : annual general meeting of CHCCS/SCDHM : May 2010, Ottawa, Canada.

Graphics interface 2010 : proceedings : Ottawa, Ontario, Canada : 31 May-2 June 2010. : AI/CRV/GI 2010 conference : annual general meeting of CHCCS/SCDHM : May 2010, Ottawa, Canada.
紙図書
Canadian Human-Computer Communications Societyc2010.<M17-10-3880>
国立国会図書館
  • LCCQA76.9

Rigorous methods for software construction and analysis : essays dedicated to Egon Borger on the occasion of his 60th birthday. : Dagstuhl seminar 06191 : May 2006, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 5115. Festschrift)

Rigorous methods for software construction and analysis : essays dedicated to Egon Borger on the occasion of his 60th birthday. : Dagstuhl seminar 06191 : May 2006, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 5115. Festschrift)
紙図書
Springerc2009.<M17-10-2775>
国立国会図書館
  • LCCQA76.9

Natural language processing and information systems : 15th international conference on applications of natural language to information systems, NLDB 2010 : Cardiff, UK, June 23-25, 2010 : proceedings. : Jun 2010, Cardiff, UK. (Lecture Notes in Computer Science ; 6177)

Natural language processing and information systems : 15th international conference on applications of natural language to information systems, NLDB 2010 : Cardiff, UK, June 23-25, 2010 : proceedings. : Jun 2010, Cardiff, UK. (Lecture Notes in Computer Science ; 6177)
紙図書
Springerc2010.<M17-10-3752>
国立国会図書館
  • LCCQA76.9

Innovations and advances in computer sciences and engineering / Tarek Sobh, editor.

Innovations and advances in computer sciences and engineering / Tarek Sobh, editor.
紙図書
Springerc2010.<M154-B97>
国立国会図書館
  • LCCQA76.9

SPLASH'10 : ACM international conference on systems, programming, languages, and applications: software for humanity : October 17-21, 2010 : Reno/Tahoe, Nevada, USA : SPLASH Reno 2010 : SPLASH/OOPSLA : OOPSLA/SPLASH 2010 : SPLASH doctoral symposium : SPLASH and Onward! workshop : SPLASH educators' & trainers symposium : Oct 2010, Reno/Tahoe, NV.

SPLASH'10 : ACM international conference on systems, programming, languages, and applications: software for humanity : October 17-21, 2010 : Reno/Tahoe, Nevada, USA : SPLASH Reno 2010 : SPLASH/OOPSLA : OOPSLA/SPLASH 2010 : SPLASH doctoral symposium : SPLASH and Onward! workshop : SPLASH educators' & trainers symposium : Oct 2010, Reno/Tahoe, NV.
紙図書
Association for Computing Machineryc2010.<M17-13-2013>
国立国会図書館
  • LCCQA76.9

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)
紙図書
Springerc2010.<M154-B107>
国立国会図書館
  • LCCQA76.9

Applications of soft computing : updating the state of the art. : WSC12 : 12th online world conference on soft computing in industrial applications : Oct 2007, ------. (Advances in Soft Computing ; 52)

Applications of soft computing : updating the state of the art. : WSC12 : 12th online world conference on soft computing in industrial applications : Oct 2007, ------. (Advances in Soft Computing ; 52)
紙図書
Springerc2009.<M17-09-1585>
国立国会図書館
  • LCCQA76.9

On the move to meaningful internet systems: OTM 2009 : confederated international conferences : CoopIS, DOA, IS, and ODBASE 2009 : Vilamoura, Portugal, November 1-6, 2009 : proceedings. : OnTheMove 2009 event : OnTheMove (OTM) federated conferences : 17th international conference on cooperative information systems : 11th international symposium on distributed objects, middleware and applications : 4th international symposium on information security : 8th international conference on ontolo-gies, databases, and applications of semantics : Nov 2009, Vilamoura, Portugal. (Lecture Notes in Computer Science ; 5870-5871)

On the move to meaningful internet systems: OTM 2009 : confederated international conferences : CoopIS, DOA, IS, and ODBASE 2009 : Vilamoura, Portugal, November 1-6, 2009 : proceedings. : OnTheMove 2009 event : OnTheMove (OTM) federated conferences : 17th international conference on cooperative information systems : 11th international symposium on distributed objects, middleware and applications : 4th international symposium on information security : 8th international conference on ontolo-gies, databases, and applications of semantics : Nov 2009, Vilamoura, Portugal. (Lecture Notes in Computer Science ; 5870-5871)
紙図書
Springerc2009.<M17-10-1775>
国立国会図書館
  • LCCQA76.9

On the move to meaningful internet systems: OTM 2009 workshops : confederated international workshops and posters : ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM academy, SWWS, SEMELS, beyond SAWSDL, COMBEK 2009 : Vilamoura, Portugal, November 1-6, 2009, proceedings. : OnTheMove 2009 event : OnTheMove (OTM) federated conferences : OTMA : Nov 2009, Vilamoura, Portugal. (Lecture Notes in Computer Science ; 5872)

On the move to meaningful internet systems: OTM 2009 workshops : confederated international workshops and posters : ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM academy, SWWS, SEMELS, beyond SAWSDL, COMBEK 2009 : Vilamoura, Portugal, November 1-6, 2009, proceedings. : OnTheMove 2009 event : OnTheMove (OTM) federated conferences : OTMA : Nov 2009, Vilamoura, Portugal. (Lecture Notes in Computer Science ; 5872)
紙図書
Springerc2009.<M17-10-1774>
国立国会図書館
  • LCCQA76.9

Natural language processing in artificial intelligence : hardcover

Natural language processing in artificial intelligence : hardcover
紙図書
Brojo Kishore Mishra, Raghvendra KumarApple Academic Press, 20212021
全国の図書館
  • LCCQA76.9
RSS