Filters
- Springer
- 1775 Productions
- 619 Wreath
- A A Balkema Publishers
- A K Peters
- A R M A International
- AB + Publications
- Abbott Press
- Abingdon Press
- Ablex Publishing Corporation
- Academic
- Academic Press
- Academica Press
- Academiques
- Acpil
- Addison-Wesley Professional
- Adele Toral
- ALA Neal-Schuman
- Alfred Music
- Alpha Science International, Ltd
- Altamira Press
- Amazing Reads
- Amberg Press
- American Academic Press
- American Anthropological Association
- American Federation of Astrologers
- American Medical Publishers
- American Psychological Association (APA)
- American Society of Mechanical Engineers
- Amherst Media
- Amplify Publishing
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Antonia Vanderhick
- Anu Press
- Apollos
- Applause Theatre & Cinema Book Publishers
- Apress
- Arboretum Books
- ARC Manor
- ARC Music Group
- Archaeopress
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arkose Press
- Art by Roslyn
- Artech House
- Artech House Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- Aspen Publishing
- ASQ Quality Press
- Association for Computing Machinery
- Association for Supervision & Curriculum Deve
- ASTD
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auckland University Press
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press UK
- Barber Press
- Barman Press
- Barry B Connors
- Bayshop (Generis Publishing)
- Beckworth Publishers
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Bentham Science Publishers
- Berg Publishers
- Bergin & Garvey
- Berklee Press Publications
- Berrett-Koehler Publishers
- Bibliogov
- BiblioLife
- Biblioscholar
- Bibliotech Press
- Bielefeld University Press
- Birch Tree Publishing
- Birkhauser
- Bis Publishers
- Blink Publishing
- Bloomberg Press
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Academic India
- Bloomsbury India
- Bloomsbury Libraries Unlimited
- Bloomsbury Publishing (UK)
- Springer
- 1775 Productions
- 619 Wreath
- A K PETERS
- A K Peters/CRC Press
- A R M A International
- AB + Publications
- Abbott Press
- Abingdon Press
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- Academica Press
- Academiques
- Acpil
- ACSESS
- Addison-Wesley Professional
- Adele Toral
- Adis
- ALA Neal-Schuman
- Alfred Music
- Allen & Unwin
- Alpha Science International, Ltd
- Altamira Press
- Amazing Reads
- Amberg Press
- American Academic Press
- American Anthropological Association
- American Federation of Astrologers
- American Medical Publishers
- American Psychological Association (APA)
- American Society of Mechanical Engineers
- Amherst Media
- Amplify Publishing
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Antonia Vanderhick
- Anu Press
- Apollos
- Applause Theatre & Cinema Book Publishers
- Apple Academic Press
- Apress
- Arboretum Books
- ARC Manor
- ARC Music Group
- Archaeopress
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arkose Press
- Art by Roslyn
- Artech
- Artech House Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- Aspen Publishing
- ASQ Quality Press
- Association for Computing Machinery
- Association for Supervision & Curriculum Deve
- ASTD
- Atlantic
- Atropos Press
- Auckland University Press
- Auerbach P
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press UK
- Barber Press
- Barman Press
- Barry B Connors
- Bayshop (Generis Publishing)
- Beckworth Publishers
- Bedford
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Bentham Science Publishers
- Berg Publishers
- Bergin & Garvey
- Berklee Press Publications
- Berrett-Koehler Publishers
- Bibliogov
- BiblioLife
- Biblioscholar
- Bibliotech Press
- Bielefeld University Press
- Birch Tree Publishing
- Birkhauser
- Birkhäuser
- Bis Publishers
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- Fashion & Textile
- Fisheries & Aquaculture
- Food Science & Technology
- Foreign Languages
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- Hindi Literature
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Nutrition and Dietetics
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Tourism, Travel Guide & Hospitality
- Veterinary
- Writing/Research Methods
- A. -J Loye
- A. A. Collyer
- A. C. Mason
- A. H. Monteith
- A. K. Tyagi
- A. P. Sinnett
- A. Wolf
- Aamir Al-Mosawi
- Aaron Dutle
- Abdel Hernández San Juan
- Abdolhossein Hemmati-Sarapardeh
- Abel Stevens
- Abria
- Adam Hilger Ltd
- Adolphe Papin
- Aimé Mbobi
- Aime Paul Heineck
- Alan Agresti
- Albert Howard Low
- Alberto De Tornos
- Aleksandr Vasilévitch Kaulbars
- Alexander Walkner
- Alexandra R. Lucas
- Alfred John Sutton Pippard
- Andrew Barron
- Anonym
- Anonymous
- Antonio Cerone
- Catherine Dawson
- Charles Alexander McMurry
- Charles Augustus Briggs
- Christian Constanda
- Collectif
- Cosima Avogaro-Bentele
- Dan Remenyi
- Dana Prescott Bartlett
- Emil Sekerinski
- Emile Coue
- Frank S. De Boer
- G. Barrie Wetherill
- H. Voxman
- Halbert Powers Gillette
- Hans-Gunter Heumann
- Harold Jeffreys
- Harold Ordway Rugg
- Helen Kara
- Henry Kiddle
- Henry Sidgwick
- Hippolyte Golfin
- Howard Agnew Johnston
- Ioannis Hatzilygeroudis
- James L. 1846-1935 Hughes
- Jean Marie Constante Duhamel
- Jean-Baptiste Arban
- John Don
- John Fitzgerald
- Katherine Melvina Huntsinger Blackford
- Ken Ludden
- Kenneth J. Berry
- Lazarus White
- Les Oakshott
- Louis Agassiz
- Louis Köhler
- M. Lakshmi Prasad
- Marc-Antoine Puvis
- Marcello M. Bonsangue
- Marco Bernardo
- Maria Montessori
- Marica Balletti
- Mary Sheldon Barnes
- Mel Bay
- Michael Griebel
- Nasa Technical Reports Server (Ntrs)
- National Renewable Energy Laboratory (Nr
- National Salesmen's Training Associatio
- National Salesmen's Training Association
- Newton N. Riddell
- Pat Bazeley
- Paul Carus
- Paul F. Kisak
- Radek Silhavy
- Raoul Von Dombrowski
- Rene Descartes
- René Descartes
- Rogelio Bermúdez Sarguera
- Rollin
- Ruis Woertendyke
- Sans Auteur
- Shaoying Liu
- Stephen M. Croucher
- Team Prabhat
- Tiziana Margaria
- U S Environmental Protection Agency
- Vanda Leci Bueno Gautério
- Various
- Werrett Wallace Charters
- Willford Isbell King
- William H. Storms
- William Leavitt
- Zakarya Ouelaa
Products
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec
Jim Davies, Leila Silva, Adenilso Simao
Paperback
Current price
₹5,712
Original price
₹6,855
Original price
₹6,855
Original price
₹6,855
(-17%)
₹5,712
Current price
₹5,712
| /
• Author(s): Jim Davies | Leila Silva | Adenilso Simao • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the thoroughly refereed post-conference proceedings of the 1...
View full details
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, Wa, Usa, November 8-12, 2004
Jim Davies
Paperback
Current price
₹7,277
Original price
₹11,194
Original price
₹11,194
Original price
₹11,194
(-35%)
₹7,277
Current price
₹7,277
| /
• Author(s): Jim Davies • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFormal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport, t...
View full details
Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
Jim Davies
Paperback
Current price
₹7,277
Original price
₹11,194
Original price
₹11,194
Original price
₹11,194
(-35%)
₹7,277
Current price
₹7,277
| /
• Author(s): Jim Davies • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It add...
View full details
