海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] λ-Calculus and Computer Science Theory Volume 37 || On solvability by λI-termsBöhm, C. · 1975
[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Reasoning and rewriting with set-relations I: Ground completenessPacholski, Leszek; Tiuryn, Jerzy · 1995
Lecture Notes in Computer Science 4367 High Performance EmbeddedArchitectures and Compilers Second IHiPEAC 2007 · Springer-Verlag · 2007
Lecture Notes in Computer Science 3793 High Performance Embedded Architectures and Compilers First IHiPEAC 2005 · Springer-Verlag · 2005
Lecture Notes in Computer Science 3358 Parallel and Distributed Processing and Applications Second IISPA 2004 · Springer-Verlag Berlin Heidelberg · 2004
Lecture Notes in Computer Science 4300 Transactions on Data Hiding and Multimedia Security ISpringer-Verlag Berlin Heidelberg · 2006
Lecture Notes in Computer Science 4449 Implementation and Application of Functional Languages 18th IIFL 2006 · Springer-Verlag · 2007
Lecture Notes in Computer Science 3474 Implementation and Application of Functional Languages 16th IIFL 2004 · Springer-Verlag · 2005
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Fuzzy Variance Analysis ModelYazıcı, Adnan; Şener, Cevat · 2003
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Text Categorization with ILAYazıcı, Adnan; Şener, Cevat · 2003
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Access Network Mobility ManagementYazıcı, Adnan; Şener, Cevat · 2003
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Similarity for Conceptual QueryingYazıcı, Adnan; Şener, Cevat · 2003
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Estimating Distributions in Genetic AlgorithmsYazıcı, Adnan; Şener, Cevat · 2003
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Modeling Web Systems Using SDLYazıcı, Adnan; Şener, Cevat · 2003
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Temporal Modelling in Flexible WorkflowsYazıcı, Adnan; Şener, Cevat · 2003
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Practical Security Improvement of PKCS#5Yazıcı, Adnan; Şener, Cevat · 2003