A to Z List of eBooks

Title Author Publisher Subject Year ISBN/e-ISBN URL
Computer Aided Systems Theory — CAST '94

George J. Klir, Tuncer I. Ören

Springer

Computer Science

1996

978-3-540-61478-4

http://dx.doi.org/10.1007/3-540-61478-8
Computer Aided Systems Theory — EUROCAST '89

F. Pichler, R. Moreno-Diaz

Springer

Computer Science

1990

978-3-540-52215-7

http://dx.doi.org/10.1007/3-540-52215-8
Computer Aided Systems Theory — EUROCAST '91

Franz Pichler, Roberto Moreno Díaz

Springer

Computer Science

1992

978-3-540-55354-0

http://dx.doi.org/10.1007/BFb0021000
Computer Aided Systems Theory — EUROCAST '93

Franz Pichler, Roberto Moreno Díaz

Springer

Computer Science

1994

978-3-540-57601-3

http://dx.doi.org/10.1007/3-540-57601-0
Computer Aided Systems Theory — EUROCAST '95

Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht

Springer

Computer Science

1995

978-3-540-60748-9

http://dx.doi.org/10.1007/BFb0034745
Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg

Kim G. Larsen, Arne Skou

Springer

Computer Science

1992

978-3-540-55179-9

http://dx.doi.org/10.1007/3-540-55179-4
Computer Aided Verification: 5th International Conference, CAV '93 Elounda

Costas Courcoubetis

Springer

Computer Science

1993

978-3-540-56922-0

http://dx.doi.org/10.1007/3-540-56922-7
Computer Aided Verification: 6th International Conference, CAV '94 Stanford

David L. Dill

Springer

Computer Science

1994

978-3-540-58179-6

http://dx.doi.org/10.1007/3-540-58179-0
Computer Aided Verification: 7th International Conference, CAV '95 Liège

Pierre Wolper

Springer

Computer Science

1995

978-3-540-60045-9

http://dx.doi.org/10.1007/3-540-60045-0
Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick

Rajeev Alur, Thomas A. Henzinger

Springer

Computer Science

1996

978-3-540-61474-6

http://dx.doi.org/10.1007/3-540-61474-5
Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal

Gregor Bochmann, David Karl Probst

Springer

Computer Science

1993

978-3-540-56496-6

http://dx.doi.org/10.1007/3-540-56496-9
Computer Algebra and Parallelism

Richard E. Zippel

Springer

Computer Science

1992

978-3-540-55328-1

http://dx.doi.org/10.1007/3-540-55328-2
Computer Algebra in Scientific Computing

François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov

Springer

Computer Science

2020

978-3-030-60026-6

http://link.springer.com/openurl?genre=book&isbn=978-3-030-60026-6
Computer Algebra: EUROCAL'83, European Computer Algebra Conference London

J. A. Hulzen

Springer

Computer Science

1983

978-3-540-12868-7

http://dx.doi.org/10.1007/3-540-12868-9
Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille

Jacques Calmet

Springer

Computer Science

1982

978-3-540-11607-3

http://dx.doi.org/10.1007/3-540-11607-9
Computer Analysis of Images and Patterns: 5th International Conference, CAIP'93 Budapest

Dmitry Chetverikov, Walter G. Kropatsch

Springer

Computer Science

1993

978-3-540-57233-6

http://dx.doi.org/10.1007/3-540-57233-3
Computer Analysis of Images and Patterns: 6th International Conference, CAIP '95 Prague

Václav Hlaváč, Radim Šára

Springer

Computer Science

1995

978-3-540-60268-2

http://dx.doi.org/10.1007/3-540-60268-2
Computer Animation and Social Agents

Feng Tian, Xiaosong Yang, Daniel Thalmann, Weiwei Xu, Jian Jun Zhang, Nadia Magnenat Thalmann, Jian Chang

Springer

Computer Science

2020

978-3-030-63426-1

http://link.springer.com/openurl?genre=book&isbn=978-3-030-63426-1
Computer architecture

Patterson hennessy

Elsevier

2006

https://ebookcentral.proquest.com/lib/iitdelhi/detail.action?docID=291660&query=
Computer Architecture Performance Evaluation Methods

Eeckhout

Morgan & Claypool

Computing and Processing

2010

9781608454686

https://ieeexplore.ieee.org/servlet/opac?bknumber=6813138