Compiler design : syntactic and semantic analysis 2011

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack、Spr･･･

x, 225 p. 25 cm

9783642175398

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings ＜Lecture notes in computer science＞

Catuscia Palamidessi (ed.)、Springer、c2003

xii, 520 p. 24 cm

3540206426

Classical recursion theory : the theory of functions and sets of natural numbers ＜Studies in logic and the foundations of mathematics＞ New ed

Piergiorgio Odifreddi、North-Holland、1992

xvii, 668 p. 23 cm

0444894837

Classical recursion theory : the theory of functions and sets of natural numbers ＜Studies in logic and the foundations of mathematics＞ 2nd impression

Piergiorgio Odifreddi、Elsevier、1999

xix, 668 p. 24 cm

0444894837

Computer Algebra in Scientific Computing CASC : Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001

Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001

Edited by Ganzha, Victor G.; Edited by Mayr, Ernst･･･

572p H234 x W156

9783642626845

Formal and natural computing : essays dedicated to Grzegorz Rozenberg ＜Lecture notes in computer science＞

Wilfried Brauer ... [et al.] (eds.)、Springer、c2002

xxxvi, 429 p. 24 cm

354043190X

Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers ＜Lecture notes in computer science＞

Theoretical aspects of computing : ICTAC 2004 : first international colloquium Guiyang, China, September 2004 : revised selected papers

Zhiming Liu, Keijiro Araki (eds.)、Springer、c2005

xiv, 562 p. 24 cm

3540253041

Abstraction in Artificial Intelligence and Complex Systems

By (author) Saitta, Lorenza; By (author) Zucker, J･･･

500p H235 x W155

9781461470519

Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings ＜Lecture notes in computer science＞

Heinrich Hussmann (ed.)、Springer、c2001

xiii, 347 p. 24 cm

3540418636

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings ＜Lecture notes in computer science＞

Jean-Pierre Rosen, Alfred Strohmeier (eds.)、Spring･･･

xiii, 428 p. 24 cm

3540403760

Intelligent tutoring systems : Second International Conference, ITS '92, Montréal, Canada, June 10-12, 1992 : proceedings ＜Lecture notes in computer science＞

C. Frasson, G. Gauthier, G.I. McCalla (eds.)、Sprin･･･

xiv, 686 p. 25 cm

0387556060

Fundamental approaches to software engineering : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings ＜Lecture notes in computer science＞

Fundamental approaches to software engineering : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings Fundamental approaches to software engineering : FASE 2003

Mauro Pezzè (ed.)、Springer、c2003

xiv, 402 p. 24 cm

3540008993

Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings ＜Lecture notes in computer science＞

Antonio Restivo, Simona Ronchi Della Rocca, Luca R･･･

xi, 440 p. 24 cm

3540426728

Reliable Software Technologies -- Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings ＜Lecture Notes in Computer Science v. 2655＞

8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

Volume editor Rosen, Jean-Pierre; Volume editor St･･･

445p H234 x W156

9783540403760

Usability : gaining a competitive edge : IFIP 17th World Computer Congress - TC13 stream on usability: gaining a competitive edge, August 25-30, 2002, Montréal, Québec, Canada ＜The International Federation for Information Processing＞

edited by Judy Hammond, Tom Gross, Janet Wesson、Kl･･･

xi, 298 p. 25 cm

1402071876

OOIS 2000 : 6th International Conference on Object Oriented Information Systems, 18 - 20 December 2000, London, UK. Proceedings

6th International Conference on Object Oriented Information Systems, 18 - 20 December 2000, London, UK. Proceedings

Edited by Patel, D.; Edited by Choudhury, Islam (C･･･

480p H234 x W156

9781852334208

Proceedings of the European Computing Conference v. 1 ＜Lecture Notes in Electrical Engineering 27＞

Edited by Mastorakis, Nikos; Edited by Mladenov, V･･･

836p H234 x W156

9780387848136

Usability : Gaining a Competitive Edge ＜IFIP Advances in Information and Communication Technology 99＞

Gaining a Competitive Edge

Edited by Hammond, Judy; Edited by Gross, Tom; Edi･･･

311p H229 x W152

9781475769104

Sustaining TEL ＜Lecture Notes in Computer Science / Programming and Software Engineering v. 6383＞

Edited by Wolpers, Martin; Edited by Kirschner, Pa･･･

660p H236 x W155

9783642160196

Early Years in Machine Translation : Memoirs and Biographies of Pioneers ＜Studies in the History of the Language Sciences 97＞

Memoirs and Biographies of Pioneers

Edited by Hutchins, W. John、John Benjamins Publish･･･

411p H245 x W164

9781588110138

The craft of system security

Sean Smith, John Marchesini、Addison-Wesley、c2008

xxxiii, 557 p. 24 cm

9780321434838

Early Years in Machine Translation : Memoirs and Biographies of Pioneers ＜Studies in the History of the Language Sciences 97＞

Memoirs and Biographies of Pioneers

Edited by Hutchins, W. John、John Benjamins Publish･･･

411p

9789027283719

Early years in machine translation : memoirs and biographies of pioneers ＜Amsterdam studies in the theory and history of linguistic science＞

edited by W. John Hutchins、J. Benjamins、c2000

xii, 400 p. 23 cm

902724586X

Knowledge-based intelligent information and engineering systems: KES 2007 - WIRN 2007 : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007 : proceedings pt. 1 ＜Lecture notes in computer science＞

Bruno Apolloni, Robert J. Howlett, Lakhmi Jain (ed･･･

3 v. 24 cm

9783540748267

Software Architecture : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010 : Proceedings ＜Lecture Notes in Computer Science / Programming and Software Engineering v. 6285＞

4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010 : Proceedings

Edited by Babar, Muhammad Ali; Edited by Gorton, I･･･

552p H235 x W155

9783642151132

Product Data Interfaces in CAD/CAM Applications : Design, Implementation and Experiences ＜Symbolic Computation / Computer Graphics - Systems and Applications＞ Softcover reprint of the original 1st ed. 1986

Design, Implementation and Experiences

Edited by Encarnacao, J.; Edited by Schuster, R.; ･･･

276p H244 x W170

9783642824289

Computer graphics : principles and practice 3rd ed

John F. Hughes ... [et al.]、Addison-Wesley、2013

xlvii, 1209 p. 27 cm

9780321399526

Computer, intelligent computing and education technology v. 1 ＜A Balkema book＞

edited by Hsiang-Chuan Liu, Wen-Pei Sung, Wenli-Ya･･･

2 v. 26 cm

9781138026391

Database systems : a practical approach to design, implementation, and management 6th ed

Thomas M. Connolly, Carolyn E. Begg、Pearson、c2015

xlviii, 1281, [104] p. 24 cm

9780132943260