61801. |
G. Goos |
Lecture Notes in Computer Science | 1985 |
|
61802. |
G. Goos |
Lecture Notes in Computer Science | 1977 |
|
61803. |
B. A. Francis |
Lecture Notes in Control and Information Sciences | 1987 |
|
61804. |
A. Dold |
Lecture Notes in Mathematics | 1985 |
|
61805. |
A. Dold |
Lecture Notes in Mathematics | 1984 |
|
61806. |
A. Dold |
Lecture Notes in Mathematics | 1974 |
|
61807. |
A. Dold |
Lecture Notes in Mathematics | 1978 |
|
61808. |
A. Dold B. Eckmann |
Lecture Notes in Mathematics | 1980 |
|
61809. |
A. Dold B. Eckmann |
Lecture Notes in Mathematics | 1987 |
|
61810. |
A. Dold |
Lecture Notes in Mathematics | 1988 |
|
61811. |
A. Dold |
Lecture Notes in Mathematics | 1976 |
|
61812. |
A. Dold |
Lecture Notes in Mathematics | 1976 |
|
61813. |
A. Dold |
Lecture Notes in Mathematics | 1975 |
|
61814. |
A. Dold |
Lecture Notes in Mathematics | 1988 |
|
61815. |
A. Dold |
Lecture Notes in Mathematics | 1974 |
|
61816. |
A. Dold |
Lecture Notes in Mathematics | 1974 |
|
61817. |
A. Dold |
Lecture Notes in Mathematics | 1980 |
|
61818. |
C.G.Gibson K.Wirthmuller AAdu Plessis |
Lecture Notes in Mathematics | 1976 |
|
61819. |
A. Dold |
Lecture Notes in Mathematics | 1987 |
|
61820. |
A. Dold |
Lecture Notes in Mathematics | 1987 |
|
61821. |
A. Dold |
Lecture Notes in Mathematics | 1986 |
|
61822. |
A. Dold |
Lecture Notes in Mathematics | 1989 |
|
61823. |
Kirk K. Davis J. |
Lecture notes in algebraic topology | 2001 |
|
61824. |
Kirk P. Davis J. |
Lecture notes in algebraic topology | 2001 |
|
61825. |
Litovski V.B. |
Lecture Notes in Analog Electronics | 2023 |
|
61826. |
Litovski V.B. |
Lecture Notes in Analog Electronics. Discrete and Integrated Large Signal Amplifiers | 2023 |
|
61827. |
Botelho L. |
Lecture notes in applied differential equations of mathematical physics | 2008 |
|
61828. |
Botelho L. |
Lecture Notes in Applied Differential Equations of Mathematical Physics | 2008 |
|
61829. |
Siekmann J. |
Lecture Notes in Artificial Intelligence (1 edition) | 1987 |
|
61830. |
Gorz G. Holldobler S. |
Lecture Notes in Artificial Intelligence (1137). KI-96: Advances in Artificial Intelligence | 1996 |
|
61831. |
Wang D. (ed.) |
Lecture Notes in Artificial Intelligence (1360). Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers | 1997 |
|
61832. |
Moortgat M. (ed.) |
Lecture Notes in Artificial Intelligence (2014). Logical Aspects of Computational Linguistics: Third International Conference, LACL'98 Grenoble, France, December 14-16, 1998 Selected Papers | 2001 |
|
61833. |
Dunin-Keplicz B. Nawarecki E. |
Lecture Notes in Artificial Intelligence (2296). From Theory to Practice in Multi-Agent Systems | 2002 |
|
61834. |
Ranchho E. Mamede N. |
Lecture Notes in Artificial Intelligence (2389). Advances in Natural Language Processing | 2002 |
|
61835. |
Banzhaf W. (ed.) Christaller T. (ed.) Dittrich P. (ed.) |
Lecture Notes in Artificial Intelligence (2801). Advances in Artificial Life: 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings | 2003 |
|
61836. |
Hölldobler S. |
Lecture Notes in Artificial Intelligence (353). Foundations of Equational Logic Programming | 1989 |
|
61837. |
Sutcliffe G. (ed.) Voronkov A. (ed.) |
Lecture Notes in Artificial Intelligence (3835). Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings | 2005 |
|
61838. |
Apolloni B. Howlett R.J. Jain L. |
Lecture Notes in Artificial Intelligence (4693). Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007 | 2007 |
|
61839. |
Vouros G. Artikis A. Stathis K. |
Lecture Notes in Artificial Intelligence (5368). Organized Adaption in Multi-Agent Systems: First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers | 2009 |
|
61840. |
Thanh Nguyen N.T. Thanh Le M.T. Swiatek J. |
Lecture Notes in Artificial Intelligence (№5991 2010). Intelligent Information and Database Systems: Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II | 2010 |
|
61841. |
Rutkowski L. Scherer R. Tadeusiewicz R. |
Lecture Notes in Artificial Intelligence (№6113 2010). Artificial Intelligence and Soft Computing, Part I: 10th International Conference, ICAISC 2010, Zakopane, Poland, June13-17, 2010, Part I | 2010 |
|
61842. |
Stumptner M. (Ed.) Corbett D. (Ed.) Brooks M. (Ed.) |
Lecture Notes in Artificial Intelligence 2256. AI 2001: Advances in Artificial Intelligence. 14th Australian Joint Conference on Artificial Intelligence. Adelaide, Australia, December 10-14, 2001. Proceedings | 2001 |
|
61843. |
Wang F. Deng H. Lei J. |
Lecture Notes in Artificial Intelligence(6319). Artificial Intelligence and Computational Intelligence: International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I | 2010 |
|
61844. |
G. Goos (ed) J. Hartmanis (ed) |
Lecture Notes in Artificial Intelligence. 1160 | 1996 |
|
61845. |
G. Goos (ed) J. Hartmanis (ed) |
Lecture Notes in Artificial Intelligence. 872 | 1994 |
|
61846. |
K.R Jantke (ed) S. Kobayashi (ed) |
Lecture Notes in Artificial Intelligence. Algorithmic Learning Theory | 1993 |
|
61847. |
Yao J.T. (editor) Lingras P. (editor) Wu W.-Z. (editor) |
Lecture notes in artificial intelligence. Volume 4481. Rough sets and knowledge technology. 2nd international conference, RSKT 2007, Toronto, Canada, may 14-16, 2007, proceedings | 2007 |
|
61848. |
Priami C. (editor-in-chief) |
Lecture notes in bioinformatics. Volume 4780. Transactions on computational systems biology 8 | 2007 |
|
61849. |
Čársky P. Urban M. |
Lecture Notes in Chemistry: Ab Initio Calculations | 1980 |
|
61850. |
Chen J. |
Lecture Notes in Computational Optimization | 1995 |
|
61851. |
Goos G. (ред.) Hartmanis J. (ред.) J. van Leeuwen (ред.) |
Lecture Notes in Computer Science | 2001 |
|
61852. |
Godefroid P. |
Lecture Notes in Computer Science (1032). Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem | 1996 |
|
61853. |
Buxton B. (ed.) Cipolla R. (ed.) |
Lecture Notes in Computer Science (1065). Computer Vision - ECCV '96: Fourth European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996. Proceedings, Volume II | 1996 |
|
61854. |
Hohne K.H. Kikinis R. |
Lecture Notes in Computer Science (1131). Visualization in Biomedical Computing: 4th International Conference, VBC '96, Hamburg, Germany, September 22 - 25, 1996, Proceedings | 1996 |
|
61855. |
Flynn M.J. Harris N.R. McCarthy D.P. |
Lecture Notes in Computer Science (126). Microcomputer System Design, Advanced Course | 1982 |
|
61856. |
Okamoto E. (ed.) Davida G. (ed.) Mambo M. (ed.) |
Lecture Notes in Computer Science (1396). Information Security: First International Workshop, ISW'97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997, Proceedings | 1998 |
|
61857. |
Emerson A.E. Sistla A.P. |
Lecture Notes in Computer Science (1855). Computer Aided Verification | 2000 |
|
61858. |
Schiele B. Sagerer G. |
Lecture Notes in Computer Science (2095). Computer Vision Systems: Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings | 2001 |
|
61859. |
Barthe G. Dybjer P. Pinto L. |
Lecture Notes in Computer Science (2395). Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science) | 2002 |
|
61860. |
Druschel P. Kaashoek F. Rowstron A. |
Lecture Notes in Computer Science (2429). Peer-to-Peer Systems | 2002 |
|
61861. |
Manolopoulos Y. (ed.) Evripidou S. (ed.) Kakas A.C. (ed.) |
Lecture Notes in Computer Science (2563). Advances in Informatics: 8th Panhellenic Conference on Informatics, PCI 2001, Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers | 2003 |
|
61862. |
Gelbukh A. (Ed.) |
Lecture Notes in Computer Science (2588). Computational linguistics and intelligent text processing | 2003 |
|
61863. |
Marsan M. Corazza G. Listanti M. |
Lecture Notes in Computer Science (2601). Quality of Service in Multiservice IP Networks: Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings | 2003 |
|
61864. |
Becker E. Buhse W. Günnewig D. |
Lecture Notes in Computer Science (2770). Digital Rights Management - Technological, Economic, Political Aspects | 2003 |
|
61865. |
Pfenning F. (ed.) Smaragdakis Y. (ed.) |
Lecture Notes in Computer Science (2830). Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings | 2003 |
|
61866. |
Geist D. Tronci E. |
Lecture Notes in Computer Science (2860). Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 Proceedings | 2003 |
|
61867. |
Mullen G.L. Poli A. Stichtenoth H. |
Lecture Notes in Computer Science (2948). Finite Fields and Applications: 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers | 2004 |
|
61868. |
Oquendo F. Warboys B. Morrison R. |
Lecture Notes in Computer Science (3047). Software Architecture: First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings | 2004 |
|
61869. |
Benczur A. (ed.) Demetrovics J. (ed.) Gottlob G. (ed.) |
Lecture Notes in Computer Science (3255). Advances in Databases and Information Systems: 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings | 2004 |
|
61870. |
Sole-Pareta J. (ed.) Smirnov M. (ed.) |
Lecture Notes in Computer Science (3266). Quality of Service in the Emerging Networking Panorama | 2004 |
|
61871. |
Wang F. |
Lecture Notes in Computer Science (3299). Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings | 2004 |
|
61872. |
Cousot R. (ed.) |
Lecture Notes in Computer Science (3385). Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings | 2005 |
|
61873. |
Strang T. Linnhoff-Popien C. |
Lecture Notes in Computer Science (3479). Location- and Context-Awareness: First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings | 2005 |
|
61874. |
Sunderam V.S. van Albada G.D. Sloot P.M.A. |
Lecture Notes in Computer Science (3516). Computational Science -- ICCS 2005: 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III | 2005 |
|
61875. |
Hamalainen T.D. (ed.) Pimentel A.D. (ed.) Takala J. (ed.) |
Lecture Notes in Computer Science (3553). Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings | 2005 |
|
61876. |
Andersen K.V. Debenham J. Wagner R. |
Lecture Notes in Computer Science (3588). Database and Expert Systems Applications: 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings | 2005 |
|
61877. |
van Beek P. (ed.) |
Lecture Notes in Computer Science (3709). Principles and Practice of Constraint Programming - CP 2005 | 2005 |
|
61878. |
Dongarra J. Madsen K. Wasniewski J. |
Lecture Notes in Computer Science (3732). Applied Parallel Computing: State of the Art in Scientific Computing | 2006 |
|
61879. |
Syrotiuk V.R. (ed.) Chávez E. (ed.) |
Lecture Notes in Computer Science (3738). Ad-Hoc, Mobile, and Wireless Networks: 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings | 2005 |
|
61880. |
Bonchi F. (ed.) Boulicaut J.-F. (ed.) |
Lecture Notes in Computer Science (3933). Knowledge Discovery in Inductive Databases: 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers | 2006 |
|
61881. |
Hagiya M. (ed.) Wadler P. (ed.) |
Lecture Notes in Computer Science (3945). Functional and Logic Programming | 2006 |
|
61882. |
Alexandrov V.N. van Albada G.D. Sloot P.M.A. |
Lecture Notes in Computer Science (3991). Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I | 2006 |
|
61883. |
Leitold H. (ed.) Markatos E. (ed.) |
Lecture Notes in Computer Science (4237). Communications and Multimedia Security: 10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings | 2006 |
|
61884. |
Dahl V. Niemela I. |
Lecture Notes in Computer Science (4670). Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings | 2007 |
|
61885. |
Nielsen M. Kucera A. Miltersen P.B. |
Lecture Notes in Computer Science (5404). SOFSEM 2009: Theory and Practice of Computer Science | 2009 |
|
61886. |
Bry F. (ed.) Małuszynski J. (ed.) |
Lecture Notes in Computer Science (5500). Semantic Techniques for the Web | 2009 |
|
61887. |
Sexton A.P. (ed.) |
Lecture Notes in Computer Science (5588). Dataspace: The Final Frontier: 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009, Proceedings | 2009 |
|
61888. |
Wilkinson M.H.F. Roerdink J.B.T.M. |
Lecture Notes in Computer Science (5720). Mathematical morphology and its application to signal and image processing | 2009 |
|
61889. |
Engels G. Lewerentz C. Schafer W. |
Lecture Notes in Computer Science (5765). Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday | 2010 |
|
61890. |
Bensalem S. Peled D.A. |
Lecture Notes in Computer Science (5779). Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers | 2009 |
|
61891. |
Gibbons J. (ed.) Oliveira J.O. (ed.) |
Lecture Notes in Computer Science (5846). Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings | 2009 |
|
61892. |
Loucopoulos P. (ed.) |
Lecture Notes in Computer Science (593). Advanced Information Systems Engineering: 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. Proceedings | 1992 |
|
61893. |
Blume M. Kobayashi N. Vidal G. |
Lecture Notes in Computer Science (6009). Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings | 2010 |
|
61894. |
Taniar D. Gervasi O. Murgante B. |
Lecture Notes in Computer Science (6017). Computational Science and Its Applications - ICCSA 2010: International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II | 2010 |
|
61895. |
De Schreye D. (ed.) |
Lecture Notes in Computer Science (6037). Logic-Based Program Synthesis and Transformation | 2010 |
|
61896. |
Nguyen P.Q.(ed.) Pointcheval D.(ed.) |
Lecture Notes in Computer Science (6056). Public Key Cryptography - PKC 2010: 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010, Proceedings | 2010 |
|
61897. |
Bjorner D. Jones C.B. |
Lecture Notes in Computer Science (61). The Vienna development method: the Meta-langauge | 1978 |
|
61898. |
Chowdhury G. (ed.) |
Lecture Notes in Computer Science (6102). The Role of Digital Libraries in a Time of Global Change | 2010 |
|
61899. |
Frachtenberg E. (ed.) Schwiegelshohn U. (ed.) |
Lecture Notes in Computer Science (6253). Job Scheduling Strategies for Parallel Processing: 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers | 2010 |
|
61900. |
Gupta I. (ed.) Mascolo C. (ed.) |
Lecture Notes in Computer Science (6452). Middleware 2010 | 2010 |
|