- Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthdayFutatsugi, Kokichi;Goguen, Joseph;Jouannaud, Jean-Pierre;Meseguer, JoséRead
- Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedingsSofronie-Stokkermans, Viorica;Tinelli, CRead
- Recursion in programs, thought, and language156 days agoRead
- Modelling distributed systemsFokkink, WanRead
- Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthdayEhrig, Hartmut;Kreowski, H.-JRead
- Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthdayKlop, J. W;Middeldorp, AartRead
- Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papersReussner, Ralf;Stafford, Judith A;Szyperski, ClemensRead
- Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedingsGupta, Aarti;Malik, SharadRead
- Interactive systems : design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedingsGraham, T. C. Nicholas;Palanque, PhilippeRead
- Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedingsVoronkov, ARead
- ECOOP 2008 - object-oriented programming : 22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedingsVitek, JanRead
- Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 : proceedingsBanda, Maria Garcia de la;Pontelli, EnricoRead
- Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papersBerardi, Stefano;Damiani, Ferruccio;De'Liguoro, UgoRead
- Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthdayPalsberg, JensRead
- Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthdayAlbers, Susanne;Alt, Helmut;Mehlhorn, Kurt;Näher, StefanRead
- Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedingsBultan, Tevfik;Hsiung, Pao-AnnRead
- Mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings, TheKanazawa, MakotoRead
- Logic, rationality, and interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedingsDitmarsch, Hans van;Ju, Shier;Lang, JérômeRead
- Algorithmic learning theory : 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedingsKivinen, JyrkiRead
- Agent-oriented software engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papersGleizes, Marie-Pierre;Weyns, DannyRead
- Conceptual modeling--ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedingsDelcambre, Lois M. L;Jeusfeld, Manfred;Ling, Tok WangRead
- Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedingsBarthe, Gilles;Pardo, Alberto;Schneider, GerardoRead
- Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthdayAgha, Gul A;Danvy, Olivier;Meseguer, JoséRead
- Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedingsFahrenberg, Uli;Tripakis, StavrosRead
- Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedingsWolff, Burkhart;Zaïdi, FatihaRead
- Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirementKuich, Werner;Rachōnēs, GeōrgiosRead
- Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. ProceedingsJouannaud, Jean-Pierre;Shao, ZhongRead
- Software engineering, business continuity, and education : international conferences ASEA, DRBC and EL 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjKim, Tai-hoonRead
- Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, ProceedingsYang, HongseokRead
- Implementation and application of automata : 13th international conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008 : proceedingsIbarra, Oscar H;Ravikumar, BRead
- Implementation and application of functional languages : 19th international symposium, IFL 2007, Freiburg, Germany, September 2007 : revised selected papersChitil, Olaf;Horváth, Zoltán;Zsók, ViktóriaRead
- Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papersChitil, Olaf;Scholz, Sven-BodoRead
- Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedingsKlügl, Franziska;Ossowski, SaschaRead
- Implementation and application of functional languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papersHage, Jurriaan;Morazán, Marco TRead
- Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. ProceedingsDelzanno, Giorgio;Potapov, IgorRead
- Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papersMorgan, Carroll;Simão, AdenilsoRead
- Evaluation of novel approaches to software engineering : 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010 : revised selected papersLoucopoulos, P;Maciaszek, LeszekRead
- Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papersAichernig, Bernhard K;Boer, Frank S. de;Bonsangue, Marcello MRead
- Foundations of algebraic specification and formal software developmentSannella, D;Tarlecki, AndrzejRead
- Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papersHorimoto, Katsuhisa;Nakatsui, Masahiko;Popov, NikolajRead
- Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedingsJoshi, Rajeev;Müller, Peter;Podelski, AndreasRead
- Mathematical and engineering methods in computer science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papersKotásek, ZdeněkRead
- Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedingsRusso, Claudio;Zhou, Neng-FaRead
- Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lecturesMeyer, Bertrand;Nordio, MartinRead
- Conceptual modelling and its theoretical foundations : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthdayDüsterhöft, Antje;Klettke, Meike;Schewe, Klaus-DieterRead
- Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of His 60th Birthday, Auckland, New Zealand, FebruaDinneen, M. J;Khoussainov, Bakhadyr;Nies, AndréRead
- Recent trends in algebraic development techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised selected papersKreowski, H.-J;Mossakowski, TillRead
- Transactions on computational science XV : special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systemsGavrilova, Marina L;Phan, Cong-Vinh;Tan, C. J. KennethRead
- Distributed computing and internet technology : 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012, proceedingsRamanujam, R;Ramaswamy, SriniRead
- Foundations of information and knowledge systems : 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. ProceedingsLukasiewicz, Thomas;Sali, AttilaRead
- Medicine - All Feeds
- Allergology and Immunology
- Anatomy and Physiology
- Anesthesiology and Intensive Care
- Biochemistry
- Bioengineering
- Biophysics
- Biotechnology
- Cardiology
- Cardiothoracic Surgery
- Clinical Chemistry
- Clinical Medicine
- Complementary Medicine
- Cytology and Histology
- Dentistry
- Dermatology
- Endocrinology
- Forensic Medicine
- Gastroenterology
- General Practice
- Genetics
- Geriatrics
- Health services and Administration
- Hematology
- Infectious Diseases
- Internal Medicine
- Logopedics
- Medical Education and Humanities
- Medical Microbiology
- Medicine - Other
- Nephrology
- Neurology
- Neurosurgery
- Nursing
- Nutritional Sciences
- Obstetrics and Gynecology
- Occupational Health
- Oncology
- Ophthalmology
- Oral and Maxillofacial Surgery
- Orthopedics and Traumatology
- Otorhinolaryngology and Phoniatrics
- Pathology
- Pediatrics
- Pharmacology and Pharmacotherapy
- Physical and Rehabilitation Medicine
- Plastic Surgery
- Psychiatry
- Psychology
- Public Health
- Radiology
- Respiratory Medicine
- Rheumatology
- Sports Medicine
- Surgery
- Urology