GreenData Ebooks Resultados de búsquedas

3501. Programs, Recursion and Unbounded Choice

Hesselink

Cambridge University Press

E-ISBN: 9780511569784 ISBN: 9780521018296

3502. Predicate Transformer Semantics

Manes

Cambridge University Press

E-ISBN: 9780511569821 ISBN: 9780521616102

3503. Action Semantics

Mosses

Cambridge University Press

E-ISBN: 9780511569869 ISBN: 9780521619332

3504. Two-Level Functional Languages

Nielson; Nielson

Cambridge University Press

E-ISBN: 9780511526572; 9780521403849 ISBN: 9780521018470

3505. Making Them Move. Mechanics, Control & Animation of Articulated Figures

Badler , Norman

Routledge

ISBN: 9780080510729

3506. Policies & Procedures for Data Security: A Complete Manual for Computer Systems and Networks.

Peltier , Thomas

CRC Press

ISBN: 9780429080975

3507. The VDM-SL Reference Guide.

Dawes , John

CRC Press

ISBN: 9780429180873

3508. Telecommunications and Networking.

Pooch , Udo W.

CRC Press

ISBN: 9781351077101

3509. A Unifying Framework for Structured Analysis and Design Models

Tse

Cambridge University Press

E-ISBN: 9780511569890; 9780521391962 ISBN: 9780521117876

3510. Discrete Mathematics

Piff

Cambridge University Press

E-ISBN: 9781139172332 ISBN: 9780521386227

3511. Nets, Terms and Formulas

Olderog

Cambridge University Press

E-ISBN: 9780511526589; 9780521400442 ISBN: 9780521018456

3512. Compiling with Continuations

Appel

Cambridge University Press

E-ISBN: 9780511609619 ISBN: 9780521033114

3513. Infinite Electrical Networks

Zemanian

Cambridge University Press

E-ISBN: 9780511895432; 9780521401531 ISBN: 9780521063395

3514. Project Factorisations in Partial Evaluation

Launchbury

Cambridge University Press

E-ISBN: 9780511569814 ISBN:

3515. Design Theory and Computer Science

Dasgupta

Cambridge University Press

E-ISBN: 9780511608896; 9780521390217 ISBN: 9780521118156

3516. Logical Frameworks

Huet; Plotkin

Cambridge University Press

E-ISBN: 9780511569807; 9780521413008 ISBN:

3517. A Theory of Computer Semiotics

Andersen

Cambridge University Press

E-ISBN: 9780511665660; 9780521393362 ISBN: 9780521448680

3518. Three-Dimensional Integrated Circuit Layout

Harter

Cambridge University Press

E-ISBN: 9780511666384; 9780521416306 ISBN: 9780521118163

3519. Compact Numerical Methods for Computers. Linear Algebra and Function Minimisation

Nash , John C.

Routledge

ISBN: 9781315139784

3520. Problem Solving With Prolog.

Stobo , John

CRC Press

ISBN: 9781315272825

3521. A Practical Guide To X Window Programming. Developing Applications with the XT Intrinsics and OSF/Motif

Keller , Brian J.

CRC Press

ISBN: 9781351069403

3522. Applications of Process Algebra

Baeten

Cambridge University Press

E-ISBN: 9780511608841 ISBN: 9780521607506

3523. Theoretical Foundations of VLSI Design

McEvoy; Tucker

Cambridge University Press

E-ISBN: 9780511569838 ISBN: 9780521545655

3524. The Foundations of Artificial Intelligence

Partridge; Wilks

Cambridge University Press

E-ISBN: 9780511663116 ISBN: 9780521359443

3525. Number Theory and Cryptography

Loxton

Cambridge University Press

E-ISBN: 9781107325838 ISBN: 9780521398770

3526. Distributed Ada: Developments and Experiences

Bishop

Cambridge University Press

E-ISBN: 9780511526541; 9780521392518 ISBN:

3527. Formal Semantics and Pragmatics for Natural Language Querying

Clifford

Cambridge University Press

E-ISBN: 9780511569753 ISBN: 9780521602747

3528. Updating Logical Databases

Winslett

Cambridge University Press

E-ISBN: 9780511663109 ISBN: 9780521619721

3529. Semantic Processing for Finite Domains

Palmer

Cambridge University Press

E-ISBN: 9780511554414; 9780521362269 ISBN: 9780521024037

3530. Process Algebra

Baeten; Weijland

Cambridge University Press

E-ISBN: 9780511624193 ISBN:

3531. Microcomputers and Mathematics

Bruce; Giblin; Rippon

Cambridge University Press

E-ISBN: 9781139172264 ISBN: 9780521312387

3532. Packet Switching And X.25 Networks.

Poulton , Simon

CRC Press

ISBN: 9780429080760

3533. The Professional Programmers Guide To C.

McKay , Pat

CRC Press

ISBN: 9780429229206

3534. The Industrialization of Intelligence. Mind and Machine in the Modern Age

Kennedy , Noah

Routledge

ISBN: 9781351164887

3535. Algorithmic Algebraic Number Theory

Pohst; Zassenhaus

Cambridge University Press

E-ISBN: 9780511661952 ISBN: 9780521596695

3536. Modeling Brain Function

Amit

Cambridge University Press

E-ISBN: 9780511623257 ISBN: 9780521421249

3537. Information Technology

Laver

Cambridge University Press

E-ISBN: 9781139163668; 9780521350358 ISBN: 9780521359252

3538. Teaching and Learning Computer Programming. Multiple Research Perspectives

Mayer , Richard E.

Routledge

ISBN: 9781315044347

3539. Programmed Capitalism: Computer-mediated Global Society. Computer-mediated Global Society

Estabrooks , Maurice

Routledge

ISBN: 9781315493138

3540. Linear Least Squares Computations.

Farebrother

Routledge

ISBN: 9780203748923

3541. Information Technology And Organisational Change.

Eason , K.D.

CRC Press

ISBN: 9780429176203

3542. Computer Systems Engineering Management.

Alford , Robert S.

CRC Press

ISBN: 9781351070829

3543. Computer Psychotherapy Systems. Theory and Research Foundations

Wagman , Morton

Routledge

ISBN: 9781351062909

3544. Computer Simulation in Brain Science

Cotterill

Cambridge University Press

E-ISBN: 9780511983467; 9780521341790 ISBN: 9780521061186

3545. Systemic Text Generation as Problem Solving

Patten

Cambridge University Press

E-ISBN: 9780511665646; 9780521350761 ISBN: 9780521039260

3546. Statistical Inference for Spatial Processes

Ripley

Cambridge University Press

E-ISBN: 9780511624131 ISBN: 9780521424202

3547. Algorithmic and Geometric Aspects of Robotics (Routledge Revivals).

Schwartz , Jacob T.

Routledge

ISBN: 9781315471457

3548. Artificial Intelligence. The Case Against

Born , Rainer

Routledge

ISBN: 9781351141529

3549. The Question of Artificial Intelligence. Philosophical and Sociological Perspectives

Bloomfield , Brian P.

Routledge

ISBN: 9780429505331

3550. Illustrating Pascal

Alcock

Cambridge University Press

E-ISBN: 9780511624186 ISBN: 9780521336956

Refinar resultados

Colección

Autor

Materia

Fecha de publicación

Búsqueda

Resultados de búsquedas

3501. Programs, Recursion and Unbounded Choice

3502. Predicate Transformer Semantics

3503. Action Semantics

3504. Two-Level Functional Languages

3505. Making Them Move. Mechanics, Control & Animation of Articulated Figures

3506. Policies & Procedures for Data Security: A Complete Manual for Computer Systems and Networks.

3507. The VDM-SL Reference Guide.

3508. Telecommunications and Networking.

3509. A Unifying Framework for Structured Analysis and Design Models

3510. Discrete Mathematics

3511. Nets, Terms and Formulas

3512. Compiling with Continuations

3513. Infinite Electrical Networks

3514. Project Factorisations in Partial Evaluation

3515. Design Theory and Computer Science

3516. Logical Frameworks

3517. A Theory of Computer Semiotics

3518. Three-Dimensional Integrated Circuit Layout

3519. Compact Numerical Methods for Computers. Linear Algebra and Function Minimisation

3520. Problem Solving With Prolog.

3521. A Practical Guide To X Window Programming. Developing Applications with the XT Intrinsics and OSF/Motif

3522. Applications of Process Algebra

3523. Theoretical Foundations of VLSI Design

3524. The Foundations of Artificial Intelligence

3525. Number Theory and Cryptography

3526. Distributed Ada: Developments and Experiences

3527. Formal Semantics and Pragmatics for Natural Language Querying

3528. Updating Logical Databases

3529. Semantic Processing for Finite Domains

3530. Process Algebra

3531. Microcomputers and Mathematics

3532. Packet Switching And X.25 Networks.

3533. The Professional Programmers Guide To C.

3534. The Industrialization of Intelligence. Mind and Machine in the Modern Age

3535. Algorithmic Algebraic Number Theory

3536. Modeling Brain Function

3537. Information Technology

3538. Teaching and Learning Computer Programming. Multiple Research Perspectives

3539. Programmed Capitalism: Computer-mediated Global Society. Computer-mediated Global Society

3540. Linear Least Squares Computations.

3541. Information Technology And Organisational Change.

3542. Computer Systems Engineering Management.

3543. Computer Psychotherapy Systems. Theory and Research Foundations

3544. Computer Simulation in Brain Science

3545. Systemic Text Generation as Problem Solving

3546. Statistical Inference for Spatial Processes

3547. Algorithmic and Geometric Aspects of Robotics (Routledge Revivals).

3548. Artificial Intelligence. The Case Against

3549. The Question of Artificial Intelligence. Philosophical and Sociological Perspectives

3550. Illustrating Pascal