GetTextbooks.com
 Compare Price & Save up to 90%
Search by multiple ISBN, single ISBN, title, author, etc ...

  

Searching ...
0 %





Trustworthy Global Computing
4th International Symposium, T.G.C. 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (Lecture Notes in . . . Computer Science and General Issues)
by Christos Kaklamanis, Flemming Nielson
Paperback, 217 Pages, Published 2009 by Springer
ISBN-13: 978-3-642-00944-0, ISBN: 3-642-00944-1






Lecture Notes in Computer Science
Trustworthy Global Computing : 4Th International Symposium, Tgc 2008, Barcelona, Spain, November 3-4, 2008: Revised Selected Papers 5474
by Christos Kaklamanis, Flemming Nielson
217 Pages, Published 2009 by Springer
ISBN-13: 978-3-642-00945-7, ISBN: 3-642-00945-X






Principles of Security and Trust
(Paperback)
by Flemming Nielson, David Sands
Paperback, Published 2020 by Saint Philip Street Press, United States
ISBN-13: 978-1-01-327128-1, ISBN: 1-01-327128-9






Monographs in Computer Science Ser.
ML with Concurrency : Design, Analysis, Implementation, and Application
by Flemming Nielson
255 Pages, Published 2012 by Springer Science & Business Media
ISBN-13: 978-1-4612-2274-3, ISBN: 1-4612-2274-5






Cambridge Tracts in Theoretical Computer Science Ser.
Two-Level Functional Languages
by Flemming Nielson, Hanne Riis Nielson
Published 2011
ISBN-13: 978-0-511-87908-1, ISBN: 0-511-87908-3






Cambridge Tracts in Theoretical Computer Science Ser.
Two-Level Functional Languages
by Flemming Nielson
Published 2009
ISBN-13: 978-0-511-52657-2, ISBN: 0-511-52657-1






Undergraduate Topics in Computer Science Ser.
Semantics with Applications : An Appetizer
by Flemming Nielson, Hanne Riis Nielson
274 Pages, Published 2007 by Springer
ISBN-13: 978-1-84628-692-6, ISBN: 1-84628-692-1






Two-Level Functional Languages(Updated)
(Cambridge Tracts in Theoretical Computer Science)
by Flemming Nielson, Hanne Riis Nielson
Paperback, 312 Pages, Published 2005 by Cambridge University Press
ISBN-13: 978-0-521-01847-0, ISBN: 0-521-01847-1






Type and Effect Systems
Behaviours for Concurrency
by Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
Published 1999
ISBN-13: 978-1-299-61546-5, ISBN: 1-299-61546-5






Type and Effect Systems
Behaviours for Concurrency
by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
Hardcover, 268 Pages, Published 1999 by Imperial College Pr
ISBN-13: 978-1-86094-154-2, ISBN: 1-86094-154-0






Type and Effect Systems
Behaviours for Concurrency
by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
268 Pages, Published 1999 by World Scientific
ISBN-13: 978-1-78326-211-3, ISBN: 1-78326-211-7






Semantics with Applications
An Appetizer (Undergraduate Topics in Computer Science)
by Hanne Riis Nielson, Flemming Nielson, Murthy C. R.
Paperback, 274 Pages, Published 2007 by Springer
ISBN-13: 978-1-84628-691-9, ISBN: 1-84628-691-3






Two-Level Functional Languages(1st Edition)
(Cambridge Tracts in Theoretical Computer Science)
by Flemming Nielson, Hanne Riis Nielson
Hardcover, 312 Pages, Published 1992 by Cambridge University Press
ISBN-13: 978-0-521-40384-9, ISBN: 0-521-40384-7






Semantics With Applications
A Formal Introduction (Wiley Professional Computing)
by Hanne Riis Nielson, Flemming Nielson
Paperback, 240 Pages, Published 1992 by John Wiley & Sons Inc
ISBN-13: 978-0-471-92980-2, ISBN: 0-471-92980-8






ML with Concurrency(Reprint)
Design, Analysis, Implementation, and Application (Monographs in Computer Science)
by Flemming Nielson
Paperback, 255 Pages, Published 1997 by Springer
ISBN-13: 978-1-4612-7483-4, ISBN: 1-4612-7483-4






ML with Concurrency
Design, Analysis, Implementation, and Application (Monographs in Computer Science)
by Flemming Nielson
Hardcover, 255 Pages, Published 1996 by Springer
ISBN-13: 978-0-387-94875-1, ISBN: 0-387-94875-9






Formal Methods(1st Edition)
An Appetizer
by Flemming Nielson, Hanne Riis Nielson
Hardcover, 160 Pages, Published 2019 by Springer
ISBN-13: 978-3-030-05155-6, ISBN: 3-030-05155-2






Principles of Program Analysis
by Flemming Nielson, Hanne R. Nielson, Chris Hankin
452 Pages, Published 2015 by Springer
ISBN-13: 978-3-662-03811-6, ISBN: 3-662-03811-0






Principles of Program Analysis
by Flemming Nielson, Chris Hankin, Hanne Riis Nielson
Paperback, 452 Pages, Published 2010 by Springer
ISBN-13: 978-3-642-08474-4, ISBN: 3-642-08474-5






Principles of Program Analysis
by Flemming Nielson, Chris Hankin, Hanne Riis Nielson, H.R.
Hardcover, 452 Pages, Published 2004 by Springer
ISBN-13: 978-3-540-65410-0, ISBN: 3-540-65410-0



Continue Search >>

All Authors

Flemming Nielson

Hanne Riis Nielson

Torben Amtoft

Christos Kaklamanis

David Sands

Chris Hankin

Murthy

Hanne Nielson


All Bindings

Unknown

Paperback

Hardcover


All Editions

1st Edition

Other

Reprint

Updated


All Years

2019 - 2020

2013 - 2016

2010 - 2013

2007 - 2010

2004 - 2007

1998 - 2001

1995 - 1998

1992 - 1995


All Regions

English

German




Home | iPhone App | Sell Books | Browse | Professors | Webmasters

[ Canada | United Kingdom | Germany | India ]

[ CDs | DVDs ]

Copyright © 2003-2024 GetTextbooks.com