- Transactions on Aspect-Oriented Software Development IVAkşit, Mehmet;Rashid, AwaisRead
- Network performance analysis : using the J programming languageHolt, AlanRead
- Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthdayEhrig, Hartmut;Kreowski, H.-JRead
- Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papersReussner, Ralf;Stafford, Judith A;Szyperski, ClemensRead
- 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
- Languages and compilers for parallel computing : 20th international workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007 ; revised selected papersAdve, Vikram;Garzaran, Maria Jesus;Petersen, PaulRead
- Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 : proceedingsBanda, Maria Garcia de la;Pontelli, EnricoRead
- Transactions on aspect-oriented software development VOssher, Harold;Rashid, AwaisRead
- Software engineering for self-adaptive systemsCheng, Betty H. CRead
- Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papersBerardi, Stefano;Damiani, Ferruccio;De'Liguoro, UgoRead
- Embedded software development with CQian, Kai;Cao, Li;Den Haring, DavidRead
- Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedingsBultan, Tevfik;Hsiung, Pao-AnnRead
- Agent-oriented software engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papersGleizes, Marie-Pierre;Weyns, DannyRead
- Open source systems : grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, proceedingsHissam, ScottRead
- Model driven engineering languages and systems : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, proceedingsClark, Tony;Kühne, Thomas;Whittle, JonRead
- Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedingsQin, Shengchao;Qiu, ZongyanRead
- 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
- Transactions on high-performance embedded architectures and compilers IVStenström, PerRead
- 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
- Computer science : the hardware, software and heart of itAho, Alfred V;Blum, E. KRead
- Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, ProceedingsYang, HongseokRead
- 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
- 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
- SDL 2011 : integrating system and software modeling : 15th International SDL Forum, Toulouse, France, July 5-7, 2011 : revised papersOber, Ileana;Ober, IulianRead
- 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
- Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papersMödersheim, Sebastian;Palamidessi, CatusciaRead
- 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
- 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
- Introduction to programming with Fortran : with coverage of Fortran 90, 95, 2003, 2008 and 77Chivers, I. D;Sleighthome, JaneRead
- 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
- Foundational Java : key elements and practical programmingParsons, DavidRead
- Guide to scientific computing in C++Pitt-Francis, Joe;Whiteley, JonathanRead
- Handbook of service description : USDL and its methodsBarros, Alistair;Oberle, DanielRead
- Data engineering and management : second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised selected papersAndres, Frederic;Kannan, RajkumarRead
- Requirements engineering: Foundation for software quality : 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. ProceedingsDamian, Daniela;Regnell, BjörnRead
- Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. PrSchmitt, Jens BurkhardRead
- Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. ProceedingsBjörner, Nikolaj;Voronkov, ARead
- 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