Filters
- Springer
- 17 Books Publishing
- 5d Media Publishing
- 3dtotal Publishing
- 3DTotal Publishing Ltd
- 6 Figure Press
- 5m Publishing
- 50minuten.de
- 50minutes.com
- 3 Pillars Publishing
- 83 Press
- 8404 Publishing, LLC
- 1st Book Library
- 5starcooks
- 120 Ways Publishing
- 400 Year Project Press
- 8-Step Problem-Solving Method
- 90-Minute Books
- 978-1-7392166-0-3
- 978-1-7753503-0-9
- 978-1-998923-24-3
- A A Balkema Publishers
- A K Peters
- A K PETERS
- A R M A International
- A&C Black
- A&c Black 3pl
- A&c Black Business Information and Developmen
- A.K. International
- Aaron Crenshav
- AB + Publications
- ABA Espana
- Abbey Landry
- Abbott Press
- Abbott Properties
- ABC Limited Press
- ABC Seams Pty. Ltd.
- ABC-CLIO
- Abhishek Sharma
- Abingdon Press
- Ablex Publishing Corporation
- Abounding Lifestyle
- ABRAMS
- Abrams Comicarts
- Abrams Press
- Abrazol Publishing
- Abreo Executive Services, LLC
- Absolute Author Publishing House
- AC Publishing
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Acc Art Books
- Accelerated Development
- Accounting Tools
- Accountingtools, Inc.
- Acm3 Publishing
- ACM Books
- Acpil
- Acquisition.com
- Acres U.S.A., Inc.
- Acsess
- ACT Four Screenplays
- Actar
- Acupuncture Diagnostic Methods & Point Select
- Ad Hoc Press
- Adaline Hartwell
- Adams Media Corporation
- Adapt2value Bv
- Addicted2life Ltd
- Addison-Wesley Professional
- Adele Toral
- Adizes Institute
- Adlard Coles Nautical Press
- Adler Press
- Adobe Press
- Adonis & Abbey Publishers
- Adrian Fleming
- Advanced Analytics, LLC
- Advanced Communication Designs, Inc
- Advanced Publishing LLC
- AIP
- AISECT Publication Bhopal
- AK International Publication
- AKINT
- ALA Editions
- ALA Neal-Schuman
- AMZ Marketing Hub
- APA
- APE
- ARC Humanities Press
- ARC Manor
- ASCD
- ASM Press
- ASP Vub Press
- ASQ Quality Press
- ASTD
- AV Akademikerverlag
- AVA Publishing
- Springer
- 17 Books Publishing
- 5d Media Publishing
- 3dtotal Publishing
- 3DTotal Publishing Ltd
- 6 Figure Press
- 5m Publishing
- 50minuten.de
- 50minutes.com
- 3 Pillars Publishing
- 83 Press
- 8404 Publishing, LLC
- 1st Book Library
- 5starcooks
- 120 Ways Publishing
- 400 Year Project Press
- 8-Step Problem-Solving Method
- 90-Minute Books
- 978-1-7392166-0-3
- 978-1-7753503-0-9
- 978-1-998923-24-3
- A K PETERS
- A K Peters/CRC Press
- A R M A International
- A&C Black
- A&c Black 3pl
- A&c Black Business Information and Developmen
- A.K. International
- Aaron Crenshav
- AB + Publications
- ABA Espana
- Abbey Landry
- Abbott Press
- Abbott Properties
- ABC Limited Press
- ABC Seams Pty. Ltd.
- ABC-CLIO
- Abhishek Sharma
- Abingdon Press
- Ablex Publishing Corporation
- Abounding Lifestyle
- ABRAMS
- Abrams Comicarts
- Abrams Press
- Abrazol Publishing
- Abreo Executive Services, LLC
- Absolute Author Publishing House
- AC Publishing
- Acad Pr
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Acc Art Books
- Accelerated Development
- Accounting Tools
- Accountingtools, Inc.
- Acm3 Publishing
- ACM Books
- Acpil
- Acquisition.com
- Acres U.S.A., Inc.
- Acsess
- ACSESS
- ACT Four Screenplays
- Actar
- Acupuncture Diagnostic Methods & Point Select
- Ad Hoc Press
- Adaline Hartwell
- Adams Media Corporation
- Adapt2value Bv
- Addicted2life Ltd
- Addison-Wesley Professional
- Adele Toral
- Adis
- Adizes Institute
- Adlard Coles Nautical Press
- Adler Press
- Adobe Press
- Adonis & Abbey Publishers
- AIP
- AISECT Publication Bhopal
- AK International Publication
- AKINT
- ALA Editions
- ALA Neal-Schuman
- AMZ Marketing Hub
- AOCS
- APA
- APE
- ARC Humanities Press
- ARC Manor
- ASCD
- ASM
- ASM Press
- ASP Vub Press
- ASQ Quality Press
- ASTD
- AV Akademikerverlag
- AVA Publishing
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Children Books
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Cookery & Food Services
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- Fisheries & Aquaculture
- Food Science & Technology
- Foreign Languages
- Gardening
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- Hindi Literature
- History
- Law and Criminology
- Library & Information Science
- Magic & Alchemy
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Nutrition and Dietetics
- Pets
- Photography
- 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
- 50minutes
- A. K. Haghi
- A. Nazari
- Agency for Healthcare Resea And Quality
- Alban Matthews
- Alfred Henry Allen
- Alice Schwartz
- Andrew Barron
- Anna Lena Bischoff
- Anon
- Anonym
- Anonymous
- Antonio Cerone
- Ashutosh Kumar Shukla
- Avraham Rasooly
- Azhar Ul Haque Sario
- B.S. Dhillon
- Baby Professor
- Bruce A. Thyer
- Cfa Institute
- Charles Nehme
- Christian Constanda
- Collectif
- D Federal Highway Administration (Fhwa)
- Danny Munrow
- David Hume
- Dawson Church
- Dick DeBartolo
- Edward D. Korn
- Georg Lunge
- George Gordon Dawson
- Gerda Wagner
- Halbert Powers Gillette
- Harvey Washington Wiley
- Helena Jin
- Henry G. Spurgeon
- Iconcept Press
- Ioannis Hatzilygeroudis
- Isadora Ivy
- J. Paul Guyer
- James G. Speight
- James Relington
- Jamie Flux
- Jcm-Nystce Test Preparation Group
- Jerome Cameron Goodwin
- John Lok
- John Stuart Mill
- John Su
- Johnny L. Matson
- Joseph Priestley
- Jovan Hutton Pulitzer
- K.R. Gupta
- Kursad Turksen
- La Salle Extension University
- Lee
- Léonard Martin
- Lewis Morris
- Liang Wei Hao
- M. A. Hayat
- Marco Bernardo
- Maurice H. Ter Beek
- Megh R. Goyal
- Michael Smith
- Miguel Ángel Ladrón de Guevara
- Mohammed Hamed Ahmed Soliman
- Mometrix Media LLC
- Nasa Technical Reports Server (Ntrs)
- National Institute of Justice
- National Institute of Justice (Nij)
- National Learning Corporation
- National Research Council
- National Salesmen's Training Associatio
- National Salesmen's Training Association
- Office of the Federal Register (U S )
- Oluchi Ike
- Passbooks
- Paul F. Kisak
- Peter Hollins
- Phillip I. Good
- Piotr Kielanowski
- Project Management Institute
- Radek Silhavy
- Reactive Publishing
- Roger Chambers
- Rwg
- San Francisco State Normal School
- Saumya Shukla
- Sharon A. Wynne
- Simon Somerville Laurie
- Speedy Publishing LLC
- Sujaul Chowdhury
- The Law Library
- Thomas Heywood
- Tiziana Margaria
- Ton J. Cleophas
- U S Environmental Protection Agency
- U. S. Environmental Protection Agency
- Uzman Khan
- Various
- Various Authors
Products
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
Emil Sekerinski
Paperback
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
| /
• Author(s): Emil Sekerinski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Po...
View full details
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Emil Sekerinski
Paperback
Current price
₹2,791
Original price
₹4,293
Original price
₹4,293
Original price
₹4,293
(-35%)
₹2,791
Current price
₹2,791
| /
• Author(s): Emil Sekerinski • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on Sept...
View full details
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
Emil Sekerinski
Paperback
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
| /
• Author(s): Emil Sekerinski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Po...
View full details
