檢索結果 - Lecture Notes in Computer Science

2461

The seventeen provers of the world

The seventeen provers of the world

由 Wiedijk, Freek.
出版 2006.

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

Livro

2462

Formal concept analysis 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006: proceedings /

Formal concept analysis 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006: proceedings /

由 International Conference on Formal Concept Analysis, Missaoui, Rokia., Schmid, Jürg.
出版 2006.

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

Livro

2463

E-voting and identity third International Conference, VoteID 2011, Tallinn, Estonia, September 28-20, 2011, revised selected papers /

E-voting and identity third International Conference, VoteID 2011, Tallinn, Estonia, September 28-20, 2011, revised selected papers /

由 Vote-ID (Conferência), Kiayias, Aggelos., Lipmaa, Helger.
出版 2012.

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

Livro

2464

Provenance and annotation of data and processes 4th International Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, revised selected papers /

Provenance and annotation of data and processes 4th International Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, revised selected papers /

由 International Provenance and Annotation Workshop, Groth, Paul., Frew, James.
出版 2012.

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

Livro

2465

Web information systems engineering-WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012, proceedings /

Web information systems engineering-WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012, proceedings /

由 International Conference on Web Information Systems Engineering, Wang, Sean.
出版 2012.

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

Livro

2466

Fast software encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised selected papers /

Fast software encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised selected papers /

由 FSE (Workshop), Canteaut, Anne.
出版 2012.

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

Livro

2467

Developments in language theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, proceedings /

Developments in language theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, proceedings /

由 Conference on Developments in Language Theory, Yen, Hsu-Chun., Ibarra, Oscar H.
出版 2012.

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

Livro

2468

Transactions on data hiding and multimedia security VIII special issue on pattern recognition for IT security /

Transactions on data hiding and multimedia security VIII special issue on pattern recognition for IT security /

由 Shi, Yun Q., Katzenbeisser, Stefan.
出版 2012.

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

Livro

2469

Scientific and statistical database management 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings /

Scientific and statistical database management 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings /

由 International Conference on Scientific and Statistical Database Management, Ailamaki, Anastassia., Bowers, Shawn.
出版 2012.

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

Livro

2470

Dependable networks and services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012, proceedings /

Dependable networks and services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012,...

由 IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management and Security, Sadre, Ramin.
出版 2012.

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

Livro

2471

Theory of cryptography 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings /

Theory of cryptography 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings /

由 Theory of Cryptography Conference, Cramer, Ronald
出版 2012.

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

Livro

2472

Information theoretic security 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012, proceedings /

Information theoretic security 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012, proceedings /

由 ICITS (Conferência), Smith, Adam.

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

Livro

2473

Coordination models and languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, proceedings /

Coordination models and languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, proceedings /

由 COORDINATION (Conferência), Sirjani, Marjan.
出版 2012.

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

Livro

2474

Haptic and audio interaction design 7th International Conference, HAID 2012, Lund, Sweden, August 23-24, 2012, proceedings /

Haptic and audio interaction design 7th International Conference, HAID 2012, Lund, Sweden, August 23-24, 2012, proceedings /

由 HAID (Conferência), Magnusson, Charlotte., Szymczak, Delphine., Brewster, Stephen.
出版 2012.

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

Livro

2475

Algorithms and models for the web graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, proceedings /

Algorithms and models for the web graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, proceedings /

由 WAW (Workshop), Bonato, Anthony, Janssen, Jeannette.
出版 2012.

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

Livro

2476

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /

由 International Static Analysis Symposium, Mine, Antoine., Schmidt, David.
出版 2012.

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

Livro

2477

Topics in performance evaluation, measurement and characterization third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised selected papers /

Topics in performance evaluation, measurement and characterization third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised selected pap...

由 TPC Technology Conference, Nambiar, Raghunath., Poess, Meikel.
出版 2012.

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

Livro

2478

Big data analytics first International Conference, BDA 2012, New Delhi, India, December 24-26, 2012, proceedings /

Big data analytics first International Conference, BDA 2012, New Delhi, India, December 24-26, 2012, proceedings /

由 BDA (Conferência), Srinivasa, Srinath, Bhatnagar, Vasudha.
出版 2012.

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

Livro

2479

Integrated formal methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

Integrated formal methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

由 International Conference on Integrated Formal Methods, Derrick, John.
出版 2012.

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

Livro

2480

Systems modeling and simulation theory and applications: third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, revised selected papers /

Systems modeling and simulation theory and applications: third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, revised selected papers /

由 Asian Simulation Conference, Baik, Doo-Kwon
出版 2005.

“...Lecture Notes in Computer Science...”
獲取全文

Livro