檢索結果 - Lecture Notes in Computer Science

1261

載入...

Multiple classifier systems 6th international workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005 : proceedings /

由 MCS 2005 (Workshop), Oza, Nikunj C.
出版 2005.

“...Lecture notes in computer science ;...”
獲取全文

Livro

1262

載入...

Natural language processing and information systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, june 15-17...

由 International Conference on Applications of Natural Language to Information Systems, Montoyo, Andrés., Munoz, Rafael., Métais, Elisabeth.
出版 2005.

“...Lecture notes in computer science...”
獲取全文

Livro

1263

載入...

NETWORKING 2008 ad hoc and sensor networks, wireless networks, next generation Internet : 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008 : proceedings /

由 International IFIP-TC6 Networking Conference, Das, Amitabha.
出版 c2008

“...Lecture notes in computer science ;...”
獲取全文

Livro

1264

載入...

End-user development Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011 : proceedings /

由 IS-EUD 2011 (Simpósio), Costabile, Maria Francesca.
出版 2011.

“...Lectures notes in computer science...”
獲取全文

Livro

1265

載入...

Wireless sensor networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008 : proceedings /

由 EWSN (Conferência), Verdone, Roberto.
出版 c2008

“...Lecture notes in computer science ;...”
獲取全文

Livro

1266

載入...

Cryptographic Hardware and Embedded Systems -- CHES 2011 13th International Workshop, Nara, Japan, September 28 -- October 1, 2011 : proceedings /

由 CHES 2011 (Workshop), Preneel, Bart., Takagi, Tsuyoshi.
出版 2011.

“...Lecture notes in computer science...”
獲取全文

Livro

1267

載入...

Information theoretic security 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011 : proceedings /

由 ICITS 2011 (Conferência), Fehr, Serge.
出版 2011.

“...Lecture notes in computer science...”
獲取全文

Livro

1268

載入...

Privacy enhancing technologies 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011 : proceedings /

由 PETS 2011 (Simpósio), Fischer-Hübner, Simone., Hopper, Nicholas J.
出版 2011.

“...Lecture notes in computer science...”
獲取全文

Livro

1269

載入...

Innovations for requirement analysis from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers /

由 Monterey Workshop, Paech, Barbara., Martell, Craig H.
出版 c2008

“...Lecture notes in computer science ;...”
獲取全文

Livro

1270

載入...

Theorem proving in higher order logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /

由 TPHOLs, Ait Mohamed, Otmane., Muñoz, César A., Tahar, Sofiène
出版 c2008

“...Lecture notes in computer science ;...”
獲取全文

Livro

1271

載入...

Metainformatics International Symposium, MIS 2004, Salzburg, Austria, september 15-18, 2004 : revised selected papers /

由 MIS 2004, Wiil, Uffe Kock.
出版 2005.

“...Lecture notes in computer science...”
獲取全文

Livro

1272

載入...

Information security applications 5th International Workshop, WISA 2004, Jeju Island, Korea, august 23-25, 2004 : revised selected papers /

由 WISA 2004, Lim, Chae Hoon., Yung, Moti.
出版 2005.

“...Lecture notes in computer science...”
獲取全文

Livro

1273

載入...

Automated deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, july 22-27, 2005 : proceedings /

由 International Conference on Automated Deduction, Nieuwenhuis, Robert.
出版 2005.

“...Lecture notes in computer science...”
獲取全文

Livro

1274

載入...

Recent advances in constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, june 23-25, 20...

由 Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, Faltings, Boi.
出版 2005.

“...Lecture notes in computer science...”
獲取全文

Livro

1275

載入...

Information security 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008 : proceedings /

由 ISC (Conferência : Segurança da informação), Wu, Tzong-Chen.
出版 c2008

“...Lecture notes in computer science ;...”
獲取全文

Livro

1276

載入...

On the move to meaningful internet systems, OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent+QSI, ORM,...

由 OTM Confederated International Conferences, Meersman, Robert A., Tari, Zahir., Herrero, Pilar
出版 c2008

“...Lecture notes in computer science ;...”
獲取全文

Livro

1277

載入...

Network-based information systems first international conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007 : proceedings /

由 NBiS (Conference), Enokido, Tomoya., Barolli, Leonhard., Takizawa, Makoto.
出版 2007.

“...Lecture notes in computer science...”
獲取全文

Livro

1278

載入...

Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers /

由 TYPES 2006, Altenkirch, Thorsten., McBride, Conor.
出版 2007.

“...Lecture notes in computer science...”
獲取全文

Livro

1279

載入...

Verification, model checking, and abstract interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008: proceedings /

由 VMCAI 2008, Logozzo, Francesco., Peled, Doron A., Zuck, Lenore D.
出版 c2008

“...Lecture notes in computer science ;...”
獲取全文

Livro

1280

載入...

Software architecture first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings /

由 ECSA 2007, Oquendo, Flavio.
出版 2007.

“...Lecture notes in computer science...”
獲取全文

Livro

縮小搜索