Biblioteca do ISEL

Your search returned 293 results. Subscribe to this search

|
Characterizing and providing interoperability to function as a service platforms / Pedro Miguel Fialho Rodrigues ; orient. Filipe Freitas, José SimãoPublication: Lisboa : ISEL - Área Departamental de Engenharia Eletrónica e Telecomunicações e de Computadores, 2022Description: EbookAvailability: Items available for reference: (1).

Rain Computing : orquestração de ações executadas por grupos de dispositivos IoT / António Peixoto de Assunção Santos ; orient. Luís Manuel da Costa AssunçãoPublication: Lisboa : ISEL - Área Departamental de Engenharia de Eletrónica e Telecomunicações e de Computadores, 2020Description: EbookAvailability: Items available for reference: (1).

UVMM - Unified Virtual Machine Management : gestão unificada de máquinas virtuais disponibilizadas por diferentes operadores de clouds públicas / Tiago Miguel Vila Martins ; orient. Carlos Jorge de Sousa GonçalvesPublication: Lisboa : ISEL - Área Departamenral de Engenharia de Electrónica e Telecomunicações e de Computadores, 2018Description: EbookAvailability: Items available for reference: (1).

Residue number systems : efficient architectures and circuits / Pedro Miguel Florindo Miguens Matutino ; superv. Leonel Augusto Seabra Sousa, Ricardo Jorge Fernandes ChavesPublication: Lisboa : UL - Instituto Superior Técnico, 2015Description: XXII, 162 p. : il. ; 30 cm. + CD-ROMAvailability: Items available for reference: [MAT. 621.391(043)] (2).

Economics-inspired adaptive resource allocation and Scheduling for cloud environments / José Manuel de Campos Lages Garcia Simão ; superv. Luís Manuel Antunes VeigaPublication: Lisboa : UL - Instituto Superior Técnico, 2015Description: XXII, 223 p. : il. + DVDAvailability: Items available for reference: [SIM. 004(043)] (2).

A biosignal embedded system for physiological computing / José Guerreiro ; superv. André Ribeiro Lourenço, Ana Luísa Nobre FredPublication: Lisboa : ISEL - Área Departamental de Engenharia Electrónica e Telecomunicações e de Computadores, 2013Description: XII, 69 p. : il. ; 30 cm. + CD-ROMAvailability: Items available for reference: [GUE. 004(043)] (2).

A bilhética dos transportes de passageiros na nuvem computacional / Nuno Miguel Negrão Maurício ; orient. Porfírio Pena FilipePublication: Lisboa : ISEL - Área Departamental de Engenharia de Eletrónica e Telecomunicações e de Computadores, 2013Description: XV, 82 p. : il.Availability: Items available for reference: [MAU. 004(043)] (1).

CSEI2012 : 1ª conferência nacional sobre computação simbólica no ensino e na investigação; Instituto Superior Técnico, Lisboa, 2 - 3 de Abril 2012 / Instituto Superior TécnicoPublication: Lisboa : IST - Engenharia Mecânica, 2012Description: 83 p. : il. ; 30 cm. + CD-ROMAvailability: Items available for loan: [IST 621] (2).

Estudo do paradigma computação em nuvem / Carina Nobre Gomes ; orient. Porfírio Pena FilipePublication: Lisboa : ISEL - Área Departamental de Engenharia Eletrónica e Telecomunicações e de Computadores, 2012Description: XVII, 89 p. : il.Availability: Items available for reference: [GOM. 004(043)] (1).

Introduction to quantum information science / Vlatko VedralPublication: Oxford : Oxford University Press, 2010Description: X, 183 p. : il. ; 25 cmAvailability: Items available for loan: [VED. 530.145] (1).

Engineering computations : an introduction using MATLAB and excel / Joseph C. Musto, William E. Howard, Richard R. WilliamsPublication: Boston : McGraw-Hill, 2009Description: VI, 330 p. : il.Availability: Items available for loan: [MUS. 51-3] (1).

Interactive computer graphics : a top-down approach using openGL / Edward AngelPublication: Boston : Pearson Education, 2009Description: XXIX, 828 p. : il. ; 23 cm.Availability: Items available for loan: [ANG. 004.92] (1).

Concurrent programming on windows / Joe DuffyPublication: Upper Saddle River : Addison-Wesley, 2009Description: XXIX, 958 p. : il.Availability: Items available for loan: [DUF. 004.42] (1).

Modelo de especificação e controlo de execuções paralelas e distribuídas / Manuel Vítor Macieira Rodrigues ; orient. Luís Manuel Costa AssunçãoPublication: Lisboa : ISEL - Departamento de Engenharia de Electrónica e Telecomunicações e de Computadores, 2009Description: 119 p. : il. ; 30 cm.Availability: Items available for reference: [ROD. 004(043)] (1).

Sistemas distribuidos [Documento electrónico] : serviços Grid computing / Rui Manuel Martins Catarino ; orient. Carlos GonçalvesPublication: Lisboa : ISEL - Departamento de Engenharia de Electrónica e Telecomunicações e de Computadores, 2008Description: 1 CD-ROM ; 12 cm.Availability: Items available for reference: [CAT. 004(043)] (1).

Windows presentation foundation : unleashed / Adam Nathan ; David LehenbauerPublication: Indianapolis : SAMS, 2007Description: XI, 638 p. : il.Availability:

Practical methods of optimization / R. FletcherPublication: Chichester : John Wiley & Sons, 2007Description: XIV, 436 p. : il. ; 23 cm.Availability: Items available for loan: [FLE. 519.863] (1).

Object-oriented analysis and design with applications / Grady Booch... [et al.]Publication: Upper Saddle River : Addison-Wesley, 2007Description: XXIII, 691 p. : il.Availability: Items available for loan: [BOO. 004.42] (1).

Natural language processing for online applications : text retrieval, extraction and categorization / Peter Jackson, Isabelle MoulinierPublication: Amsterdam : John Benjamins Publishing Company, 2007Description: X, 231 p. : il.Availability: Items available for loan: [JAC. 004.8] (1).

X3D : extensible 3D graphics for web authors / Don Brutzman, Leonard DalyPublication: Amsterdam : Elsevier, 2007Description: XXVII, 441 p. : il. ; 24 cm.Availability: Items available for loan: [BRU. 004.92] (1).

Computer graphics using java 2D and 3D / Hong Zhang, Y. Daniel LiangPublication: Upper Saddle River : Pearson Education, 2007Description: XII, 462 p. : il.Availability: Items available for loan: [ZHA. 004.43Jav] (1). Items available for reference: [ZHA. 004.43Jav] (1). Checked out (1).

Java concurrency in practice / Brian Goetz... [et al.]Publication: Upper Saddle River : Addison-Wesley, 2006Description: XX, 403 p. : il.Availability: Items available for reference: [GOE. 004.43Jav] (1). Checked out (1).

Handbook on architectures of information systems / Peter Bernus, Kai Mertins, Günter SchmidtPublication: Berlin : Springer, 2006Description: X, 896 p. : il.Availability: Items available for reference: [BER. 004.41] (1).

Data structures and algorithm analysis in C++ / Mark Allen WeissPublication: Boston : Pearson Education, 2006Description: XVIII, 586 p. : il.Availability: Items available for loan: [WEI. 004.43C++] (1). Items available for reference: [WEI. 004.43C++] (1).

OpenGL programming guide : the official guide to learning OpenGL, version 2 / Dave Shreiner... [et al.]Publication: Upper Saddle River : Addison-Wesley, 2006Description: XLVII, 838 p. : il.Availability: Items available for loan: [SHR. 004.92] (1). Items available for reference: [SHR. 004.92] (1).

Statistical mechanics : algorithms and computations / Werner KrauthPublication: Oxford : Oxford University Press, 2006Description: XII, 342 p. : il. ; 25 cm. + CD-ROMAvailability: Items available for loan: [KRA. 538.9] (2).

Alan Turing's automatic compunting engine : the master codebreaker's struggle to build the modern computer / B. Jack CopelandPublication: Oxford : Oxford University Press, 2006Description: XX, 553 p. : il. ; 24 cm.Availability: Items available for loan: [COP. 53] (1).

História da informática em Portugal / Álvaro Ferreira da SilvaPublication: Carnaxide : Editora do Brasil, 2006Description: 246 p. : il.Availability: Items available for loan: [SIL. 004] (1).

Computer organization and design : the hardware/software interface / David A. Patterson, John L. HennessyPublication: San Francisco : Morgan Kaufmann Publishers, 2005Description: XVII, 621 p. : il. + CD-ROMAvailability: Items available for loan: [PAT. 004.2] (2). Items available for reference: [PAT. 004.2] (2).

Java Tech : an introduction to scientific and technical computing with java / Clark S. Lindsey, Johnny S. Tolliver, Thomas LindbladPublication: Cambridge : Cambridge University Press, 2005Description: XIX, 708 p. : il. ; 25 cm.Availability: No items available Checked out (1).

Forensic Discovery / Dan Farmer, Wietse VenemaPublication: Upper Saddle River : Addison-Wesley, 2005Description: XIX, 217 p. : il.Availability: Items available for loan: [FAR. 004.49] (1).

Applying UML and patterns : an introduction to object-oriented analysis and design and iterative development / Craig Larman ; forew. Philipe KruchtenPublication: Upper Saddle River : Prentice Hall, 2005Description: XXV, 703 p. : il.Availability: Items available for loan: [LAR. 004] (2). Items available for reference: [LAR. 004] (1).

Computer graphics and geometric modeling : mathematics / Max K. AgostonPublication: London : Springer, 2005Description: XIV, 958 p. : il. ; 24 cm.Availability: Items available for loan: [AGO. 004.92] (1). Items available for reference: [AGO. 004.92] (1).

Reliable distributed systems : technologies, web services, and applications / Kenneth P. BirmanPublication: New York : Springer, 2005Description: XXXI, 668 p. : il.Availability: Items available for reference: [BIR. 004.75] (1).

Visual compunting : geometry, graphics, and vision / Frank Nielsen ; forew. Leonidas J. GuibasPublication: Hingham : Charles River Media, 2005Description: XVI, 560 p. : il.Availability: Items available for loan: [NIE. 519.67] (1).

Support vector machines for pattern classification / Shigeo AbePublication: London : Springer, 2005Description: XIV, 343 p. : il.Availability: Items available for loan: [ABE 004.91] (1). Items available for reference: [ABE 004.91] (1).

Visualizing information using SVG and X3D : XML-based technologies for the XML-based web / Vladimir Geroimenko, Chaomei ChenPublication: London : Springer, 2005Description: XIV, 298 p. : il. ; 24 cm.Availability: Items available for loan: [GER. 004.92] (1).

Innovations in intelligent systems / Ajith Abraham, Lakhmi C. Jain, Berend J. van der Zwaag ; forew. Clarence W. de SilvaPublication: Berlin : Springer, 2004Description: XXV, 468 p. : il.Availability: Items available for loan: [ABR. 004.8] (1).

O computador universal : matemáticos e origens do computador / Martin Davis ; trad. Maria Alice Gomes da CostaPublication: Lisboa : Editorial Bizâncio, 2004Description: 289 p. : il. ; 24 cmAvailability: No items available Withdrawn (1).

Ontological engineering : with examples from the areas of knowledge management, e-commerce and the semantic web / Asunción Gómez-Pérez, Mariano Fernández-López, Oscar CorchoPublication: London : Springer, 2004Description: XII, 403 p. : il.Availability: Items available for loan: [GOM. 004.8] (2). Items available for reference: [GOM. 004.8] (1).

Introduction to hydrocodes / Jonas A. ZukasPublication: Amsterdam : Spinger, 2004Description: XV, 431 p. : il. ; 24 cmAvailability: Items available for loan: [ZUK. 662.2] (1).

Operating systems / H. M. Deitel, P. J. Deitel, D. R. ChoffnesPublication: Upper Saddle River : Pearson Education, 2004Description: LIX, 1209 p. : il.Availability: Items available for loan: [DEI. 004.45] (1).

Success in your project : a guide to student system development projects / Philip WeaverPublication: Harlow : FT - Prentice Hall, 2004Description: XII, 291 p. : il.Availability: Items available for loan: [WEA. 004.41] (1).

Spoken dialogue technology : toward the conversational user interface / Michael F. McTear ; forew. T. V. RamanPublication: London : Springer, 2004Description: XII, 432 p. : il.Availability:

Internet security : cryptographic principles, algorithms and protocols / Man Young RheePublication: Chichester : John Wiley & Sons, 2003Description: XVII, 405 p. : il.Availability: Items available for loan: [RHE. 004.73] (1).

Object-oriented software development using java : principles, patterns, and frameworks / Xiaoping JiaPublication: Boston : Addison Wesley, 2003Description: 677 p. : il.Availability: Items available for loan: [JIA 004.41] (1).

Geometric tools for computer graphics / Philip J. Schneider, David H. EberlyPublication: Amsterdam : Morgan Kaufmann, 2003Description: XLV, 1009 p. : il. ; 24 cmAvailability: Items available for loan: [SCH. 519.6] (1).

Petri Nets for systems engineering : a guide to modeling, verification and applications / Claude Girault, Rüdiger ValkPublication: Berlin : Springer, 2003Description: XVI, 607 p. : il.Availability: Items available for loan: [GIR. 519.67] (1).

Advances in evolutionary computing : theory and applications / Ashish Ghosh, Shigeyoshi TsutsuiPublication: Berlin : Springer, 2003Description: XVI, 1006 p. : il.Availability: Items available for loan: [GHO. 004.8] (1).

Informática-ISEL