Filter by
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23165-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the …
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Fe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23534-9
- Collation
- 15 b/w illustrations
- Series Title
- -
- Call Number
- -
Principles of Object-Oriented Programming
The process of hiding the details and exposing only the essential features of a particular concept or object. Computer scientists use abstraction to understand and solve problems and communicate their solutions with the computer in some particular computer language. We illustrate this process by way of trying to solve the following problem using a computer language called Java
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 004 WON p
Introduction to Programming Using Java
This book can be distributed in unmodified form for non-commercial purposes. Modified versions can be made and distributed for non-commercial purposes provided they are distributed under the same license as the original. More specifically: This work is licensed under the Creative Commons AttributionNonCommercial-ShareAlike 3.0 License. To view a copy of this license, visit http://creativeco…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 ECK i
Programming Fundamentals - A Modular Structured Approach using C++
Programming Fundamentals - A Modular Structured Approach using C++ is written by Kenneth Leroy Busbee, a faculty member at Houston Community College in Houston, Texas. The materials used in this textbook/collection were developed by the author and others as independent modules for publication within the Connexions environment. Programming fundamentals are often divided into three college cou…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 BUS p
Advances in Knowledge Representation, Logic Programming, and Abstract Argumen…
This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd's work. The 24 scientific papers included in the book are written by close friends and colleagues and cover topics such as Actions and Agents, Nonmonotonic and Human Reasoning, Preferences and Argumentation.
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-14726-0
- Collation
- XIV, 361
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 ADV a
Introduction to Programming Languages
Introduction to Programming Languages is designed to formalize and consolidate the knowledge of programming languages gained in the introductory courses a computer science curriculum and to provide a base for further studies in the semantics and translation of programming languages. This book is intended as an undergraduate text in the theory of programming languages. To gain maximum benefit…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 AAB i
Database Design
This book presents the concepts used in database systems, focusing on design process.
- Edition
- 2nd Edition
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 WAT d
Android Programming Tutorials
This book has been replaced by the omnibus edition of The Busy Coder's Guide to Android Development, and so this book is no longer available in digital form as a separate title. Visit the page for The Busy Coder's Guide to Android Development to learn more about the original Android programming book!
- Edition
- -
- ISBN/ISSN
- 978-0-9816780-4-7
- Collation
- -
- Series Title
- -
- Call Number
- 005 MUR a
The 2-tuple Linguistic Model
The authors provide a thorough review of the specialized literature in CWW and highlight the rapid growth and applicability of the 2-tuple linguistic model. They explore the foundations and methodologies for CWW in complex frameworks and extensions. The book introduces the software FLINTSTONES that provides tools for solving linguistic decision problems based on the 2-tuple linguistic model.
- Edition
- -
- ISBN/ISSN
- 978-3-319-24714-4
- Collation
- XIII, 168
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography