Price Comparison for Indian Stores
Gift cards @ 3% Off Coupons Deals Tatkal Booking Extension Careers at Buyhatke
Mobile App App
Chrome Extension

Instruction Sequences for Computer Science - 9789491216640

N/A
₹9725
See all Prices
See Price Trend

About the Book :

  • Language : English
  • Binding : Hardcover
  • Contributors : Jan A. Bergstra, Cornelis A. Middelburg

Instruction Sequences for Computer Science Details :

DETAILS

  • Language : English
  • Binding : Hardcover
  • Contributors : Jan A. Bergstra, Cornelis A. Middelburg
Read The Full Specification

Instruction Sequences for Computer Science Price History

  • The best price for Instruction Sequences for Computer Science in India is Rs. as per April 29, 2024, 2:37 am
  • You save NAN% by purchasing it at for over which sells it for
  • The prices for is valid in all major cities of India including Bangalore, Delhi, Hyderabad, Chennai, Mumbai, Kolkata and Pune. Please check instructions at the specific stores for any deviation.
  • All prices mentioned above are in INR

Instruction Sequences for Computer Science Related Books :

The Machine Learning A Probabilistic Perspective
The Machine Learning A Probabilistic Perspective
₹800 onwards
  • Kevin P. Murphy
A Programming Approach to Computability
A Programming Approach to Computability
₹6662 onwards
  • Michael A. Arbib, A. J. Kfoury, Robert N. Moll
FM 2012 Formal Methods 18th International Symposium Paris France August 27-31 2012 Proceedings
FM 2012 Formal Methods 18th International Symposium Paris France August 27-31 2012 Proceedings
₹7340 onwards
  • Susie H. VanHuss, Connie M. Forde, Donna L. Woo
Foundational and Practical Aspects of Resource Analysis Second International Workshop Fopara 2011 Madrid Spain May 19 2011 Revised Selected Pap
Foundational and Practical Aspects of Resource Analysis Second International Workshop Fopara 2011 Madrid Spain May 19 2011 Revised Selected Pap
₹3874 onwards
  • Robert S. Houghton, Janaye M. Houghton, Robert S. Houghton joint
Unconventional Computation and Natural Computation 12th International Conference Ucnc 2013 Milan Italy July 1-5 2013 Proceedings
Unconventional Computation and Natural Computation 12th International Conference Ucnc 2013 Milan Italy July 1-5 2013 Proceedings
₹4698 onwards
  • Alan Oxley
Instruction Sequences for Computer Science
Instruction Sequences for Computer Science
₹9725 onwards
  • Jan A. Bergstra, Cornelis A. Middelburg
Foundations of Software Science and Computation Structures 16th International Conference Fossacs 2013 Held as Part of the European Joint Conference
Foundations of Software Science and Computation Structures 16th International Conference Fossacs 2013 Held as Part of the European Joint Conference
₹5164 onwards
  • Helmut Roderer
Openmp in the Petascale Era 7th International Workshop on Openmp Iwomp 2011 Chicago Il USA June 13-15 2011 Proceedings
Openmp in the Petascale Era 7th International Workshop on Openmp Iwomp 2011 Chicago Il USA June 13-15 2011 Proceedings
₹5764 onwards
  • Jonas X. Yuan
Researching the Future in Information Systems IFIP WG 8 2 Working Conference Turku Finland June 6-8 2011 Proceedings
Researching the Future in Information Systems IFIP WG 8 2 Working Conference Turku Finland June 6-8 2011 Proceedings
₹8253 onwards
  • Meik Dorpinghaus, Meik D. Rpinghaus
Application and Theory of Petri Nets 33rd International Conference Petri Nets 2012 Hamburg Germany June 25-29 2012 Proceedings
Application and Theory of Petri Nets 33rd International Conference Petri Nets 2012 Hamburg Germany June 25-29 2012 Proceedings
₹5164 onwards
  • Rena Bizios, David A. Puleo, Kay C. Dee
Software Service and Application Engineering Essays Dedicated to Bernd Kramer on the Occasion of His 65th Birthday
Software Service and Application Engineering Essays Dedicated to Bernd Kramer on the Occasion of His 65th Birthday
₹4687 onwards
  • Roy Norris
Descriptional Complexity of Formal Systems 13 International Workshop Dcfs 2011 Giessen Limburg Germany July 25-27 2011 Proceedings
Descriptional Complexity of Formal Systems 13 International Workshop Dcfs 2011 Giessen Limburg Germany July 25-27 2011 Proceedings
₹4842 onwards
  • Brian Blanchfield
The Computing Dendrite From Structure to Function
The Computing Dendrite From Structure to Function
₹13218 onwards
  • Bruce A. Stanton, Bruce M. Koeppen
Applications and Theory of Petri Nets 32nd International Conference PETRI NETS 2011 Newcastle UK June 20-24 2011 Proceedings
Applications and Theory of Petri Nets 32nd International Conference PETRI NETS 2011 Newcastle UK June 20-24 2011 Proceedings
₹4588 onwards
  • Otto-Michael Lesch, Henriette Walter, Christian Wetschka
Ifm 99 Proceedings of the 1st International Conference on Integrated Formal Methods York 28 29 June 1999
Ifm 99 Proceedings of the 1st International Conference on Integrated Formal Methods York 28 29 June 1999
₹5924 onwards
  • K. Araki, A. Galloway, K. Taguchi
Structural Complexity II
Structural Complexity II
₹9470 onwards
  • Jose L. Balcazar, Joaquim Gabarro, Josep Diaz
Cellular Automata and Discrete Complex Systems 19th International Workshop Automata 2013 Giessen Germany September 14-19 2013 Proceedings
Cellular Automata and Discrete Complex Systems 19th International Workshop Automata 2013 Giessen Germany September 14-19 2013 Proceedings
₹2169 onwards
  • Thomas Bossert
Reconfigurable Computing Architectures Tools and Applications 8th International Symposium ARC 2012 Hongkong China March 19-23 2012 Proceeding
Reconfigurable Computing Architectures Tools and Applications 8th International Symposium ARC 2012 Hongkong China March 19-23 2012 Proceeding
₹5839 onwards
  • Martin Henn
Data Structures and Algorithms 2 Graph Algorithms and NP-Completeness
Data Structures and Algorithms 2 Graph Algorithms and NP-Completeness
₹6844 onwards
  • K. Mehlhorn
Selected Topics in Algebra And Its Interrelations with Logic Number Theory and Algebraic Geometry
Selected Topics in Algebra And Its Interrelations with Logic Number Theory and Algebraic Geometry
₹7299 onwards
  • I. Bucur

Other Books By Jan A Bergstra :

Instruction Sequences for Computer Science
Instruction Sequences for Computer Science
₹9725 onwards
Supramolecular Structure and Function 10
Supramolecular Structure and Function 10
₹14460 onwards
Advances in Intelligent Decision Technologies Proceedings of the Second KES International Symposium IDT 2010 1st Edition Edition
Advances in Intelligent Decision Technologies Proceedings of the Second KES International Symposium IDT 2010 1st Edition Edition
₹25165 onwards
Computational Collective Intelligence Technologies and Applications Second International Conference ICCCI 2010 Kaohsiung Taiwan November 10-12
Computational Collective Intelligence Technologies and Applications Second International Conference ICCCI 2010 Kaohsiung Taiwan November 10-12
₹8853 onwards
Teaching Formal Methods Second International Conference Tfm 2009 Eindhoven the Netherlands November 2-6 2009 Proceedings
Teaching Formal Methods Second International Conference Tfm 2009 Eindhoven the Netherlands November 2-6 2009 Proceedings
₹6324 onwards
Web-Age Information Management WAIM 2010 International Workshops IWGD 2010 XMLDM 2010 WCMT 2010 Jiuzhaigou Valley China July 15-17 2010 Revised
Web-Age Information Management WAIM 2010 International Workshops IWGD 2010 XMLDM 2010 WCMT 2010 Jiuzhaigou Valley China July 15-17 2010 Revised
₹5839 onwards
Artificial Intelligence Applications and Innovations 6th Ifip Wg 12 5 International Conference Aiai 2010 Larnaca Cyprus October 6-7 2010 Procee
Artificial Intelligence Applications and Innovations 6th Ifip Wg 12 5 International Conference Aiai 2010 Larnaca Cyprus October 6-7 2010 Procee
₹9278 onwards
Runtime Verification 9th International Workshop RV 2009 Grenoble France June 26-28 2009 Selected Papers
Runtime Verification 9th International Workshop RV 2009 Grenoble France June 26-28 2009 Selected Papers
₹4987 onwards
Electronic Participation Second IFIP WG 8 5 International Conference ePart 2010 Lausanne Switzerland August 29-September 2 2010 Proceedin
Electronic Participation Second IFIP WG 8 5 International Conference ePart 2010 Lausanne Switzerland August 29-September 2 2010 Proceedin
₹6339 onwards
Trust Privacy and Security in Digital Business 7th International Conference TrustBus 2010 Bilbao Spain August 30-31 2010 Proceedings
Trust Privacy and Security in Digital Business 7th International Conference TrustBus 2010 Bilbao Spain August 30-31 2010 Proceedings
₹5633 onwards
Data and Mobility Transforming Information Into Intelligent Traffic and Transportation Services Proceedings of the Lakeside Conference
Data and Mobility Transforming Information Into Intelligent Traffic and Transportation Services Proceedings of the Lakeside Conference
₹800 onwards
Transactions on Computational Collective Intelligence II
Transactions on Computational Collective Intelligence II
₹6328 onwards
Abductive Reasoning and Learning
Abductive Reasoning and Learning
₹22306 onwards
Information Security 12th International Conference ISC 2009 Pisa Italy September 7-9 2009 Proceedings
Information Security 12th International Conference ISC 2009 Pisa Italy September 7-9 2009 Proceedings
₹4365 onwards
Digital Heritage Third International Conference EUROMED 2010 Lemessos Cyprus November 8-13 2010 Proceedings
Digital Heritage Third International Conference EUROMED 2010 Lemessos Cyprus November 8-13 2010 Proceedings
₹8208 onwards
Developments in Language Theory
Developments in Language Theory
₹8212 onwards
Quantitative Logic and Soft Computing Vol 2
Quantitative Logic and Soft Computing Vol 2
₹39944 onwards
Databases and Information Systems Fourth International Baltic Workshop Baltic DB Is 2000 Vilnius Lithuania May 1 5 2000 Selected Papers
Databases and Information Systems Fourth International Baltic Workshop Baltic DB Is 2000 Vilnius Lithuania May 1 5 2000 Selected Papers
₹11990 onwards
Formal Methods for Components and Objects
Formal Methods for Components and Objects
₹5980 onwards
Human Centric Technology and Service in Smart Space Humancom 2012
Human Centric Technology and Service in Smart Space Humancom 2012
₹14594 onwards
Big billion day flipkart 2019
Header
×
Text