Narrow These Results
Logic Design(285)
Programming / General(122)
Computer Science(103)
Programming / Software Development(95)
Programming Languages / General(67)
General(51)
Artificial Intelligence(27)
Programming / Systems Analysis & Design(22)
Programming / General(122)
Computer Science(103)
Programming / Software Development(95)
Programming Languages / General(67)
General(51)
Artificial Intelligence(27)
Programming / Systems Analysis & Design(22)
Data Processing/Parallel Processing (12)
Machine Theory (12)
Programming Languages / Assembly Language (12)
Programming Languages / XML (12)
Programming / Object Oriented (10)
Data Processing/General (9)
Database Management / General (9)
Programming / Algorithms (9)
Computer Engineering (8)
Networking / General (7)
Computer Architecture (6)
Programming / Parallel (6)
CAD-CAM (5)
Compilers (4)
Computer Graphics / Game Programming & Design (4)
Information Technology (4)
Programming Languages / Prolog (4)
Computer Graphics / Design (3)
Computer Graphics / General (3)
Data Processing / Storage & Retrieval (3)
Database Management / Data Mining (3)
Database Managemnet / Data Warehousing (3)
Security / General (3)
Virtual Reality (3)
Data Modeling & Design (2)
Internet / General (2)
Networking / Local Area Networks (LANs) (2)
Networking / Network Protocols (2)
Networking / Wide Area Networks (WANs) (2)
Programming Languages / BASIC (2)
Programming Languages / HTML (2)
Programming Languages / Java (2)
Computer Animation (1)
Hardware / General (1)
Hardware / Personal Computers / General (1)
Hardware / Workstations (1)
History (1)
Information Theory (1)
Internet / Security (1)
Internet / Web Page Design (1)
Internet / World Wide Web (1)
Management Information Systems (1)
Microprocessors (1)
Natural Language Processing (1)
Neural Networks (1)
Operating Systems / General (1)
Programming Languages / C (1)
Programming Languages / Visual BASIC (1)
Machine Theory (12)
Programming Languages / Assembly Language (12)
Programming Languages / XML (12)
Programming / Object Oriented (10)
Data Processing/General (9)
Database Management / General (9)
Programming / Algorithms (9)
Computer Engineering (8)
Networking / General (7)
Computer Architecture (6)
Programming / Parallel (6)
CAD-CAM (5)
Compilers (4)
Computer Graphics / Game Programming & Design (4)
Information Technology (4)
Programming Languages / Prolog (4)
Computer Graphics / Design (3)
Computer Graphics / General (3)
Data Processing / Storage & Retrieval (3)
Database Management / Data Mining (3)
Database Managemnet / Data Warehousing (3)
Security / General (3)
Virtual Reality (3)
Data Modeling & Design (2)
Internet / General (2)
Networking / Local Area Networks (LANs) (2)
Networking / Network Protocols (2)
Networking / Wide Area Networks (WANs) (2)
Programming Languages / BASIC (2)
Programming Languages / HTML (2)
Programming Languages / Java (2)
Computer Animation (1)
Hardware / General (1)
Hardware / Personal Computers / General (1)
Hardware / Workstations (1)
History (1)
Information Theory (1)
Internet / Security (1)
Internet / Web Page Design (1)
Internet / World Wide Web (1)
Management Information Systems (1)
Microprocessors (1)
Natural Language Processing (1)
Neural Networks (1)
Operating Systems / General (1)
Programming Languages / C (1)
Programming Languages / Visual BASIC (1)
Joyce Farrell(7)
Jo Ann Smith(4)
Luis Moniz Pereira(4)
Christopher John Hogger(3)
H. Kirchner(3)
J. Mauszynski(3)
J.W. De Bakker(3)
M. Wirsing(3)
Jo Ann Smith(4)
Luis Moniz Pereira(4)
Christopher John Hogger(3)
H. Kirchner(3)
J. Mauszynski(3)
J.W. De Bakker(3)
M. Wirsing(3)
Maria Rynn (3)
Marilyn Bohl (3)
Andrei Voronkov (2)
Anil Nerode (2)
Dov M. Gabbay (2)
Hartmut Ehrig (2)
Jurgen Dix (2)
K. Furukawa (2)
M. Main (2)
Michael Schroeder Ph.D. (2)
P. Deransart (2)
Pierre Deransart (2)
S. Prehn (2)
Stewart Venit (2)
Teodor C. Przymusinski (2)
Tony Gaddis (2)
W.P. De Roever (2)
colognet International Works (2)
A. Beaumont (1)
A. Ed-Dbali (1)
A. Lingas (1)
A.J.M. Van Gasteren (1)
A.R. Meyer (1)
Aart Middeldorp (1)
Adam Kaplan (1)
Ajit K. Mandal (1)
Alakananda Bhattacharya (1)
Alberto Policriti (1)
Alfried Pollmann (1)
Amir Pnueli (1)
Amit Konar (1)
Ana Moreira M.D. (1)
Andr-E Thayse (1)
Andrew Rushton (1)
Andrzej Blikle (1)
Andrzej Salwicki (1)
Anthony Savidis (1)
Antoni Kreczmar (1)
Arend Rensink (1)
Austin Melton (1)
Australia) Ilp 200 (2002 Sydney (1)
Austria) Fates 200 (2004 Linz (1)
Axel Simon (1)
B Workshop on Specification of Abstract Data Types 1990 Wusterhausen (1)
B. Lorho (1)
B. Monien (1)
B. Robinet (1)
Belgium) Plilp '9 (1992 Louvain (1)
Bernd Mahr (1)
Bernhard Moller (1)
Bernhard Steffen (1)
Bing Li (1)
Brahim Hnich (1)
Brent T. Hailpern (1)
Brian Nielsen (1)
Brian Sam-Bodden (1)
Christopher M. Judd (1)
Claude Sammut (1)
Conference on Mathematics of Program Construction (1)
D. Gries (1)
D. Seipel (1)
D.A. Wolfram (1)
Daniele Gunetti (1)
Danny De Schreye (1)
David McAllester (1)
David Naylor (1)
Denis Caromel (1)
Denmark International Symposium of Formal Methods Europe 1993 Odense (1)
Dines Bjorner (1)
Dino Mandrioli (1)
Dion Mandrioli (1)
Dirk Pattinson (1)
Dirk Taubner (1)
Domenico Cantone (1)
Dominique Snyers (1)
Donald E. Knuth (1)
Dror G. Feitelson (1)
E. Engeler (1)
E. Lamma (1)
E. M. Clarke (1)
Ed Byrne (1)
Elizabeth Drake (1)
England) International Conference on Algebraic and Logic Programming (6th : 1997 : Southampton (1)
Enrico Pontelli (1)
Eugenio Omodeo (1)
Evan Tick (1)
F. Meyer Auf Der Heide (1)
Fernando Orejas (1)
Fernando Silva (1)
Fla) Lpnmr 200 (2004 Fort Lauderdale (1)
Flemming Nielson (1)
France) CP 95 (1995 : Cassis (1)
France, and Cannes, France) ECOOP 2000 (2000 : Sophia-Antipolis (1)
France, and Cannes, France) Ecoop 200 (2000 Sophia-Antipolis (1)
Francesca Rossi (1)
Francesco Bergadano (1)
Frank Pfenning (1)
Frederic Benhamou (1)
Friedrich L. Bauer (1)
Fuji International Symposium on Functional and Logic Programming 1999 (1)
View all 329
Marilyn Bohl (3)
Andrei Voronkov (2)
Anil Nerode (2)
Dov M. Gabbay (2)
Hartmut Ehrig (2)
Jurgen Dix (2)
K. Furukawa (2)
M. Main (2)
Michael Schroeder Ph.D. (2)
P. Deransart (2)
Pierre Deransart (2)
S. Prehn (2)
Stewart Venit (2)
Teodor C. Przymusinski (2)
Tony Gaddis (2)
W.P. De Roever (2)
colognet International Works (2)
A. Beaumont (1)
A. Ed-Dbali (1)
A. Lingas (1)
A.J.M. Van Gasteren (1)
A.R. Meyer (1)
Aart Middeldorp (1)
Adam Kaplan (1)
Ajit K. Mandal (1)
Alakananda Bhattacharya (1)
Alberto Policriti (1)
Alfried Pollmann (1)
Amir Pnueli (1)
Amit Konar (1)
Ana Moreira M.D. (1)
Andr-E Thayse (1)
Andrew Rushton (1)
Andrzej Blikle (1)
Andrzej Salwicki (1)
Anthony Savidis (1)
Antoni Kreczmar (1)
Arend Rensink (1)
Austin Melton (1)
Australia) Ilp 200 (2002 Sydney (1)
Austria) Fates 200 (2004 Linz (1)
Axel Simon (1)
B Workshop on Specification of Abstract Data Types 1990 Wusterhausen (1)
B. Lorho (1)
B. Monien (1)
B. Robinet (1)
Belgium) Plilp '9 (1992 Louvain (1)
Bernd Mahr (1)
Bernhard Moller (1)
Bernhard Steffen (1)
Bing Li (1)
Brahim Hnich (1)
Brent T. Hailpern (1)
Brian Nielsen (1)
Brian Sam-Bodden (1)
Christopher M. Judd (1)
Claude Sammut (1)
Conference on Mathematics of Program Construction (1)
D. Gries (1)
D. Seipel (1)
D.A. Wolfram (1)
Daniele Gunetti (1)
Danny De Schreye (1)
David McAllester (1)
David Naylor (1)
Denis Caromel (1)
Denmark International Symposium of Formal Methods Europe 1993 Odense (1)
Dines Bjorner (1)
Dino Mandrioli (1)
Dion Mandrioli (1)
Dirk Pattinson (1)
Dirk Taubner (1)
Domenico Cantone (1)
Dominique Snyers (1)
Donald E. Knuth (1)
Dror G. Feitelson (1)
E. Engeler (1)
E. Lamma (1)
E. M. Clarke (1)
Ed Byrne (1)
Elizabeth Drake (1)
England) International Conference on Algebraic and Logic Programming (6th : 1997 : Southampton (1)
Enrico Pontelli (1)
Eugenio Omodeo (1)
Evan Tick (1)
F. Meyer Auf Der Heide (1)
Fernando Orejas (1)
Fernando Silva (1)
Fla) Lpnmr 200 (2004 Fort Lauderdale (1)
Flemming Nielson (1)
France) CP 95 (1995 : Cassis (1)
France, and Cannes, France) ECOOP 2000 (2000 : Sophia-Antipolis (1)
France, and Cannes, France) Ecoop 200 (2000 Sophia-Antipolis (1)
Francesca Rossi (1)
Francesco Bergadano (1)
Frank Pfenning (1)
Frederic Benhamou (1)
Friedrich L. Bauer (1)
Fuji International Symposium on Functional and Logic Programming 1999 (1)
View all 329
Phatcampus.com(9)
HotBookSale(6)
Textbooks.com(20)
TextbooksRus(14)
BarnesandNoble.com(23)
Alibris(309)
Amazon(64)
Amazon Marketplace(50)
HotBookSale(6)
Textbooks.com(20)
TextbooksRus(14)
BarnesandNoble.com(23)
Alibris(309)
Amazon(64)
Amazon Marketplace(50)
© 1995
-2009, Muze, Inc.
For personal non-commercial use only. All rights reserved.
For personal non-commercial use only. All rights reserved.
NexTag makes commercially reasonable efforts to ensure the accuracy of product and pricing information displayed on our site. We encourage users to conduct their own research prior to purchasing from the stores listed here. We do not make any guarantees that any information is correct. NexTag.com cannot be held liable for any actions taken based on the product and pricing information provided and NexTag shall not be held responsible for any loss or damage resulting from any business conducted with any company listed at NexTag. Please refer to our Terms of Use for complete details. To report a pricing error, click here.