167件。

81
Experimental algorithms 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010 : proceedings /
  • 作者:edited by Paola Festa.
  • 出版社:Springer-Verlag Berlin Heidelberg
  • 出版年:2010.
  • 出版地:Berlin, Heidelberg :
  • 主題:Computer algorithms ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Artificial Intelligence (incl. Robotics) ; Information Systems Applications (incl.Internet) ; Computer Communication Networks. ; Information Storage and Retrieval. ; Database Management.
  • 作者:Festa, Paola.
  • 電子資源:resource

82
Fast software encryption 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010 : revised selected papers /
  • 作者:edited by Seokhie Hong, Tetsu Iwata.
  • 出版社:International Association for Cryptologic Research
  • 出版年:2010.
  • 出版地:Berlin, Heidelberg :
  • 主題:Computer security ; Data encryption (Computer science) ; Software protection ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Computer Communication Networks. ; Data Encryption. ; Discrete Mathematics in Computer Science. ; Management of Computing and Information Systems. ; Systems and Data Security.
  • 作者:Hong, Seokhie. ; Iwata, Tetsu.
  • 電子資源:resource    ;

83
Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
  • 作者:edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
  • 出版社:Springer-Verlag Berlin Heidelberg
  • 出版年:2010.
  • 出版地:Berlin, Heidelberg :
  • 主題:Computer science|Mathematics. ; Information theory. ; Formal methods (Computer science) ; Computer Science. ; Logics and Meanings of Programs. ; Software Engineering. ; Mathematical Logic and Formal Languages. ; Algorithm Analysis and Problem Complexity. ; Computer Communication Networks. ; Programming Languages, Compilers, Interpreters.
  • 作者:Blass, Andreas. ; Dershowitz, Nachum. ; Reisig, Wolfgang.
  • 電子資源:resource

84
Finite-state methods and natural language processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers /
  • 作者:edited by Anssi Yli-Jyra ... [et al.].
  • 出版社:Springer-Verlag Berlin Heidelberg
  • 出版年:2010.
  • 出版地:Berlin, Heidelberg :
  • 主題:Natural language processing (Computer science) ; Formal methods (Computer science) ; Grammar, Comparative and general|Morphology|Data processing ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages. ; Logics and Meanings of Programs. ; Information Storage and Retrieval. ; Algorithm Analysis and Problem Complexity. ; Language Translation and Linguistics.
  • 作者:Yli-Jyra, Anssi.
  • 電子資源:resource

85
Foundations of information and knowledge systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings /
  • 作者:edited by Sebastian Link, Henri Prade.
  • 出版社:Springer Berlin Heidelberg
  • 出版年:2010.
  • 出版地:Berlin, Heidelberg :
  • 主題:Computer systems ; Information technology ; Computer Science. ; Mathematical Logic and Formal Languages. ; Discrete Mathematics in Computer Science. ; Logics and Meanings of Programs. ; Mathematics of Computing. ; Algorithm Analysis and Problem Complexity. ; Artificial Intelligence (incl. Robotics)
  • 作者:Link, Sebastian. ; Prade, Henri.
  • 電子資源:resource

86
Frontiers in algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings /
  • 作者:edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying.
  • 出版社:Springer-Verlag Berlin Heielberg
  • 出版年:2010.
  • 出版地:Berlin, Heidelberg :
  • 主題:Computer algorithms ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Software Engineering. ; Discrete Mathematics in Computer Science. ; Logics and Meanings of Programs. ; Mathematics of Computing. ; Theory of Computation.
  • 作者:Lee, Der-Tsai. ; Chen, Danny Z. ; Ying, Shi.
  • 電子資源:resource

87
Fun with algorithms 5th international conference, FUN 2010, Ischia, Italy, June 2-4, 2010 : proceedings /
  • 作者:edited by Paolo Boldi, Luisa Gargano.
  • 出版社:Springer-Verlag Berlin Heidelberg
  • 出版年:2010.
  • 出版地:Berlin, Heidelberg :
  • 主題:Algorithms ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Artificial Intelligence (incl. Robotics) ; Computation by Abstract Devices. ; Computer Communication Networks. ; Data Structures. ; Discrete Mathematics in Computer Science.
  • 作者:Boldi, Paolo. ; Gargano, Luisa.
  • 電子資源:resource    ;

88
Genetic programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings /
  • 作者:edited by Anna Isabel Esparcia-Alcazar ... [et al.].
  • 出版社:Springer-Verlag Berlin Heidelberg
  • 出版年:2010.
  • 出版地:Berlin, Heidelberg :
  • 主題:Genetic programming (Computer science) ; Computer Science. ; Artificial Intelligence (incl. Robotics) ; Computation by Abstract Devices. ; Algorithm Analysis and Problem Complexity. ; Pattern Recognition. ; Computer Communication Networks. ; Programming Techniques.
  • 作者:Esparcia-Alcazar, Anna Isabel.
  • 電子資源:resource

89
Genetic programming theory and practice VII
  • 作者:edited by Rick Riolo, Una-May O'Reilly, Trent McConaghy.
  • 出版社:Springer Science+Business Media, LLC
  • 出版年:2010.
  • 出版地:Boston, MA :
  • 主題:Genetic programming (Computer science) ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Artificial Intelligence (incl. Robotics) ; Computing Methodologies. ; Programming Techniques. ; Theory of Computation.
  • 作者:McConaghy, Trent. ; O'Reilly, Una-May. ; Riolo, Rick.
  • 電子資源:resource

90
Graph drawing 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers /
  • 作者:edited by David Eppstein, Emden R. Gansner.
  • 出版社:Springer-Verlag Berlin Heidelberg
  • 出版年:2010.
  • 出版地:Berlin, Heidelberg :
  • 主題:Computer graphics ; Graph theory ; Computer Science. ; Algorithm Analysis and Problem Complexity. ; Discrete Mathematics in Computer Science. ; Math Applications in Computer Science. ; Models and Principles. ; Symbolic and Algebraic Manipulation. ; User Interfaces and Human Computer Interaction.
  • 作者:Eppstein, David. ; Gansner, Emden R.
  • 電子資源:resource