Ditapis dengan
Time and petri nets
At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. But if we take a closer look at how time and causality are intertwined we realize that there are many possible ways in which time and Petri nets interact. Th…
- Edisi
- -
- ISBN/ISSN
- 9783642411151
- Deskripsi Fisik
- xi, 209 hlm. ; il. warna
- Judul Seri
- -
- No. Panggil
- E1306
Tool-based requirement traceability between requirement and design artifacts
Processes for developing safety-critical systems impose special demands on ensuring requirements traceability. Achieving valuable traceability information, however, is especially difficult concerning the transition from requirements to design. Bernhard Turban analyzes systems and software engineering theories cross-cutting the issue (embedded systems development, systems engineering, software e…
- Edisi
- -
- ISBN/ISSN
- 9783834824745
- Deskripsi Fisik
- xxvii, 439 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1532
Multilayered security and privacy protection in car-to-X networks : solutions…
Car-to-X (C2X) communication in terms of Car-to-Car (C2C) and Car-to-Infrastructure (C2I) communication aims at increasing road safety and traffic efficiency by exchanging foresighted traffic information. Thereby, security and privacy are regarded as an absolute prerequisite for successfully establishing the C2X technology on the market. Towards the paramount objective of covering the entire I…
- Edisi
- -
- ISBN/ISSN
- 9783658025311
- Deskripsi Fisik
- xvii, 191 hlm. : il. warna.
- Judul Seri
- -
- No. Panggil
- E1520
Recommender systems and the social web : leveraging tagging data for recommen…
​There is an increasing demand for recommender systems due to the information overload users are facing on the Web. The goal of a recommender system is to provide personalized recommendations of products or services to users. With the advent of the Social Web, user-generated content has enriched the social dimension of the Web. As user-provided content data also tells us something about …
- Edisi
- -
- ISBN/ISSN
- 978-3-658-01948-8
- Deskripsi Fisik
- xi, 112 hlm. : il. warna.
- Judul Seri
- -
- No. Panggil
- E1519
Using Microsoft Dynamics AX 2012 : updated for version R2
Precise descriptions and instructions enable users, students and consultants to easily understand Microsoft Dynamics AX 2012. Microsoft offers Dynamics AX as its premium ERP solution to support large and mid-sized organizations with a complete business management solution which is easy to use. Going through a simple but comprehensive case study – the sample company ‘Anso Technologi…
- Edisi
- Third Edition
- ISBN/ISSN
- 9783658017095
- Deskripsi Fisik
- xiii, 403 hlm. : il. warna.
- Judul Seri
- -
- No. Panggil
- E1518
Knowledge discovery, knowledge engineering and knowledge management; 4th Inte…
This book constitutes the thoroughly refereed proceedings of the 4th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K, held in Barcelona, Spain, in October 2012. The 29 best papers were carefully reviewed and selected from 347 submissions. The papers are organized in topical sections on knowledge discovery and information retrieval; kno…
- Edisi
- -
- ISBN/ISSN
- 9783642541056
- Deskripsi Fisik
- xviii, 455 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science (CCIS, volume 415)
- No. Panggil
- E1514
Evaluation of novel approaches to software engineering; 8th International Con…
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and prof…
- Edisi
- -
- ISBN/ISSN
- 9783642540929
- Deskripsi Fisik
- x, 257 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science (CCIS, volume 417)
- No. Panggil
- E1513
Information computing and applications; 4th International Conference, ICICA 2…
This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in August 2013. The 126 revised full papers presented in both volumes were carefully reviewed and selected from 665 submissions. The papers are organized in topical sections on Internet computing and ap…
- Edisi
- -
- ISBN/ISSN
- 9783642537035
- Deskripsi Fisik
- xxiv, 628 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science (CCIS, volume 392)
- No. Panggil
- E1509
Evaluation of novel approaches to software engineering; 7th International Con…
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 2012. The 11 full papers presented were carefully reviewed and selected from 54 submissions. The papers cover various topics in software engineering and focus on the comparison of novel approaches wi…
- Edisi
- -
- ISBN/ISSN
- 9783642454226
- Deskripsi Fisik
- x, 173 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1508
Software and data technologies; 7th International Conference, ICSOFT 2012, Ro…
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Software and Data Technologies, ICSOFT 2012, held in Rome, Italy, in July 2012. The 14 revised full papers presented were carefully reviewed and selected from 127 submissions. The papers focus on the following research topics and applications: programming issues, theoretical aspects of software engi…
- Edisi
- -
- ISBN/ISSN
- 9783642454042
- Deskripsi Fisik
- xii, 219 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1507
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah