Filters
- Springer
- 12th Media Services
- A K Peters
- A K PETERS
- Ablex Publishing Corporation
- Academic
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Addison-Wesley Professional
- Adlard Coles Nautical Press
- Afnil
- AIAA
- AIAA (American Institute of Aeronautics & Ast
- AIP
- AKINT
- Alexander Tetelbaum
- Amazon
- Amazon Digital Services LLC - KDP Print US
- Amberley Publishing
- American Geophysical Union
- American Library Association
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- American Society of Mechanical Engineers,U.S.
- American Water Works Association
- Anchor Academic Publishing
- Ane Books
- Anova
- Anson Street Press
- Anthem Press
- Apex Test Prep
- Appjungle.Net LLC
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Arm Education Media UK
- Artech House
- Artech House Publishers
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- ASM International
- Aspen Publishing
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Avedition
- Aviation Supplies & Academics
- Avidbook Publishing Agency
- Balboa Press
- Balmos Hathorn
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Basic to Advanced Computer Aided Design Using
- Benediction Classics
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Binker North
- Birkhauser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing (UK)
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Bmj Publishing Group
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- Bookleaf Publishing
- Books on Demand
- Boston Light Press
- Bpb Publications
- BPB Publications
- BPP Learning Media Medical
- Braddock Bull
- Bradford Book
- Braun-Verlag
- Bravex Publications
- Breenae Washington
- British Library, Historical Print Editions
- Brooke Strahan
- Brooks Cole
- Brooks/Cole Pub Co
- Broquard eBooks
- Brown Walker Press
- BSP Books
- Burleigh Dodds Science Publishing Ltd
- Springer
- 12th Media Services
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Addison-Wesley Professional
- AddisWesle
- Adlard Coles Nautical Press
- Afnil
- AIAA
- AIAA (American Institute of Aeronautics & Ast
- AKINT
- Alexander Tetelbaum
- Amazon Digital Services LLC - KDP Print US
- Amberley Publishing
- American Geophysical Union
- American Library Association
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- American Society of Mechanical Engineers,U.S.
- American Water Works Association
- AmerInstPh
- Anchor Academic Publishing
- Ane Books
- Anson Street Press
- Anthem Press
- Apex Test Prep
- Appjungle.Net LLC
- Apple Acad
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Arm Education Media UK
- Artech
- Artech House Publishers
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- ASM International
- Aspen Publishing
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Atlantic
- Atlantis Press
- Atropos Press
- Auerbach P
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Autodesk P
- Avedition
- Aviation Supplies & Academics
- Avidbook Publishing Agency
- Balboa Press
- Balmos Hathorn
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Basic to Advanced Computer Aided Design Using
- Bedford
- Benediction Classics
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Binker North
- Birkhauser
- Birkhäuser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Bmj Publishing Group
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- Bookleaf Publishing
- Books on Demand
- Boston Light Press
- Bpb Publications
- BPB Publications
- BPP Learning Media Medical
- Braddock Bull
- Bradford Book
- Braun-Verlag
- Bravex Publications
- Breenae Washington
- British Library, Historical Print Editions
- BSP Books
- 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
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fine Arts
- Fisheries & Aquaculture
- Food Science & Technology
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- History
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Writing/Research Methods
- Aboul Ella Hassanien
- Air Force Institute of Technology (U
- Ajit Singh
- Ajith Abraham
- Alberto del Bimbo
- Alejandro F. Frangi
- Álvaro Rocha
- American Society Of Mechanical Engineers Staff
- Amit Joshi
- Anand J. Kulkarni
- Andreas Öchsner
- Andrew Adamatzky
- Anil Kumar Verma, Gaurav Sharma, Kuldeep Singh
- Ankit Kumar
- Anonymous
- ASME
- Atul
- Atulya K. Nagar
- Bandar Hezam
- Bernard J. Jansen
- Bibudhendu Pati
- Borko Furht
- Brijesh Iyer
- C. A. Brebbia
- C. Edwards
- Charles Nehme
- Christo Ananth
- David Jin
- Deepak Gupta
- Digvijay Powar
- Egon Krause
- Erik Cuevas
- Erol Gelenbe
- Filippo Neri
- Flávia Gonçalves Fernandes
- Franz Pichler
- Garima Mathur
- George A. Anastassiou
- Gerard O'Regan
- Gi-Chul Yang
- H. S. Saini
- Haeng Kon Kim
- Halimah Badioze Zaman
- Hamid R. Arabnia
- Hartmut Ehrig
- Hongjiang Song
- J. Paulo Davim
- James J. Park
- James Relington
- Jamie Flux
- Jan Awrejcewicz
- Janusz Kacprzyk
- Jason C. Hung
- Jcm-Nystce Test Preparation Group
- João Manuel R. S. Tavares
- José Antonio Marmolejo-Saucedo
- Juan Carlos Figueroa-García
- Jyotsna Kumar Mandal
- Kanubhai K. Patel
- Khaled Elleithy
- Kohei Arai
- Kuinam J. Kim
- Lakhmi C. Jain
- Lazaros S. Iliadis
- Leonard Barolli
- Lewis Morris
- M. Shamim Kaiser
- Manoj Dole
- Marcelo V. Garcia
- Matheus Carvalho
- Michael E. Auer
- Michael Griebel
- Michael J. Rider
- Miguel Botto-Tobar
- Mircea Gh Negoita
- Mohamed Ben Ahmed
- Mukesh Saraswat
- Mykola Nechyporuk
- Nabendu Chaki
- Nadia Nedjah
- Ngoc Thanh Nguyen
- Oscar Castillo
- Panos M. Pardalos
- Pavithra Guru R
- Qilian Liang
- Radek Silhavy
- Roger Lee
- Roman Szewczyk
- Shengzhao Long
- Siddhartha Bhattacharyya
- Sio-Iong Ao
- Suresh Chandra Satapathy
- Tarek Sobh
- Vikrant Bhateja
- Weixia Xu
- Wojciech Zamojski
- Wolfgang E. Nagel
- Xin-She Yang
- Zhengbing Hu
- Zhihong Qian
Products
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos
Tiziana Margaria
Paperback
Current price
₹4,848
Original price
₹7,457
Original price
₹7,457
Original price
₹7,457
(-35%)
₹4,848
Current price
₹4,848
| /
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Internationa...
View full details
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo
Tiziana Margaria
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): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Sympos...
View full details
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso
Tiziana Margaria
Paperback
Current price
₹5,141
Original price
₹7,909
Original price
₹7,909
Original price
₹7,909
(-35%)
₹5,141
Current price
₹5,141
| /
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises c...
View full details
