|
|
361. |
Tutorial, automated tools for software engineering : initially presented at COMPSAC # 79 /
Publication:
New York : IEEE Computer Society : Institute of Electrical and Electronics Engineers, 1979
. VII, 262 p. :
28 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
362. |
Real time languages : design and development /
by Young, Stephen
Publication:
Chichester, [West Susses] : E. Horwood ; New York : Halsted Press, 1982
. 352 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
363. |
Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages /
Publication:
Amsterdam ; New York : North-Holland Pub. Co., 1981
. XXVI, 431 p. :
23 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
364. |
Software engineering : analysis and verification /
by Lewis, Theodore Gyle
Publication:
Reston : Reston Pub. Co., 1982
. X, 470 p. :
25 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
365. |
Programming in ADA /
by Barnes, John Gilbert Presslie
Publication:
London ; Reading (Mass.) : Addison-Wesley Pub. Co., 1982
. X, 340 p. ;
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
366. |
Program flow analysis : theory and applications /
by Muchnick, Stephen S.
Publication:
Englewood Cliffs : Prentice-Hall, 1981
. XVII, 418 p. :
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
367. |
Stochastic optimal control : the discrete time case /
by Bertsekas, Dimitri P.
Publication:
New York : Academic Press, 1978
. XIII, 323 p. ;
24 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
368. |
Programming in Prolog /
by Clocksin, William F.
Publication:
Berlin ; New York : Springer-Verlag, 1981
. XII, 279 p. :
25 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
369. |
Towards a formal description of Ada /
Publication:
Berlin : Springer-Verlag, 1980
. XII, 630 p. ;
25 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
370. |
Artificial intelligence programming /
by Charniak, Eugene
Publication:
Hillsdale : Lawrence Erlbaum Associates Publishers, 1980
. XII, 323 p. ;
24 cm.
Date:1980
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
371. |
An introduction to the general theory of algorithms /
by Machtey, Michael
Publication:
New York : North-Holland, 1978
. VII, 264 p. ;
24 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
372. |
Pascal programming /
by Atkinson, Laurence
Publication:
Chichester ; New York : J. Wiley, 1980
. X, 428 p. ;
23 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
373. |
Programming manual for the ion trap detector /
Publication:
San Jose : Finnigan Corporation, 1987
. 1 contenitore (varie sequenze) ;
23 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
374. |
Research directions in software technology /
Publication:
Cambridge, (Mass.) : The MIT Press, 1979
. XIII, 896 p. :
23 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
375. |
Principles of business computer programming /
by Breckner, David
Publication:
Englewood Cliffs : Prentice-Hall, 1970
. IX, 197 p. :
24 cm.
Date:1970
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
376. |
Computational methods in structural and continuum mechanics /
by Ross, C. T. F.
Publication:
Chichester : Ellis Horwood Limited, 1982
. 176 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
377. |
International Symposium on Programming : proceedings of the Fourth Colloque international sur la programmation, Paris, 22-24 April 1980 /
Publication:
Berlin : Springer-Verlag, 1980
. VII, 341 p. ;
24 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
378. |
Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /
Publication:
Berlin : Springer-Verlag, 1980
. XI, 566 p. :
25 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
379. |
Programming in C : guida allo sviluppo di applicazioni professionali con il linguaggio C /
by Schustack, Steve
Publication:
Milano : Mondadori, 1986
. XIII, 334 p. ;
, Traduzione a cura di Michele Pacifico
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
380. |
Microsoft windows : software development Kit : guide programming version 3.0 for the MS-DOS and PC-DOS operating system /
Publication:
[Canada] : Microsoft Corporation, 1990
. (paginazione varia) :
23 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|