Search results for “[Subject: programming-algorithms]”
Filters
- Cambridge University Press
- Springer
- Springer Verlag
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters
- A. Smith Media
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic Press
- Academiques
- ACM
- ACM Books
- Acorn Books
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Astra Young Readers
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- AV Akademikerverlag
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Badger Publishing
- Barcharts, Inc
- Barrons Educational Series
- Bartlett Publishing
- Basic Books
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Bellwether Media Inc.
- Bentham Science Publishers
- Bento Books, Inc.
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Big Mac Publishers
- Big Nerd Ranch Guides
- Billding Software
- BPB Publications
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- A. Smith Media
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic Press
- Academiques
- ACM
- ACM Books
- Acorn Books
- ADavis Publishing
- Addison-Wesley
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Apple Acad
- Apple Academic Press
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Astra Young Readers
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantis Press
- Atropos Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- AV Akademikerverlag
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Badger Publishing
- Barcharts, Inc
- Barrons Educational Series
- Bartlett Publishing
- Basic Books
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Bellwether Media Inc.
- Bentham Science Publishers
- Bento Books, Inc.
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- BPB Publications
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- Food Science & Technology
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Music, Theatre & Films
- Physics and Astronomy
- Religion and Philosophy
- A. Kaveh
- A. Migdalas
- Aboul-Ella Hassanien
- Adrian-Horia Dediu
- Ajith Abraham
- Alfio Quarteroni
- Ali Kaveh
- Alicia Dickenstein
- Amit Kumar
- Ana I. Pereira
- Andrew Adamatzky
- Andrew B. Kahng
- Anthony Bonato
- Anthony Brabazon
- Ashish Ghosh
- Bertrand Meyer
- Bo Xing
- Brigitte Chauvin
- Carlos Cotta
- Carlos Martín-Vide
- Celso C. Ribeiro
- Cesar Lopez
- Christian Blum
- D. Jude Hemanth
- David A. Grossman
- David G. Luenberger
- Diego Oliva
- Ding-Zhu Du
- E. S. Gopi
- Enrique Alba
- Erik Cuevas
- Ernst W. Mayr
- Evripidis Bampis
- Fedor V. Fomin
- Flemming Nielson
- Frank Dehne
- Franz Rothlauf
- George B. Dantzig
- Gerard O'Regan
- Gerhard Nierhaus
- Giorgio Ausiello
- Giovanni Squillero
- Guojun Wang
- Habib Izadkhah
- Hans-Joachim Bungartz
- Heinz H. Bauschke
- Helmut Seidl
- Henning Fernau
- Hoai An Le Thi
- Huazhong Liu
- Ivan Zelinka
- Jagdish Chand Bansal
- Jan Van Leeuwen
- Jean-Marc Adamo
- Jiří Mikyska
- Jianer Chen
- Jiuwen Cao
- John W. Chinneck
- Jörg Rothe
- Josep Diaz
- Juraj Hromkovič
- Jyotsna Kumar Mandal
- Kesav V. Nori
- Klaus Jansen
- Lane A. Hemaspaandra
- Leszek Rutkowski
- Manfred Broy
- Martine Ceberio
- Michel Raynal
- Nilanjan Dey
- Oscar Castillo
- Panos M. Pardalos
- Patricia Melin
- Patrick Siarry
- Radek Silhavy
- Raymond Chiong
- Rick Riolo
- Roman Wyrzykowski
- Ryuhei Uehara
- Sandeep Kumar
- Seyedali Mirjalili
- Srikanta Patnaik
- Stefka Fidanova
- Stephan Dempe
- Tarek Sobh
- Thomas Erlebach
- Tianqing Zhu
- Utpal Banerjee
- V. Sivakumar Reddy
- Veljko Milutinovic
- Victor Malyshkin
- Weili Wu
- Witold Pedrycz
- Wolfgang Banzhaf
- Wolfgang Schreiner
- Xin-She Yang
- Ying-Ping Chen
- Youssef Hamadi
- Zahir Tari
- Zong Woo Geem
Products
Principles of Program Analysis
Flemming Nielson
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): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersProgram analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. ...
View full details
Principles of Program Analysis
Flemming Nielson
Hardcover
Current price
₹5,458
Original price
₹8,396
Original price
₹8,396
Original price
₹8,396
(-35%)
₹5,458
Current price
₹5,458
| /
• Author(s): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersProgram analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. ...
View full details
ML with Concurrency: Design, Analysis, Implementation, and Application
Flemming Nielson
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): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralBoth functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extens...
View full details
Formal Methods: An Appetizer
Flemming Nielson
Hardcover
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): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to te...
View full details
