-
1Optimization Techniques [electronic resource] : Proceedings of the 8th IFIP Conference on Optimization Techniques Würzburg, September 5–9, 1977 / Optimization Techniques [electronic resource] : Proceedings of the 8th IFIP Conference on Optimization Techniques Würzburg, September 5–9, 1977 /Texto bibliotecaCOLPOS
-
2Optimization Techniques [electronic resource] : Proceedings of the 8th IFIP Conference on Optimization Techniques Würzburg, September 5–9, 1977 / Optimization Techniques [electronic resource] : Proceedings of the 8th IFIP Conference on Optimization Techniques Würzburg, September 5–9, 1977 /Texto bibliotecaCOLPOS
-
3Optimal Control [electronic resource] : Calculus of Variations, Optimal Control Theory and Numerical Methods / Optimal Control [electronic resource] : Calculus of Variations, Optimal Control Theory and Numerical Methods /by Bulirsch, R. editor., Miele, A. editor., Stoer, J. editor., Well, K. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
4Optimal Control [electronic resource] : Calculus of Variations, Optimal Control Theory and Numerical Methods / Optimal Control [electronic resource] : Calculus of Variations, Optimal Control Theory and Numerical Methods /by Bulirsch, R. editor., Miele, A. editor., Stoer, J. editor., Well, K. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
5The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense / The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense /by Brauer, W. editor., Hansen, P. Brinch. editor., Gries, D. editor., Moler, C. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., SpringerLink (Online service)
Published 1980Texto bibliotecaCOLPOS -
6The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense / The Programming Language Ada [electronic resource] : Reference Manual Proposed Standard Document United States Department of Defense /by Brauer, W. editor., Hansen, P. Brinch. editor., Gries, D. editor., Moler, C. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., SpringerLink (Online service)
Published 1980Texto bibliotecaCOLPOS -
7Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings / Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings /by Brauer, W. editor., Hansen, P. Brinch. editor., Gries, D. editor., Moler, C. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Händler, Wolfgang. editor., SpringerLink (Online service)
Published 1981Texto bibliotecaCOLPOS -
8Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings / Conpar 81 [electronic resource] : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings /by Brauer, W. editor., Hansen, P. Brinch. editor., Gries, D. editor., Moler, C. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Händler, Wolfgang. editor., SpringerLink (Online service)
Published 1981Texto bibliotecaCOLPOS -
9Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /... Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /...by Barstow, D. editor., Brauer, W. editor., Brinch Hansen, P. editor., Gries, D. editor., Luckham, D. editor., Moler, C. editor., Pnueli, A. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Günther, Christoph G. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
10Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /... Advances in Cryptology — EUROCRYPT ’88 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings /...by Barstow, D. editor., Brauer, W. editor., Brinch Hansen, P. editor., Gries, D. editor., Luckham, D. editor., Moler, C. editor., Pnueli, A. editor., Seegmüller, G. editor., Stoer, J. editor., Wirth, N. editor., Günther, Christoph G. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS