Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title
Displaying 1- 20 of 803 results for keyword "hol" books
1 2 3 4 5

ISBN:
978-0-8186-2460-5
Book Format:
Paperback
List Price:
USD $80.00
Publisher:
IEEE Computer Society Press
Publication Date:
Jan 1992

A Proof Assistant for Higher-Order Logic
Author:
Nipkow, Tobias
Paulson, Lawrence C.
Wenzel, Markus
ISBN:
978-3-540-43376-7
Book Format:
Paperback
List Price:
USD $59.99
Publisher:
Springer Berlin / Heidelberg
Publication Date:
Apr 2002

A Proof Assistant for Higher-Order Logic
Author:
Nipkow, Tobias
Paulson, Lawrence C.
Wenzel, Markus
ISBN:
978-3-540-43376-7
Book Format:
Paperback
List Price:
AUD $112.95
Publisher:
Springer
Publication Date:
Jan 2002

A Proof Assistant for Higher-Order Logic
Author:
Nipkow, Tobias
Paulson, Lawrence C.
Wenzel, Markus
ISBN:
978-3-540-45949-1
Book Format:
Ebook
List Price:
USD $69.95
Publisher:
Springer Berlin / Heidelberg
Publication Date:
Jul 2003

Author:
Kotsilibas-Davis, James
ISBN:
978-0-517-52896-9
Book Format:
Hardback
List Price:
USD $2.99
Publisher:
Random House Value Publishing
Publication Date:
Mar 1982

Author:
Hol, Richard
Peters, MarJean
Hol, Karen
ISBN:
979-8-7616-8611-3
Book Format:
Paperback
List Price:
USD $15.00
Publisher:
Independently Published
Publication Date:
Jan 2022

Notizbuch Journal Tagebuch 100 Linierte...
Author:
Notizbücher, Ho Ho Hol Mir Mal Ein Bier Ugly Christmas Sweater
ISBN:
978-1-6506-8208-2
Book Format:
Paperback
List Price:
USD $6.99
Publisher:
Independently Published
Publication Date:
Dec 2019

Author:
Höl
ISBN:
979-8-3693-0066-4
Book Format:
Hardback
List Price:
AUD $397.10
Publisher:
IGI Global
Publication Date:
Dec 2023

Author:
Höl
ISBN:
979-8-3693-0066-4
Book Format:
Hardback
List Price:
USD $235.00
Publisher:
IGI Global
Publication Date:
Dec 2023

Author:
Höl
ISBN:
979-8-3693-0070-1
Book Format:
Multiple-item retail product
List Price:
USD $280.00
Publisher:
IGI Global
Publication Date:
Dec 2023

Nutrition: A Manual of Eleven Laboratories...
Author:
Hol
Carrigan, Kathy
Vorndam, Margaret
Jeschofnig, Peter
ISBN:
978-1-886151-72-7
Book Format:
Paperback
List Price:
USD $30.00
Publisher:
Hands-On Labs, Incorporated
Publication Date:
Nov 2009

Author:
Hol, Karen
ISBN:
978-1-7238-1333-7
Book Format:
Paperback
List Price:
USD $15.00
Publisher:
Independently Published
Publication Date:
Nov 2018

Author:
Hol, Karen
ISBN:
978-1-320-09563-1
Book Format:
Paperback
List Price:
USD $7.63
Publisher:
Blurb
Publication Date:
Aug 2014

Vaderlandsche Legende - Primary Source Edition
Author:
Hol, Rijk
ISBN:
978-1-295-26697-5
Book Format:
Paperback
List Price:
USD $17.75
Publisher:
Creative Media Partners, LLC
Publication Date:
Nov 2013

Vaderlandsche Legende
Author:
Hol, Rijk
ISBN:
978-1-145-23122-1
Book Format:
Paperback
List Price:
USD $17.75
Publisher:
Creative Media Partners, LLC
Publication Date:
Feb 2010

Author:
Martin, Hol
ISBN:
978-1-320-80608-4
Book Format:
Paperback
List Price:
USD $11.79
Publisher:
Blurb
Publication Date:
Apr 2015

Author:
Hol, A.
ISBN:
978-1-4653-2388-0
Book Format:
Ebook
List Price:
USD $3.99
Publisher:
Xlibris Corporation LLC
Publication Date:
Jan 2003

Author:
Hol, Karen
ISBN:
978-1-320-31842-6
Book Format:
Paperback
List Price:
USD $6.57
Publisher:
Blurb
Publication Date:
Dec 2014

Author:
Martin, Hol
ISBN:
978-1-320-11468-4
Book Format:
Paperback
List Price:
USD $10.11
Publisher:
Blurb
Publication Date:
Aug 2014

Vaderlandsche Legende - Primary Source Edition
Author:
Hol, Rijk
ISBN:
978-1-295-26697-5
Book Format:
Paperback
List Price:
AUD $32.99
Publisher:
Creative Media Partners, LLC
Publication Date:
Nov 2013
1 2 3 4 5 Next