Your search returned 1706 results.

Not what you expected? Check for suggestions
401.
Computation Theory

by Andrzej Skowron.

Series: Lecture Notes in Computer ScienceEdition: 1985Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1985Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

402.
Computation Theory and Logic

by Egon Börger.

Series: Lecture Notes in Computer ScienceEdition: 1987Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

403.
Computational Aspects of an Order-Sorted Logic with Term Declarations

by Manfred Schmidt-Schauß.

Series: Lecture Notes in Computer ScienceEdition: 1989Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

404.
Computational Geometry and its Applications

by Hartmut Noltemeier.

Series: Lecture Notes in Computer ScienceEdition: 1988Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1988Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

405.
Computational Geometry - Methods, Algorithms and Applications

by Hanspeter Bieri, Hartmut Noltemeier.

Series: Lecture Notes in Computer ScienceEdition: 1991Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

406.
Computational Intelligence. Theory and Applications

by Bernd Reusch.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

407.
Computational Intelligence: Theory and Applications

by Bernd Reusch.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

408.
Computational Learning Theory

by Paul Fischer, Hans U. Simon.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

409.
Computational Learning Theory

by Paul Vitanyi.

Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

410.
Computational Learning Theory

by Shai Ben-David.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

411.
Computational Logic and Proof Theory

by Georg Gottlob, Alexander Leitsch, Daniele Mundici.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

412.
Computational Logic and Proof Theory

by Georg Gottlob, Alexander Leitsch, Daniele Mundici.

Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

413.
Computer-Aided Cooperative Product Development

by Duvvuru Sriram, Robert Logcher, Shuichi Fukuda.

Series: Lecture Notes in Computer ScienceEdition: 1991Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

414.
Computer Aided Design Modelling, Systems Engineering, CAD-Systems

by J. Encarnacao.

Series: Lecture Notes in Computer ScienceEdition: 1980Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1980Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

415.
Computer Aided Learning and Instruction in Science and Engineering

by Arantza Diaz de Ilarraza Sanchez, Isabel Fernandez de Castro.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

416.
Computer Aided Systems Theory - CAST '94

by Tuncer I. Ören, George J. Klir.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

417.
Computer Aided Systems Theory - EUROCAST '89

by Franz Pichler, Roberto Moreno-Diaz.

Series: Lecture Notes in Computer ScienceEdition: 1990Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

418.
Computer Aided Systems Theory - EUROCAST '91

by Franz Pichler, Roberto Moreno Diaz.

Series: Lecture Notes in Computer ScienceEdition: 1992Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1992Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

419.
Computer Aided Systems Theory - EUROCAST '93

by Franz Pichler, Roberto Moreno Diaz.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

420.
Computer Aided Systems Theory - EUROCAST '95

by Franz Pichler, Roberto Moreno-Diaz, Rudolf Albrecht.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .