961- 980 of 2647 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, Author: Thorsten Altenkirch
QUICK ADD
Types for Proofs and Programs:…
by Thorsten Altenkirch (Editor), Conor McBride (Editor)
#4502 in Series
Paperback $54.99
Title: Pro MERN Stack: Full Stack Web App Development with Mongo, Express, React, and Node, Author: Vasan Subramanian
QUICK ADD
Pro MERN Stack: Full Stack Web…
by Vasan Subramanian
Paperback $54.99
Title: Beginning iPhone Development: Exploring the iOS SDK, Author: Jack Nutting
QUICK ADD
Beginning iPhone Development:…
by Jack Nutting, Fredrik Olsson, David Mark, Jeff LaMarche, Kim Topley
Paperback $54.99
Title: Designing Evolutionary Algorithms for Dynamic Environments, Author: Ronald W. Morrison
QUICK ADD
Designing Evolutionary…
by Ronald W. Morrison
Explore Series
Paperback $54.99
Title: Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings, Author: Joachim Gudmundsson
QUICK ADD
Experimental Algorithms: 13th…
by Joachim Gudmundsson (Editor), Jyrki Katajainen (Editor)
#8504 in Series
Paperback $54.99
Title: Algorithms and Data Structures: 4th International Workshop, WADS '95, Kingston, Canada, August 16 - 18, 1995. Proceedings, Author: Selim G. Akl
QUICK ADD
Algorithms and Data Structures…
by Selim G. Akl (Editor), Frank Dehne (Editor), Jörg-Rüdiger Sack (Editor), Nicola Santoro (Editor)
#955 in Series
Paperback $54.99
Title: Advances in Swarm Intelligence: Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012, Proceedings, Part I, Author: Ying Tan
QUICK ADD
Advances in Swarm Intelligence…
by Ying Tan (Editor), Yuhui Shi (Editor), Zhen Ji (Editor)
#7331 in Series
Paperback $54.99
Title: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers, Author: Loek Cleophas
QUICK ADD
Software Engineering and…
by Loek Cleophas (Editor), Mieke Massink (Editor)
#12524 in Series
Paperback $54.99
Title: Theory and Applications of Models of Computation: 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings, Author: Jianer Chen
QUICK ADD
Theory and Applications of…
by Jianer Chen (Editor), Qilong Feng (Editor), Jinhui Xu (Editor)
#12337 in Series
Paperback $54.99
Title: MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics, Author: Andrzej Blikle
QUICK ADD
MetaSoft Primer: Towards a…
by Andrzej Blikle, D. Barstow (Editor), W. Brauer (Editor), P. Brinch Hansen (Editor), D. Gries (Editor)
#288 in Series
Paperback $54.99
Title: A Visual Basic 6 Programmer's Toolkit, Author: Hank Marquis
QUICK ADD
A Visual Basic 6 Programmer's…
by Hank Marquis, Eric A. Smith
Paperback $54.99
Title: Global Optimization and Constraint Satisfaction: First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, Author: Christian Bliek
QUICK ADD
Global Optimization and…
by Christian Bliek (Editor), Christophe Jermann (Editor), Arnold Neumaier (Editor)
#2861 in Series
Paperback $54.99
Title: Introducing Azure Kubernetes Service: A Practical Guide to Container Orchestration, Author: Steve Buchanan
QUICK ADD
Introducing Azure Kubernetes…
by Steve Buchanan, Janaka Rangama, Ned Bellavance
Paperback $54.99
Title: Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings, Author: David Page
QUICK ADD
Inductive Logic Programming:…
by David Page (Editor)
#1446 in Series
Paperback $54.99
Title: Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings, Author: Lars-Henrik Eriksson
QUICK ADD
Extensions of Logic…
by Lars-Henrik Eriksson (Editor), Lars Hallnäs (Editor), Peter Schroeder-Heister (Editor)
#596 in Series
Paperback $54.99
Title: Practice and Theory of Automated Timetabling VI: 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers, Author: Edmund Burke
QUICK ADD
Practice and Theory of…
by Edmund Burke (Editor), Hana Rudová (Editor)
#3867 in Series
Paperback $54.99
Title: Modular Algorithms in Symbolic Summation and Symbolic Integration, Author: Jürgen Gerhard
QUICK ADD
Modular Algorithms in Symbolic…
by Jürgen Gerhard
#3218 in Series
Paperback $54.99
Title: Alphard: Form and Content: Form and Content, Author: Mary Shaw
QUICK ADD
Alphard: Form and Content:…
by Mary Shaw (Editor)
Paperback $54.99
Title: Design and Analysis of Algorithms: First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings, Author: Guy Even
QUICK ADD
Design and Analysis of…
by Guy Even (Editor), Dror Rawitz (Editor)
#7659 in Series
Paperback $54.99
Title: Polynomial Algorithms in Computer Algebra, Author: Franz Winkler
QUICK ADD
Polynomial Algorithms in…
by Franz Winkler
Explore Series
Paperback $54.99

Pagination Links