ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Stee, R. van Minimizing the total completion time on-line on a single machine, using restars / R. vanStee,J.A.La Poutre. - Amsterdam : [s. n.], 2002. - 32 p. : ill. - (Report:Software engineering / CWI ; SEN-R0211). - Текст : непосредственный.
Библиогр.:с. 32
Доп. точки доступа:
La Poutre, J.A.
Centrum voor wiskunde en informatica (Amsterdam)

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R0211)

Шифр в сводном ЭК: 4b09fd11ff3adc477dd8794b269dc518

Bragt D.D.B.van Equilibrium selection in alternating-offers bargaining models - the evolutionary computing approach / D. D.B.van Bragt, E. H. Gerding, J. A. La Poutre, 2000. - 25 p. - Текст : непосредственный.Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 p. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

Transmission function models of infinite population genetic algorithms / C.H.M.van Kemenade,J.N.Kok,J.A.La Poutre,D.Thierens, 1998. - 22 p. - Текст : непосредственный.Transmission function models of finite population genetic algorithms / C.H.M.van Kemenade,J.N.Kok,J.A.La Poutre,D.Thierens, 1998. - 30 p. - Текст : непосредственный.Stee R.van Running a job on a collection of dynamic machines, with on-line restarts / R.van Stee,J.A.La Poutre, 1998. - 20 p. - Текст : непосредственный.Gerding E.H. Multi-issue negotiation processes by evolutionary simulation: validation and social extensions / E.H.Gerding,D.D.B. van Bragt,J.A.La Poutre, 2000. - 21 p. - Текст : непосредственный.Gerding E.H. Scientific approaches and techniques for negotiation. A game theoretic and artifical intelligence perspective / E.H.Gerding,D.D.B.van Bragt,J.A.La Poutre, 2000. - 19 p. - Текст : непосредственный.Stee R. van Partial servicing of on-line jobs / R. van Stee,J.A.La Pourte, 2000. - 19 p. - Текст : непосредственный.Epstein L. New results on flow time with resource augmentation / L.Epstein,R. van Stee, 2000. - 12 p. - Текст : непосредственный.Azar Y. Resource augmentation in load balancing / Y.Azar,L.Epstein,R. van Stee, 1999. - 12 p. - Текст : непосредственный.van Bragt D.D.B. Why agents for automated negotiations should be adaptive / D.D.B. van Bragt,J.A.La Poutre, 2002. - 14 p. - Текст : непосредственный.An algorithm for on-line price discrimination / D.D.B. van Bragt,D.J.A.Somefun,E.Kutschinski,J.A.La Poutre, 2002. - 14 p. - Текст : непосредственный.Bohte S.M. Unsupervised clustering with spiking neurons by sparse temporal coding and multi-layer RBF networks / S.M.Bohte,J.A.La Poutre,J.N.Kok, 2000. - 14 p. - Текст : непосредственный.Bohte S.M. Error-backpropagation in temporally encoded networks of spiking neurons / S.M.Bohte,J.A.La Poutre,J.N.Kok, 2000. - 18 p. - Текст : непосредственный.Alkemade F. Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system / F.Alkemade,D.D.B.van Bragt,J.A.La Poutre, 2000. - 11 p. - Текст : непосредственный.Epstein L. Lower bounds for on-line single-machine scheduling / L.Epstein,R.van Stee, 2001. - 12 p. - Текст : непосредственный.Epstein L. On the fractal beauty of bin packing / L.Epstein,S.Seiden,R.van Stee, 2001. - 18 p. - Текст : непосредственный.Epstein L. Minimizing the maximum starting time on-line / L.Epstein,R.vanStee, 2001. - 13 p. - Текст : непосредственный.Seiden S. New bounds for multi-dimensional packing / S.Seiden,R.vanStee, 2001. - 27 p. - Текст : непосредственный.

Показать все результаты

Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный.Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный.Bragt D.D.B.van Equilibrium selection in alternating-offers bargaining models - the evolutionary computing approach / D. D.B.van Bragt, E. H. Gerding, J. A. La Poutre, 2000. - 25 p. - Текст : непосредственный.Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный.Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный.Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный.Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный.Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K. E. Shahroudi, 1997. - 14 p. - Текст : непосредственный.Zavattaro G. On the incomparability of Gamma and Linda / G. Zavattaro, 1998. - 12 p. - Текст : непосредственный.Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный.transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный.Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный.Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 p. - Текст : непосредственный.Deursen A.van Type inference for COBOL systems / A.van Deursen, L. Moonen, 1998. - 12 p. - Текст : непосредственный.Deursen A.van Identifying objects using cluster and concept analysis / A.van Deursen, T. Kuipers, 1998. - 19 p. - Текст : непосредственный.Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный.Mulder J.D. survey of computational steering environments / J. D. Mulder, J. J.van Wijk, R.van Liere, 1998. - 13 p. - Текст : непосредственный.Mulder J.D. Pixel masks for screen-door transparency / J. D. Mulder, F. C.A. Groen, J. J.van Wijk, 1998. - 15 p. - Текст : непосредственный.Mulder J.D. Computational steering in the CAVE / J. D. Mulder, R.van Liere, J. J.van Wijk, 1998. - 9 p. - Текст : непосредственный.

Показать все результаты

Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный.Hemker P.W. Fourier two-level analysis for discontinuous Galerkin discretization with linear elements / P. W. Hemker, W. Hoffmann, M.H. van Raalte, 2002. - 19 p. - Текст : непосредственный.Hunt G.W. Cylindrical shell buckling: a characterization of localization and periodicity / G. W. Hunt, G. J. Lord, M. A. Peletier, 2002. - 18 p. - Текст : непосредственный.Williams H.C. New computations concerning the Cohen-Lenstra heuristics / H. C. Williams, H.J.J. te Riele, 2002. - 20 p. - Текст : непосредственный.Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный.Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный.Report:Computer science / CWI. CS-R8957 : Strong completeness for Hoare logics of recursive processes: an infinitary approach / A.Ponse,F.J.de Vries, 1989. - 36 p. - Текст : непосредственный.Report:Computer science / CWI. CS-R8947 : Components,frameworks and GKS input / D.A.Duce,R.van Liere,P.J.W.ten Hagen, 1989. - 16 p. - Текст : непосредственный.Report:Computer science / CWI. CS-R9028 : Process algebra with a zero object / J.C.M.Baeten,J.A.Bergstra, 1990. - 14 p. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Показать все результаты

Stee R. van Minimizing the total completion time on-line on a single machine, using restars / R. vanStee,J.A.La Poutre, 2002. - 32 p. - Текст : непосредственный.

Заказ фрагмента документа ₽