|
|
|
|
Essentials of constraint programming / Thom Frühwirth, Slim AbdennadherPublication: Berlin : Springer, 2003Description: IX, 144 p. :
il. ;
24 cmAvailability: Items available for loan: [FRÜ. 519.863] (1).
|
|
|
|
|
Basic proof theory / A. S. Troelstra, H. SchwichtenbergPublication: Cambridge : University Press, 2003Description: XII, 417 p. ;
23 cmAvailability: Items available for loan: [TRO. 510.6] (1).
|
|
|
|
|
Relational data mining / Sašo Džeroski, Nada LavračPublication: Berlin : Springer, 2001Description: XIX, 398 p. :
il.Availability: Items available for loan: [DZE. 004.65] (1).
|
|
|
|
|
Programmable logic controllers : principles and applications / John W. Webb, Ronald A. ReisPublication: Upper Saddle River : Prentice Hall, 1999Description: XV, 443 p. : il. ;
24 cm.Availability: Items available for loan: [WEB. 681.5] (1).
|
|
|
|
|
Parallel and constraint logic programming : an introduction to logic, parallelism and constraints / Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias SakellariouPublication: Boston : Kluwer, 1998Description: XIV, 145 p. :
il. ;
24 cmAvailability: Items available for loan: [VLA. 519.85] (1).
|
|
|
|
|
Programming with constraints : an introduction / Kim Marriott, Peter J. StuckeyPublication: Cambridge : The MIT Press, 1998Description: XIV, 467 p. : il. ;
26 cm.Availability: Items available for loan: [MAR. 681.5(007)] (1). Items available for reference: [MAR. 681.5(007)] (1).
|
|
|
|
|
Modelling and methodologies for enterprise integration / Peter Bernus, Laszlo NemesPublication: London : Chapman & Hall, 1996Description: X, 453 p. :
il. ;
24 cm.Availability: Items available for loan: [BER. 658] (1).
|
|
|
|
|
Prolog : the standard ; reference manual / P. Deransart, A. Ed-Dbali, L. Cervoni ; forew. C. Biro ; pref. R. S. ScowenPublication: Berlin : Springer, 1996Description: XIV, 272 p. :
il.Availability: Items available for loan: [DER. 004.43Prolog] (1).
|
|
|
|
|
Mathematical logic / H. D. Ebbinghaus... [et al.]Publication: New York : Springer, 1994Description: X, 289 p. : il. ;
24 cmAvailability: Items available for loan: [EBB. 510.6] (1).
|
|
|
|
|
From logic to logic programming / Kees DoetsPublication: Cambridge : The MIT Press, 1994Description: XII, 214 p. :
il.Availability: Items available for loan: [DOE. 004.8] (1). Items available for reference: [DOE. 004.8] (1).
|
|
|
|
|
Computation as logic / René Lalement ; trad. John PlaicePublication: Paris : Masson, 1993Description: XI, 387 p. :
il.Availability: Items available for loan: [LAL. 004.42] (1).
|
|
|
|
|
VHDL for programmable logic / Kevin SkahillPublication: Reading : Addison-Wesley, 1996Description: XIV, 593 p. :
il. ;
24 cm. +
CD-ROMAvailability: Items available for loan: [SKA. 621.38] (2). Items available for reference: [SKA. 621.38] (2).
|
|
|
|
|
Programmable logic handbook : PLDs, CPLDs, and FPGAs / Ashok K. SharmaPublication: New York : McGraw-Hill, 1998Description: XI, 435 p. :
il. ;
24 cmAvailability: Items available for loan: [SHA. 621.38] (1).
|
|
|
|
|
Handbook of logic in artificial intelligence and logic programming / Dov M. Gabbay, C. J. Hogger, J. A. Robinson ; colab. J. SiekmannPublication: Oxford : Clarendon, 1996Description: [pag.var] :
il.Availability: Items available for loan: [GAB. 004.8] (5).
|
