Home
Add
Open Access Books
Get on Google Play
Click here to donate your five minutes and submit the table of contents of a book.
Search from the table of contents of 2.5 million books
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> N. Cocco
"N. Cocco" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 0 to 0 of 0 entries
Book
Author(s)
Year
Publisher
No data available in table
Boook
Author(s)
Year
Publisher
Showing 0 to 0 of 0 entries
«
‹
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 7 of 7 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Verifying correctness of logic programs
A. Bossi
;
N. Cocco
TAPSOFT ' 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)
Josep Diaz
;
Fernando Orejas
1989
Springer Berlin Heidelberg
Typed norms
A. Bossi
;
N. Cocco
;
M. Fabris
ESOP ' 92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
Bernd Krieg-Brückner
1992
Springer Berlin Heidelberg
Proving termination of logic programs by exploiting term properties
A. Bossi
;
N. Cocco
;
M. Fabris
TAPSOFT ' 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)
S. Abramsky
;
T.S.E. Maibaum
1991
Springer Berlin Heidelberg
Histones Assembly and Their Structural Role for Nucleosome Core
N. M. Maraldi
;
S. Capitani
;
L. Cocco
;
F. A. Manzoli
Chromatin Structure and Function: Levels of Organization and Cell Function Part B
Claudio Nicolini
1979
Springer US
Role of Renal Prostaglandins in Mediating the Activity of Muzolimine in Man
F. Bandiera
;
P. Dessi’-Fulgheri
;
P. Madeddu
;
F. Cocco
;
M. Oppes
;
N. Glorioso et al.
Diuretics: Basic, Pharmacological, and Clinical Aspects: Proceedings of the International Meeting on Diuretics, Sorrento, Italy, May 26–30, 1986
V.E. Andreucci
;
Antonia Dal Canton
1987
Springer US
NGC 4151 and MCG 8-11-11: Two X-Ray Seyfert Galaxies with Strong Soft γ-Ray Emission
L. Bassani
;
R. C. Butler
;
A. J. Dean
;
G. Di Cocco
;
N. A. Dipper
;
F. Perotti et al.
X-Ray Astronomy: Proceedings of the XV ESLAB Symposium held in Amsterdam, The Netherlands, 22–26 June 1981
R.D. Andresen
1981
Springer Netherlands
MAX: a gamma-ray lens for nuclear astrophysics
P. von Ballmoos, H. Halloin, G. K. Skinner, R. K. Smither, J. Paul, N. V. Abrosimov, J. M. Alvarez, P. Astier, P. Bastie, D. Barret, A. Bazzano, A. Boutonnet, P. Brousse, B. Cordier, T. Courvoisier, G. Di Cocco, A. Giuliani, B. Hamelin, M. Hernanz, P. Jean, J. Isern, J. Knodlseder, P. Laurent, F. Lebrun, A. Marcowith, V. Martinot, L. Natalucci, J.-F. Olive, R. Pain, R. Sadat, H. Sainct, P. Ubertini and G. Vedrenne
Optics for EUV, x-ray, and gamma-ray astronomy: 4-7 August 2003, San Diego, California, USA /
Citterio, Oberto.
;
O'Dell, Stephen L.
[2004], ©2004.
SPIE,
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 7 of 7 entries
«
‹
1
›
»