Búsqueda

Buscaste por: Empezar de nuevo Colección Cambridge University Press Eliminar filtro Colección: Cambridge University Press Materia Computer Science Eliminar filtro Materia: Computer Science
| Resultados 601 - 700 de 756 |
Número de resultados a mostrar por páginas

Resultados de búsquedas

601. Theories of Programming Languages
Reynolds
Cambridge University Press
E-ISBN: 9780511626364; 9780521594141 ISBN: 9780521106979
602. Computational Geometry in C
O'Rourke
Cambridge University Press
E-ISBN: 9780511804120 ISBN: 9780521649766
603. The Functional Approach to Programming
Cousineau; Mauny; Callaway
Cambridge University Press
E-ISBN: 9781139173018 ISBN: 9780521576819
604. Algorithmic Geometry
Boissonnat; Yvinec; Bronniman
Cambridge University Press
E-ISBN: 9781139172998 ISBN: 9780521565295
605. Domains and Lambda-Calculi
Amadio; Curien
Cambridge University Press
E-ISBN: 9780511983504; 9780521622776 ISBN: 9780521062923
606. Kinematic Analysis of Robot Manipulators
Crane; III; Duffy
Cambridge University Press
E-ISBN: 9780511530159; 9780521570633 ISBN: 9780521047937
607. Data Refinement
de Roever; Engelhardt
Cambridge University Press
E-ISBN: 9780511663079; 9780521641708 ISBN: 9780521103503
608. Term Rewriting and All That
Baader; Nipkow
Cambridge University Press
E-ISBN: 9781139172752 ISBN: 9780521779203
609. Gröbner Bases and Applications
Buchberger; Winkler
Cambridge University Press
E-ISBN: 9780511565847 ISBN: 9780521632980
610. Digital Systems Engineering
Dally; Poulton
Cambridge University Press
E-ISBN: 9781139166980 ISBN: 9780521061759
611. Biological Sequence Analysis
Durbin et al
Cambridge University Press
E-ISBN: 9780511790492 ISBN: 9780521629713
612. Semantics and Logics of Computation
Pitts; Dybjer
Cambridge University Press
E-ISBN: 9780511526619; 9780521580571 ISBN: 9780521118460
613. Basic Simple Type Theory
Hindley
Cambridge University Press
E-ISBN: 9780511608865; 9780521465182 ISBN: 9780521054225
614. Modern Compiler Implementation in C
Appel; Ginsburg
Cambridge University Press
E-ISBN: 9781139174930 ISBN: 9780521607650
615. Building Object Applications that Work
Ambler
Cambridge University Press
E-ISBN: 9780511584947 ISBN: 9780521648264
616. Combinatorics on Words
Lothaire
Cambridge University Press
E-ISBN: 9780511566097 ISBN: 9780521599245
617. Information Flow
Barwise; Seligman
Cambridge University Press
E-ISBN: 9780511895968; 9780521583862 ISBN: 9780521070997
618. Modern Compiler Implementation in ML
Appel
Cambridge University Press
E-ISBN: 9780511811449 ISBN: 9780521607643
619. Ethics, Computing, and Medicine
Goodman
Cambridge University Press
E-ISBN: 9780511585005 ISBN:
620. Kent Beck's Guide to Better Smalltalk
Beck
Cambridge University Press
E-ISBN: 9780511574979 ISBN: 9780521644372
621. Algorithms on Strings, Trees, and Sequences
Gusfield
Cambridge University Press
E-ISBN: 9780511574931; 9780521585194 ISBN:
622. Paradigms for Fast Parallel Approximability
Díaz et al
Cambridge University Press
E-ISBN: 9780511666407; 9780521431705 ISBN: 9780521117920
623. For the Sake of the Argument
Levi
Cambridge University Press
E-ISBN: 9780511720161; 9780521497138 ISBN: 9780521039017
624. Perception as Bayesian Inference
Knill; Richards
Cambridge University Press
E-ISBN: 9780511984037; 9780521461092 ISBN: 9780521064996
625. Computability, Enumerability, Unsolvability
Cooper; Slaman; Wainer
Cambridge University Press
E-ISBN: 9780511629167 ISBN: 9780521557368
626. Virtual Individuals, Virtual Groups
Oravec
Cambridge University Press
E-ISBN: 9780511574986; 9780521454933 ISBN:
627. Communication Complexity
Kushilevitz; Nisan
Cambridge University Press
E-ISBN: 9780511574948 ISBN: 9780521029834
628. Noisy Information and Computational Complexity
Plaskota
Cambridge University Press
E-ISBN: 9780511600814; 9780521553681 ISBN: 9780521349444
629. Pattern Recognition and Neural Networks
Ripley
Cambridge University Press
E-ISBN: 9780511812651 ISBN: 9780521717700
630. Lisp in Small Pieces
Queinnec; Callaway
Cambridge University Press
E-ISBN: 9781139172974 ISBN: 9780521545662
631. Computing Tomorrow
Wand; Milner
Cambridge University Press
E-ISBN: 9780511605611; 9780521460859 ISBN: 9780521103091
632. A Compositional Approach to Performance Modelling
Hillston
Cambridge University Press
E-ISBN: 9780511569951 ISBN: 9780521673532
633. Finite Fields
Lidl; Niederreiter
Cambridge University Press
E-ISBN: 9780511525926; 9780521392310 ISBN: 9780521065672
634. Statics and Kinematics with Applications to Robotics
Duffy
Cambridge University Press
E-ISBN: 9780511530173; 9780521482134 ISBN: 9780521033985
635. Finite Fields and Applications
Cohen; Niederreiter
Cambridge University Press
E-ISBN: 9780511525988 ISBN: 9780521567367
636. The Way of Z
Jacky
Cambridge University Press
E-ISBN: 9780511574924 ISBN: 9780521559768
637. ML for the Working Programmer
Paulson
Cambridge University Press
E-ISBN: 9780511811326 ISBN: 9780521565431
638. The B-Book
Abrial; Hoare; Chapron
Cambridge University Press
E-ISBN: 9780511624162 ISBN: 9780521021753
639. Protocols by Invariants
Schoone
Cambridge University Press
E-ISBN: 9780511663123 ISBN: 9780521607551
640. The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
Lee
Cambridge University Press
E-ISBN: 9780511526640 ISBN: 9780521542159
641. Axiomatic Domain Theory in Categories of Partial Maps
Fiore
Cambridge University Press
E-ISBN: 9780511526565 ISBN: 9780521602778
642. The Logical Status of Diagrams
Shin
Cambridge University Press
E-ISBN: 9780511574696; 9780521461573 ISBN: 9780521102773
643. Algebraic Set Theory
Joyal; Moerdijk
Cambridge University Press
E-ISBN: 9780511752483 ISBN: 9780521558303
644. An Introduction to Symbolic Dynamics and Coding
Lind; Marcus
Cambridge University Press
E-ISBN: 9780511626302; 9780521551243 ISBN: 9780521559003
645. Information Seeking in Electronic Environments
Marchionini
Cambridge University Press
E-ISBN: 9780511626388 ISBN: 9780521586740
646. Randomized Algorithms
Motwani; Raghavan
Cambridge University Press
E-ISBN: 9780511814075; 9780521474658 ISBN:
647. Advances in Linear Logic
Girard; Lafont; Regnier
Cambridge University Press
E-ISBN: 9780511629150 ISBN: 9780521559614
648. Affine Analysis of Image Sequences
Shapiro
Cambridge University Press
E-ISBN: 9780511526657 ISBN: 9780521019781
649. Free Choice Petri Nets
Desel; Esparza
Cambridge University Press
E-ISBN: 9780511526558 ISBN: 9780521019453
650. Bounded Arithmetic, Propositional Logic and Complexity Theory
Krajicek
Cambridge University Press
E-ISBN: 9780511529948; 9780521452052 ISBN:
651. Epistemic Logic for AI and Computer Science
Meyer; Hoek
Cambridge University Press
E-ISBN: 9780511569852 ISBN: 9780521602808
652. The Uncertain Reasoner's Companion
Paris
Cambridge University Press
E-ISBN: 9780511526596 ISBN: 9780521032728
653. Information Systems Development and Data Modeling
Hirschheim; Klein; Lyytinen
Cambridge University Press
E-ISBN: 9780511895425; 9780521373692 ISBN: 9780521063357
654. Computational Lexical Semantics
Saint-Dizier; Viegas
Cambridge University Press
E-ISBN: 9780511527227; 9780521444101 ISBN: 9780521023207
655. Parallel Computing
Fountain
Cambridge University Press
E-ISBN: 9780511551468; 9780521451314 ISBN: 9780521031899
656. Categories for Types
Crole
Cambridge University Press
E-ISBN: 9781139172707; 9780521450928 ISBN: 9780521457019
657. Qualified Types
Jones
Cambridge University Press
E-ISBN: 9780511663086 ISBN: 9780521543262
658. Creativity in Invention and Design
Dasgupta
Cambridge University Press
E-ISBN: 9780511530135; 9780521430685 ISBN: 9780521068895
659. Abductive Inference
Josephson; Josephson
Cambridge University Press
E-ISBN: 9780511530128; 9780521434614 ISBN: 9780521575454
660. Illustrating C
Alcock
Cambridge University Press
E-ISBN: 9780511624179 ISBN: 9780521468213
661. Mathematical Theory of Domains
Stoltenberg-Hansen; Lindström; Griffor
Cambridge University Press
E-ISBN: 9781139166386 ISBN: 9780521064798
662. Handshake Circuits
Berkel; Rem
Cambridge University Press
E-ISBN: 9780511585777 ISBN: 9780521617154
663. First Steps in Modal Logic
Popkorn
Cambridge University Press
E-ISBN: 9780511983382; 9780521464826 ISBN: 9780521057936
664. Introduction to Finite Fields and their Applications
Lidl; Niederreiter
Cambridge University Press
E-ISBN: 9781139172769; 9780521460941 ISBN:
665. The Muse Method for Usability Engineering
Lim; Long
Cambridge University Press
E-ISBN: 9780511624230; 9780521474948 ISBN: 9780521479998
666. Combinatorics
Cameron
Cambridge University Press
E-ISBN: 9780511803888 ISBN: 9780521457613
667. People and Computers
Cockton; Draper; Weir
Cambridge University Press
E-ISBN: 9780511600821 ISBN: 9780521485579
668. Metamathematics, Machines and Gödel's Proof
Shankar
Cambridge University Press
E-ISBN: 9780511569883 ISBN: 9780521585330
669. Foundations of Parallel Programming
Skillicorn
Cambridge University Press
E-ISBN: 9780511526626 ISBN: 9780521018562
670. Inheritance, Defaults and the Lexicon
Briscoe; Copestake; Paiva
Cambridge University Press
E-ISBN: 9780511663642; 9780521430272 ISBN: 9780521028059
671. Efficient Algorithms for Listing Combinatorial Structures
Goldberg
Cambridge University Press
E-ISBN: 9780511569913; 9780521450218 ISBN: 9780521117883
672. The Computer User as Toolsmith
Greenberg
Cambridge University Press
E-ISBN: 9780511629402; 9780521404303 ISBN:
673. Challenges in Natural Language Processing
Bates; Weischedel
Cambridge University Press
E-ISBN: 9780511659478; 9780521410151 ISBN: 9780521032261
674. Higher Order Logic and Hardware Verification
Melham
Cambridge University Press
E-ISBN: 9780511569845; 9780521417181 ISBN: 9780521115322
675. Proof Theory
Aczel; Simmons; Wainer
Cambridge University Press
E-ISBN: 9780511896262; 9780521414135 ISBN: 9780521054164
676. Information Dispersal and Parallel Computation
Lyuu
Cambridge University Press
E-ISBN: 9780511574955 ISBN: 9780521602792
677. Research and Development in Expert Systems IX
Bramer; Milne
Cambridge University Press
E-ISBN: 9780511569944 ISBN:
678. Complexity: Knots, Colourings and Countings
Welsh
Cambridge University Press
E-ISBN: 9780511752506 ISBN: 9780521457408
679. Algebraic Specification of Communication Protocols
Mauw; Veltink
Cambridge University Press
E-ISBN: 9780511721625 ISBN: 9780521088121
680. Numerical Mathematics
Breuer; Zwas
Cambridge University Press
E-ISBN: 9781139174060; 9780521440400 ISBN:
681. Formal Semantics
Cann
Cambridge University Press
E-ISBN: 9781139166317; 9780521374637 ISBN: 9780521376105
682. The Clausal Theory of Types
Wolfram
Cambridge University Press
E-ISBN: 9780511569906; 9780521395380 ISBN: 9780521117906
683. Specification and Proof in Real Time CSP
Davies
Cambridge University Press
E-ISBN: 9780511569760; 9780521450553 ISBN: 9781107403864
684. Logic Programming
Andrews
Cambridge University Press
E-ISBN: 9780511526534 ISBN: 9780521607544
685. Belief Revision
Gärdenfors
Cambridge University Press
E-ISBN: 9780511526664 ISBN: 9780521545648
686. Categories and Computer Science
Walters
Cambridge University Press
E-ISBN: 9780511608872; 9780521419970 ISBN: 9780521422260
687. Formal Specification and Design
Feijs; Jonkers
Cambridge University Press
E-ISBN: 9780511569777 ISBN: 9780521435925
688. Concurrent Programming
Snow
Cambridge University Press
E-ISBN: 9781139163613 ISBN: 9780521339933
689. Deductive and Declarative Programming
Padawitz
Cambridge University Press
E-ISBN: 9780511569876 ISBN: 9780521032513
690. The Logic of Typed Feature Structures
Carpenter
Cambridge University Press
E-ISBN: 9780511530098 ISBN: 9780521022545
691. Applications of Categories in Computer Science
Fourman; Johnstone; Pitts
Cambridge University Press
E-ISBN: 9780511525902 ISBN: 9780521427265
692. Boolean Function Complexity
Paterson
Cambridge University Press
E-ISBN: 9780511526633 ISBN: 9780521408264
693. Computational Linguistics and Formal Semantics
Rosner; Johnson
Cambridge University Press
E-ISBN: 9780511611803; 9780521419598 ISBN: 9780521429887
694. Programs, Recursion and Unbounded Choice
Hesselink
Cambridge University Press
E-ISBN: 9780511569784 ISBN: 9780521018296
695. Predicate Transformer Semantics
Manes
Cambridge University Press
E-ISBN: 9780511569821 ISBN: 9780521616102
696. Action Semantics
Mosses
Cambridge University Press
E-ISBN: 9780511569869 ISBN: 9780521619332
697. Two-Level Functional Languages
Nielson; Nielson
Cambridge University Press
E-ISBN: 9780511526572; 9780521403849 ISBN: 9780521018470
698. A Unifying Framework for Structured Analysis and Design Models
Tse
Cambridge University Press
E-ISBN: 9780511569890; 9780521391962 ISBN: 9780521117876
699. Discrete Mathematics
Piff
Cambridge University Press
E-ISBN: 9781139172332 ISBN: 9780521386227
700. Nets, Terms and Formulas
Olderog
Cambridge University Press
E-ISBN: 9780511526589; 9780521400442 ISBN: 9780521018456