[pdf] Matrix Eigensystem Routines Eispack Guide (lecture Notes in Computer Science)

The Semantic Web - 4th International Semantic Web Conference, ISWC 2005 (Lecture Notes in Computer Science 3729)

Yolanda Gil, Enrico Motta, V. Richard Benjamins, Mark A. Musen, "The Semantic Web - 4th International Semantic Web Conference, ISWC 2005 (Lecture Notes in Computer Science 3729)"
Publisher: Springer | ISBN 10: 3540297545 | 2005 | PDF | 1096 pages | 25.7 MB
Transactions on Edutainment III (Lecture Notes in Computer Science / Transactions on Edutainment)

Maiga Chang, "Transactions on Edutainment III (Lecture Notes in Computer Science / Transactions on Edutainment)"
Publisher: Springer | ISBN 10: 3642112447 | 2010 | PDF | 275 pages | 11.3 MB
Journal on Data Semantics XII (Lecture Notes in Computer Science / Journal on Data Semantics)

Journal on Data Semantics XII (Lecture Notes in Computer Science / Journal on Data Semantics)
Stefano Spaccapietra | Springer | Pages: 179 | 2009-07-01 | ISBN : 3642006841 | PDF | 2.7 MB

LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.

Volume XII results from a rigorous selection among 20 full papers received in response to a call for contributions issued in July 2007. The volume is a special issue on Semantic Data Warehousing.

Journal on Data Semantics XV (Lecture Notes in Computer Science / Journal on Data Semantics (closed))

Stefano Spaccapietra, "Journal on Data Semantics XV (Lecture Notes in Computer Science / Journal on Data Semantics (closed))"
Publisher: S**//**ger | ISBN 10: 3642226299 | 2011 | PDF | 208 pages | 3.5 MB

Transactions on Edutainment XVI (Lecture Notes in Computer Science  eBooks & eLearning

Posted by roxul at April 11, 2020
Transactions on Edutainment XVI (Lecture Notes in Computer Science

Zhigeng Pan, "Transactions on Edutainment XVI (Lecture Notes in Computer Science "
English | ISBN: 3662615096 | 2020 | 301 pages | PDF | 46 MB
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses (Lecture Notes in Computer Science) by Matthew M. Huntbach

Agent-Oriented Programming: From Prolog to Guarded Definite Clauses (Lecture Notes in Computer Science)
by Matthew M. Huntbach
Springer | ISBN: 3540666834 | PDF | 386 Pages | 1.54 MB

The authors present a systematic development of the concurrent object-oriented agent programming language Guarded Definite Clauses (GDC). In contrast to other languages used in agent programming, like Java, Telescript, and Agent-TCL, this language is derived from the artificial intelligence programming tradition and emphasizes AI applications.

Architecting Dependable Systems (Lecture Notes in Computer Science)  eBooks & eLearning

Posted by duanez at June 18, 2008
Architecting Dependable Systems (Lecture Notes in Computer Science)

Architecting Dependable Systems (Lecture Notes in Computer Science)
Springer | 2003-09-29 | ISBN: 3540407278 | 309 pages | PDF | 20,6 MB

As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be planned at the beginning of the design process, it is appropriate that these issues be addressed at the architectural level.

Transactions on Petri Nets and Other Models of Concurrency I (Lecture Notes in Computer Science)
Springer | ISBN: 3540892869 | 2008 | PDF | 570 pages | 6 Mb

The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic (Lecture Notes in Computer Science )
Springer | ISBN: 3540206078 | 2004-01-22 | PDF | 344 pages | 6 Mb

Ada 2005 Rationale: The Language, The Standard Libraries (Lecture Notes in Computer Science)

Ada 2005 Rationale: The Language, The Standard Libraries (Lecture Notes in Computer Science)
267 pages | Springer; 1 edition (June 27, 2008) | 3540797009 | PDF | 1,3 Mb

Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a completely new standard. The primary goals for the new version were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Accordingly, a number of intriguing and attractive ideas have been included and implemented in a coherent manner as appropriate to the level of perfection necessary for the diligent maintenance of a language standard.