<![CDATA[PKK Library Search for 'se,phr:"Texts in Theoretical Computer Science, An Eatcs Series,"']]>

<![CDATA[PKK Library Search for 'se,phr:"Texts in Theoretical Computer Science, An Eatcs Series,"']]> /cgi-bin/koha/opac-search.pl?q=ccl=se%2Cphr%3A%22Texts%20in%20Theoretical%20Computer%20Science%2C%20An%20Eatcs%20Series%2C%22&format=rss2 16 0 200 Software engineering [Vol 1-3] ISBN 3540211497(v.1) | 3540211500(v.2) | 3540211519(v.3 /cgi-bin/koha/opac-detail.pl?biblionumber=355595 By Bjorner, D.. Berlin Springer-Verlag 2006 . various pagings , Contents : v. 1. Abstraction and modelling . - v. 2. Specification of systems and languages .- v. 3. Domains, requirements, and software design 3540211497(v.1) | 3540211500(v.2) | 3540211519(v.3

Place Hold on Software engineering [Vol 1-3]

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=355595 Finite model theory and its applications ISBN 9783540004288 /cgi-bin/koha/opac-detail.pl?biblionumber=359110 By Gradel, Erich...[Et. Al]. Berlin Springer 2007 . xi 9783540004288

Place Hold on Finite model theory and its applications

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=359110 Dissemination of Information in Communication Networks ISBN 9783540266631 /cgi-bin/koha/opac-detail.pl?biblionumber=500083 By Hromkovič, Juraj.. . XIV, 364 p. 73 illus. 9783540266631

Place Hold on Dissemination of Information in Communication Networks

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500083 Universal Artificial Intellegence ISBN 9783540268772 /cgi-bin/koha/opac-detail.pl?biblionumber=500088 By Hutter, Marcus.. . XX, 278 p. 9783540268772

Place Hold on Universal Artificial Intellegence

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500088 A Practical Theory of Reactive Systems ISBN 9783540273486 /cgi-bin/koha/opac-detail.pl?biblionumber=500098 By Kurki-Suonio, Reino.. . XXI, 420 p. 9783540273486

Place Hold on A Practical Theory of Reactive Systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500098 Abstract Computing Machines ISBN 9783540273592 /cgi-bin/koha/opac-detail.pl?biblionumber=500100 By Kluge, W.. . XIV, 384 p. 89 illus. 9783540273592

Place Hold on Abstract Computing Machines

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500100 Design and Analysis of Randomized Algorithms ISBN 9783540279037 /cgi-bin/koha/opac-detail.pl?biblionumber=500107 By HromkoviČ, Juraj.. . XII, 277 p. 9783540279037

Place Hold on Design and Analysis of Randomized Algorithms

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500107 Complexity Theory and Cryptology ISBN 9783540285205 /cgi-bin/koha/opac-detail.pl?biblionumber=500117 By Rothe, J�rg.. . XII, 478 p. 9783540285205

Place Hold on Complexity Theory and Cryptology

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500117 Software Engineering 1 ISBN 9783540312888 /cgi-bin/koha/opac-detail.pl?biblionumber=500139 By Bj�rner, Dines.. . XL, 714 p. 38 illus. 9783540312888

Place Hold on Software Engineering 1

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500139 Grammatical Picture Generation ISBN 9783540325079 /cgi-bin/koha/opac-detail.pl?biblionumber=500146 By Drewes, Frank.. . XII, 476 p. 9783540325079

Place Hold on Grammatical Picture Generation

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500146 Finite Model Theory and Its Applications ISBN 9783540688044 /cgi-bin/koha/opac-detail.pl?biblionumber=501265 By Gr�del, Erich.. . XI, 437 p. 9783540688044

Place Hold on Finite Model Theory and Its Applications

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501265 Modelling Distributed Systems ISBN 9783540739388 /cgi-bin/koha/opac-detail.pl?biblionumber=501287 By Fokkink, Wan.. . VIII, 154 p. 9783540739388

Place Hold on Modelling Distributed Systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501287 Temporal Logic and State Systems ISBN 9783540686354 /cgi-bin/koha/opac-detail.pl?biblionumber=502833 By Kr�ger, Fred.. . XII, 436 p. 34 illus. 9783540686354

Place Hold on Temporal Logic and State Systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502833 Dissemination of Information in Optical Networks ISBN 9783540728757 /cgi-bin/koha/opac-detail.pl?biblionumber=502848 By Bandyopadhyay, Subir.. . XII, 310 p. 9783540728757

Place Hold on Dissemination of Information in Optical Networks

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502848 Decision Procedures ISBN 9783540741053 /cgi-bin/koha/opac-detail.pl?biblionumber=502854 By Kroening, Daniel.. . XVI, 306 p. 9783540741053

Place Hold on Decision Procedures

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502854 Decision Procedures [2nd ed.] [Perpetual] ISBN 9783662504963 /cgi-bin/koha/opac-detail.pl?biblionumber=563528 By Kroening, Daniel. Berlin Springer-Verlag 2016 . xxi, 356p , with 64 illustrations, (5 illustrations in color) 9783662504963

Place Hold on Decision Procedures [2nd ed.] [Perpetual]

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=563528