Ditemukan 178 dokumen yang sesuai dengan query
Parsons, David
"This book presents a guide to the core features of Java and some more recent innovations, enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points."
London: Springer, 2012
e20407553
eBooks Universitas Indonesia Library
"This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies."
Berlin: Springer-Verlag, 2012
e20409160
eBooks Universitas Indonesia Library
Edmund Clarke, editor
"This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering."
Berlin: [Springer-Verlag, ], 2012
e20409852
eBooks Universitas Indonesia Library
"This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics."
Berlin: Springer-Verlag, 2012
e20410026
eBooks Universitas Indonesia Library
Marco Brambilla, editor
"This book constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. The 20 revised full papers and 15 short papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on social networks and collaboration, tagging, personalization and personal systems, search, Web modeling, AJAX and user interfaces, Web services, Web crawling, and Web and linked data management. The book also includes 6 poster papers, 12 demos and 5 tutorials."
Berlin: [Springer-Verlag, ], 2012
e20410176
eBooks Universitas Indonesia Library
"This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011.
The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces"
Berlin: Springer-Verlag, 2012
e20410291
eBooks Universitas Indonesia Library
"This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems."
Berlin: Springer-Verlag, 2012
e20410436
eBooks Universitas Indonesia Library
Wohlin, Claes, editor
"This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmö, Sweden, in May 2012.
The topics covered include general aspects of agility, agile teams, studies related to the release and maintenance of software, and research on specific practices in agile and lean software development. They are complemented by four short papers capturing additional aspects of agile and lean projects."
Berlin: [, Springer-Verlag], 2012
e20410479
eBooks Universitas Indonesia Library
"Telah dibuat sebuah sistem pengendali katup (valve) elektronis otomatis berbasis komputer. Sistem ini dapat mengendalikan hingga delapan buah katup aliran udara pada sistem gas mengalir (SGM). Udara tekan yang mengandung gas cuplikan dilewatkan pada SGM ini untuk diukur konsentrasinya oleh sistem spektroskopi fotoakustik (SFA). Komputer memerintahkan sistem pengendali katup elektronik unutk membuka atau menutup katup airan udara. Katup aliran udara terbuka apabila relay pemicu dalam kondisi aktif. Relay diaktifkan oleh transistor yang berada dalam kondisi jauh (saturation). Transistor menjadi jauh apabila sinyal yang diterima dari komputer berlogika satu (high). Hasil eksperimen dilakukan pada tiga buah kuvet dimana kuvet satu (C-1) berisi sampel kosong sebagai referensi, kuvet dua (C-2) berisi buah apel dan kuvet tiga (C-3) berisi sebuah tomat. Proses membuka dan menutup masing-masing katup bekerja sesuai dengan antrian yang dimasukan melalui sotware. Perpindahan aliran gas dari C-1 ke C-2 menujukkan perubahan nilai konsentrasi yang cepat akibat pergantian cuplikan. Begitu pula ketika katup elektronik dipindah dari C-2 ke C-3, tampak penyesuaian deteksi gas cuplikan yakni etilen apel (320 ppb) ke etilen tomat (15 ppb) relatif cepat"
JURFIN 10:30 (2006)
Artikel Jurnal Universitas Indonesia Library
"Imagine how much easier creating web and mobile applications would be if you had a practical and concise, hands-on guide to visual design. Visual Usability gets into the nitty-gritty of applying visual design principles to complex application design.
You’ll learn how to avoid common mistakes, make informed decisions about application design, and elevate the ordinary. We’ll review three key principles that affect application design – consistency, hierarchy, and personality – and illustrate how to apply tools like typography, color, and layout to digital application design. Whether you’re a UI professional looking to fine-tune your skills, a developer who cares about making applications beautiful and usable, or someone entirely new to the design arena, Visual Usability is your one-stop, practical guide to visual design.
"
Waltham, MA: Morgan Kaufmann, 2013
e20427713
eBooks Universitas Indonesia Library