图书-书查询-第488748页

类别图书

《Lecture Notes in Computer Science 3440 Tools and Algorithms for the Constructio

【书名】：《Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference,TACAS 2005,,Spinger-Verlag,2005》
【作者】：
【出版社】：
【时间】：
【页数】：588
【ISBN】：3540253335
【SS码】：40366782

《Lecture Notes in Artificial Intelligence 2403 Foundations and Applications of M

【书名】：《Lecture Notes in Artificial Intelligence 2403 Foundations and Applications of Multi-Agent Systems UKMAS Workshops 1996-2000》
【作者】：
【出版社】：Spinger-Verlag
【时间】：2002
【页数】：261
【ISBN】：3540439625
【SS码】：40366787

《Lecture Notes in Computer Science 3340 Developments in Language Theory 8th Inte

【书名】：《Lecture Notes in Computer Science 3340 Developments in Language Theory 8th International Conference,DLT 2004,,Springer-Verlag,2004》
【作者】：
【出版社】：
【时间】：
【页数】：431
【ISBN】：3540240144
【SS码】：40366804

《Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic

【书名】：《Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th International Conferemce,LPNMR 2005,,Springer-Verlag,2005》
【作者】：
【出版社】：
【时间】：
【页数】：454
【ISBN】：3540285385
【SS码】：40366808

《Lecture Notes in Computer science 4144 computer Aided Verification 18th Interna

【书名】：《Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference,CAV 2006,,Springer-Verlag,2006》
【作者】：
【出版社】：
【时间】：
【页数】：564
【ISBN】：354037406X
【SS码】：40366819

《Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems M

【书名】：《Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedicated to hartmut Ehrig on the Occasion of His 60th Birthday》
【作者】：
【出版社】：Springer-Verlag
【时间】：2005
【页数】：413
【ISBN】：3540249362
【SS码】：40366825

《Lecture Notes in Computer Science 322 ECOOP'88 European Conference on Object-Or

【书名】：《Lecture Notes in Computer Science 322 ECOOP'88 European Conference on Object-Oriented Programming Oslo,Norway,August 1988,,Springer-Verlag,1988》
【作者】：
【出版社】：
【时间】：
【页数】：408
【ISBN】：3540500537
【SS码】：40366840

《Lecture Notes in Computer Science 4709 Formal Methods for Components and Object

【书名】：《Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International Symposium,FMCO 2006 Amsterdam,The Netherlands,November 7-10,2006,,Springer-Verlag,2007》
【作者】：
【出版社】：
【时间】：
【页数】：298
【ISBN】：9783540747918
【SS码】：40366866

《TELEVISION AND CONSUMER CULTURE BRITAIN AND THE TRANSFORMATION OF MODERNITY》_RO

【书名】：《TELEVISION AND CONSUMER CULTURE BRITAIN AND THE TRANSFORMATION OF MODERNITY》
【作者】：ROB TURNOCK
【出版社】：I.B.TAURIS & CO LTD
【时间】：2007
【页数】：244
【ISBN】：9781845110796
【SS码】：40366895

《TECHNICAL COMMUNICATION 2ND EDITION》_MARY M.LAY,BILLIE J.WAHLSTROM,CYNTHIA L.SE

【书名】：《TECHNICAL COMMUNICATION 2ND EDITION》
【作者】：MARY M.LAY,BILLIE J.WAHLSTROM,CYNTHIA L.SELFE,JACK SELZER,CAROLYN...
【出版社】：
【时间】：2000
【页数】：742
【ISBN】：0256220581
【SS码】：40366904

«1 ...488744 488745 488746 488747488748488749 488750 488751 488752 ... 491156 »