Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice...

One-parameter semigroups of positive operators /

Remote sensing digital image analysis : an introduction / by Richards, John Alan, 1945-

Publisher description
Table of contents only

Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /

Advanced Monte Carlo for radiation physics, particle transport simulation and applications : proceedings of the Monte Carlo 2000 Conference, Lisbon, 23-26 October 2000 /

Differential geometry : proceedings of the 3rd international symposium held at Peñíscola, Spain, June 5-12, 1988 /

Viscosity solutions and applications : lectures given at the 2nd session of the Centro internazionale matematico estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 12-20, 199...

Computer vision, ECCV '96 : 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996 : proceedings /

Algebraic methodology and software technology /

SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings /

Topics in analysis /

Probabilités /

Combinatorial mathematics : proceedings of the Ninth Australian Conference on Combinatorial Mathematics, held at the University of Queensland, Brisbane, Australia, August 24-28, 19...

Category theory : applications to algebra, logic and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981 /

Intelligent agents III : agent theories, architectures, and languages : ECAI’96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996 : proceedings /

Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers /

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16-20, 1997 : proceedings /

Information security and privacy : Second Australian Conference, ACISP '97, Sydney, NSW, Australia, June 7-9, 1997 : proceedings /

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain,...