[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