Filter by
# Debug Box
/var/www/htdocs/pustaka-digital/lib/SearchEngine/SearchBiblioEngine.php:688 "Search Engine Debug 🔎 🪲"
Engine Type ⚙️: "SLiMS\SearchEngine\SearchBiblioEngine"
SQL ⚙️: array:2 [ "count" => "select count(sb.biblio_id) from search_biblio as sb where sb.opac_hide=0 and ((match (sb.topic) against (:subject in boolean mode)))" "query" => "select sb.biblio_id, sb.title, sb.author, sb.topic, sb.image, sb.isbn_issn, sb.publisher, sb.publish_place, sb.publish_year, sb.labels, sb.input_date, sb.edition, sb.collation, sb.series_title, sb.call_number from search_biblio as sb where sb.opac_hide=0 and ((match (sb.topic) against (:subject in boolean mode))) order by sb.last_update desc limit 10 offset 50" ]
Bind Value ⚒️: array:1 [ ":subject" => "'+\"Computer Science\"'" ]
Security of networks and services in an all-connected world : 11th IFIP WG 6.…
This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, held in Zurich, Switzerland, in July 2017. The 8 full papers presented together with 11 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in the following topical sections: security ma…
- Edition
- -
- ISBN/ISSN
- 9783319607740
- Collation
- xx, 192p. : ill.
- Series Title
- -
- Call Number
- 004.6 SEC s
Finite difference computing with PDEs : a modern software approach
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analys…
- Edition
- -
- ISBN/ISSN
- 9783319554563
- Collation
- xxiii, 499p. : ill.
- Series Title
- -
- Call Number
- 515.353 LAN f
Cognitive aspects of human-computer interaction for GIS
The book is dealing with recent progress in human–computer interaction (HCI) related to geographic information science (GIS). The Editorial starts with an overview about the evolution of the Internet and first HCI concepts and stimulates recent HCI developments using 3D and 4D apps, running on all mobile devices with OS Android, iOS, Linus, and Windows. Eight research articles present the sta…
- Edition
- -
- ISBN/ISSN
- 9783039215683
- Collation
- 196 p.; 22 cm.
- Series Title
- -
- Call Number
- 001.4 COG c
Product lines for digital information products
Digital information products are an important class of widely used digital products, whose core benefit is the delivery of information or education (e.g., electronic books, online newspapers, e-learning courses).This book introduces a novel and systematic approach, Product Lines for Digital Information Products (PLANT), which focuses on the creation of variants of such products within a product…
- Edition
- -
- ISBN/ISSN
- 9783866441330
- Collation
- -
- Series Title
- -
- Call Number
- 004.71 PAN p
Computer aided verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and tec…
- Edition
- -
- ISBN/ISSN
- 9783319961453
- Collation
- pages cm
- Series Title
- -
- Call Number
- 004 CHO c
Specification languages for preserving consistency between models of differen…
When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching …
- Edition
- -
- ISBN/ISSN
- 9783731507840
- Collation
- XX, 440 p.
- Series Title
- The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
- Call Number
- 005.1 KRA s
Learning to understand remote sensing images
With the recent advances in remote sensing technologies for Earth observation, many different remote sensors are collecting data with distinctive properties. The obtained data are so large and complex that analyzing them manually becomes impractical or even impossible. Therefore, understanding remote sensing images effectively, in connection with physics, has been the primary concern of the rem…
- Edition
- -
- ISBN/ISSN
- 9783038976851
- Collation
- IX, 416 p.
- Series Title
- -
- Call Number
- 005.133 WAN l
Informatics in the future : proceedings of the 11th European Computer Science…
This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on the notion of an “abstract” machine, which ca…
- Edition
- -
- ISBN/ISSN
- 9783319557359
- Collation
- xi, 109p. : ill.
- Series Title
- -
- Call Number
- 004 INF i
Scaling a software business : the digitalization journey
Software has changed the rules of the game. The world talks about the digitalization in industry and society – how the focus has shifted from producing tangible things towards software and services. This trend started many years ago, but is now affecting every company, whether it’s a software company or not. There are many companies that have already made a digitalization journey – and ma…
- Edition
- -
- ISBN/ISSN
- 9783319531168
- Collation
- 265p. : ill.
- Series Title
- -
- Call Number
- 005.1068 SCA s
Tantalisingly close: an archaeology of communication desires in discourses of…
In this important new study, Imar de Vries take a historical and comparative approach in researching our intimate relationship with present-day mobile wireless technologies. By analyzing the full range of human expectations and behavior in regard to mobile devices, de Vries looks at how wireless gadgets have changed our ideas about communication, while at the same time he demonstrates how moder…
- Edition
- -
- ISBN/ISSN
- 9789048514915
- Collation
- 256 p.; 22 cm.
- Series Title
- MediaMatters; 7
- Call Number
- 303.4833 DEV t
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography