Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 8006 dokumen yang sesuai dengan query
cover
Sara Foresti, editor
"This book constitutes the refereed proceedings of the 17th European Symposium on Computer Security, ESORICS 2012, held in Pisa, Italy, in September 2012. The 50 papers included in the book were carefully reviewed and selected from 248 papers. The articles are organized in topical sections on security and data protection in real systems, formal models for cryptography and access control, security and privacy in mobile and wireless networks, counteracting man-in-the-middle attacks, network security, users privacy and anonymity, location privacy, voting protocols and anonymous communication, private computation in cloud systems, formal security models, identity based encryption and group signature, authentication, encryption key and password security, malware and phishing, and software security."
Berlin: [Springer-Verlag, ], 2012
e20410002
eBooks  Universitas Indonesia Library
cover
"This book constitutes the proceedings of the Third International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2012, held in Pisa, Italy, on June 27, 2012. The 17 papers presented were carefully reviewed and selected from 31 submissions during two rounds of reviewing and improvement. The papers present novel technical concepts, clinical needs and applications as well as hardware, software and systems and their validation. The main technological focus is on patient-specific modeling and its use in interventions, image-guided and robotic surgery, real-time tracking and imaging."
Berlin: Springer-Verlag, 2012
e20409223
eBooks  Universitas Indonesia Library
cover
"This book constitutes the refereed proceedings of the 20th Annual European Symposium on Algorithms, ESA 2012, held in Ljubljana, Slovenia, in September 2012 in the context of the combined conference ALGO 2012. The 69 revised full papers presented were carefully reviewed and selected from 285 initial submissions: 56 out of 231 in track design and analysis and 13 out of 54 in track engineering and applications. The papers are organized in topical sections such as algorithm engineering, algorithmic aspects of networks, algorithmic game theory, approximation algorithms, computational biology, computational finance, computational geometry, combinatorial optimization, data compression, data structures, databases and information retrieval, distributed and parallel computing, graph algorithms, hierarchical memories, heuristics and meta-heuristics, mathematical programming, mobile computing, on-line algorithms, parameterized complexity, pattern matching, quantum computing, randomized algorithms, scheduling and resource allocation problems, and streaming algorithms."
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410014
eBooks  Universitas Indonesia Library
cover
"This volume of the Computer-Aided Chemical Engineering series puts together a selection of the contributions presented at the 32th European Symposium on Computer Aided Process Engineering (ESCAPE), held in Toulouse, France, from June 12th to 15th, 2022 ... The main focus for ESCAPE-32 is on the methodical approaches in process systems engineering with emphasis on uncertainty towards sustainability. The themes of ESCAPE-29 have been selected after a comprehensive discussion with the CAPE Working Party members and the scientific community. The particular topics within these overarching themes have been formulated to allow researchers from CAPE-related sciences to present their results and exchange valuable knowledge and experience"
Amsterdam: Elsevier, 2022
670.285 EUR
Buku Teks SO  Universitas Indonesia Library
cover
"This volume of the Computer-Aided Chemical Engineering series puts together a selection of the contributions presented at the 32th European Symposium on Computer Aided Process Engineering (ESCAPE), held in Toulouse, France, from June 12th to 15th, 2022 ... The main focus for ESCAPE-32 is on the methodical approaches in process systems engineering with emphasis on uncertainty towards sustainability. The themes of ESCAPE-29 have been selected after a comprehensive discussion with the CAPE Working Party members and the scientific community. The particular topics within these overarching themes have been formulated to allow researchers from CAPE-related sciences to present their results and exchange valuable knowledge and experience"
Amsterdam: Elsevier, 2022
670.285 EUR
Buku Teks SO  Universitas Indonesia Library
cover
"This volume of the Computer-Aided Chemical Engineering series puts together a selection of the contributions presented at the 32th European Symposium on Computer Aided Process Engineering (ESCAPE), held in Toulouse, France, from June 12th to 15th, 2022 ... The main focus for ESCAPE-32 is on the methodical approaches in process systems engineering with emphasis on uncertainty towards sustainability. The themes of ESCAPE-29 have been selected after a comprehensive discussion with the CAPE Working Party members and the scientific community. The particular topics within these overarching themes have been formulated to allow researchers from CAPE-related sciences to present their results and exchange valuable knowledge and experience"
Amsterdam: Elsevier, 2022
670.285 EUR
Buku Teks SO  Universitas Indonesia Library
cover
Hamilton, Peter
London: Cassell/Associated Business Programs, 1972
004 HAM c
Buku Teks SO  Universitas Indonesia Library
cover
Bishop, Matt
Boston: Addison-Wesley, 2003
005.8 BIS c
Buku Teks  Universitas Indonesia Library
cover
Dony Ariyus
Yogyakarta: Andi, 2006
005.8 DON c
Buku Teks  Universitas Indonesia Library
cover
"The seven-volume set comprising LNCS volumes 7572-7578 constitutes the refereed proceedings of the 12th European Conference on Computer Vision, ECCV 2012, held in Florence, Italy, in October 2012. The 408 revised papers presented were carefully reviewed and selected from 1437 submissions. The papers are organized in topical sections on geometry, 2D and 3D shape, 3D reconstruction, visual recognition and classification, visual features and image matching, visual monitoring: action and activities, models, optimisation, learning, visual tracking and image registration, photometry: lighting and colour, and image segmentation."
Berlin : Springer-Verlag, 2012
e20410569
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>