Finite and Algorithmic Model Theory
Javier Esparza, Christian Michaux, Charles Steinhorn
₹5,098
Subject
Computers & Internet books
3,763 new computers & internet titles, with the largest lists from Springer, Cambridge University Press and CRC Press. Narrow down by topic: Programming, AI & Machine Learning, Networking, Cybersecurity. Prices from ₹900 to ₹5,985, with free delivery across India and cash on delivery.
Showing 1,681–1,704 of 3,763 books
Finite-State Methods and Natural Language Processing
Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki
₹5,539
Finite-State Methods and Natural Language Processing
Anssi Yli-Jyrä, Andras Kornai, Jacques Sakarovitch
₹5,458
First Course in Digital Signal Processing Using Dadisp
Allen Brown, Zhang Jun
₹1,851
Fit for Developing Software
Rick Mugridge, Ward Cunningham
₹5,946
Floating Point Numerics for Games and Simulations
Nima Badizadegan
₹4,077
Flowhop Scheduling Mit Parallelen Genetischen Algorithmen
Christian Bierwirth
₹3,508
Flussorientierte Logistik Und Integrierte Standardsoftware
Manfred Rössle
₹5,836
Focusing Solutions for Data Mining
Thomas Reinartz
₹5,782
Food and the Internet
Violetta Krawczyk-Wasilewska, Patricia Lysaght
₹4,589
Formal Aspects of Component Software
Luis Soares Barbosa, Markus Lumpe
₹5,597
Formal Development of Reactive Systems
Claus Lewerentz, Thomas Lindner
₹2,614
Formal Languages for Computer Simulation
Pau Fonseca I. Casas
₹4,791
Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
₹5,586
Formal Methods and Software Engineering
Jin Song Dong, Huibiao Zhu
₹4,077
Formal Methods for Eternal Networked Software Systems
Marco Bernardo, Valerie Issarny
₹5,669
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro
₹5,468
Formal Methods in Computer-Aided Design
Mark D. Aagaard, John W. O'Leary
₹5,593
Formal Methods in Computer-Aided Design
Alan J. Hu, Andrew K. Martin
₹5,605
Formal Methods in Computer-Aided Design
Mandayam Srivas, Albert Camilleri
₹5,617
Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
₹5,598
Formal Syntax and Semantics of Java
Jim Alves-Foss
₹5,583
Formal Verification of Object-Oriented Software
Bernhard Beckert, Claude Marché
₹5,483
Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
₹5,031