Search results for “[subject: computers-software]”
Filters
- Springer
- 3dtech
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alexander Tetelbaum
- Am Press
- Amacom
- Amazon
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anson Street Press
- Anthem Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Bottom of the Hill Publishing
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- British Archaeological Reports Oxford Ltd
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- Butterworth-Heinemann
- Byul Hur
- C&T Publishing
- CABI
- Cabi
- Cadcamcae Works
- CBS Publishers & Distributors Pvt. Ltd.
- CCB Publishing
- CRC Press
- Springer
- 3dtech
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alexander Tetelbaum
- Am Press
- Amacom
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anson Street Press
- Anthem Press
- Apple Acad
- Apple Academic Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Aspen Publishers
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Autodesk P
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Bottom of the Hill Publishing
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- British Archaeological Reports Oxford Ltd
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- But-Hein
- Butterworth-Heinemann
- Byul Hur
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- General Books
- Graphic Design & Animation
- History
- Library & Information Science
- Mathematics and Statistics
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- Adane Tarekegn
- Adrien Bartoli
- Ahmed Bouajjani
- Ahmed Seffah
- Alaeddine Hmidi
- Alberto del Bimbo
- Alfonso J. Kinglow
- Álvaro Rocha
- Anara Baimagambetova
- Andrea Vedaldi
- Andrew Fitzgibbon
- Angel Arias
- Anonymous
- Arie Gurfinkel
- Ascent -. Center for Technical Knowledge
- Asha Sohal
- Azizah Abd Manaf
- Borko Furht
- Brian Houghton Hodgson
- Cadcim Technologies
- Cesar Herrera
- Christoph Überhuber
- D. James Benton
- David A. Patterson
- David Bateman
- David Fleet
- Dines Bjørner
- Dmitry Vostokov
- Ekkehard Kaier
- Elian Greystone
- Elmozamil Elamir
- Felicia Toliver
- Georg Erwin Thaller
- Gerard O'Regan
- Godspower Ekuobase
- Gordan Jezic
- Halimah Badioze Zaman
- Hans Petter Langtangen
- Hartmut Ehrig
- Hasso Plattner
- Houbing Song
- Ihab Al-Qazzaz
- Inna Birillo
- James Bernstein
- James F. Peters
- Jean-Pierre Couwenbergh
- Joaquim Filipe
- Joaquin Garcia-Alfaro
- John Vince
- José Cordeiro
- Jose L. Encarnacao
- June Jamrich Parsons
- Jyoti Choudrie
- Kalaimani S
- Kesav V. Nori
- Khaled Elleithy
- Klaus Dette
- Landmark Publications
- Laura Leal-Taixé
- Leszek Borzemski
- Lynn Smith
- Manfred Broy
- Manfred Nagl
- Marco Bernardo
- Maria Virvou
- Michael M. Resch
- Michel Bidoit
- Miguel Botto-Tobar
- Mohammad Kaleem Galamali
- Muhammad Ashraf Mokhrizal
- Murat Yilmaz
- Nadia Bouaoudia-Madi
- Naoki Kobayashi
- Navdeep Kochhar
- Osvaldo Gervasi
- Oxford University Press
- Paolo Ciancarini
- Patricia Pesado
- Paul Tran
- Prasad Puthiyillam
- Puja Acharya
- Radek Silhavy
- Randy H. Shih
- Reynaldo Manuel Tarragó Ayra
- Rituparna Chaki
- Roger Lee
- Rogério de Lemos
- Roman Wyrzykowski
- S. Balamurugan
- S. L. Jany Shabu
- S. Sumathi
- Saeed Nouri
- Sanjiv K. Bhatia
- Saumya Shukla
- Shadi Zeinali
- Stan Sclaroff
- Suresh Chandra Satapathy
- Tarek Sobh
- Thompson Carter
- Weixia Xu
Products
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
Arie Gurfinkel, Marijn Heule
Paperback
Current price
₹2,911
Original price
₹4,477
Original price
₹4,477
Original price
₹4,477
(-35%)
₹2,911
Current price
₹2,911
| /
• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...
View full details
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
Arie Gurfinkel, Marijn Heule
Paperback
Current price
₹2,911
Original price
₹4,477
Original price
₹4,477
Original price
₹4,477
(-35%)
₹2,911
Current price
₹2,911
| /
• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...
View full details
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
Arie Gurfinkel, Marijn Heule
Paperback
Current price
₹5,199
Original price
₹6,239
Original price
₹6,239
Original price
₹6,239
(-17%)
₹5,199
Current price
₹5,199
| /
• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...
View full details
Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, July 18-19, 2015. Revised Selec
Arie Gurfinkel
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Arie Gurfinkel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theorie...
View full details
