Limit Search Results
Author
SpringerLink (Online service)
(212)
Legay, Axel. editor.
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Taylor and Francis.
(3)
Ait Ameur, Yamine. editor.
(2)
Language
English
(260)
Publication Date
-
Subject
Computer logic.
(160)
Software engineering.
(101)
Artificial intelligence.
(78)
Mathematical logic.
(66)
Programming languages (Electronic computers).
(59)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
260 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Author 
Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45489-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Verification of Business Rules Programs
Verification of Business Rules Programs
Author 
Berstel-Da Silva, Bruno. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-40038-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Author 
Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43613-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Foundation of digital electronics and logic design
Foundation of digital electronics and logic design
Author 
Sarkar, Subir Kumar, author. De, Asishkumar, author. Sarkar, Souvik, author. Pan Stanford Publishing.
Preferred Shelf Number 
TK7868
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic of analog and digital machines
Logic of analog and digital machines
Author 
Rocchi, Paolo.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Making claims knowledge design, capture, and sharing in HCI
Making claims knowledge design, capture, and sharing in HCI
Author 
McCrickard, D. Scott, 1970-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=466361
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The logician and the engineer : how George Boole and Claude Shannon created the information age
The logician and the engineer : how George Boole and Claude Shannon created the information age
Author 
Nahin, Paul J.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic : the laws of truth
Logic : the laws of truth
Author 
Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7sr96
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Energy-aware memory management for embedded multimedia systems : a computer-aided design approach
Energy-aware memory management for embedded multimedia systems : a computer-aided design approach
Author 
Balasa, Florin. Pradhan, Dhiraj K.
Preferred Shelf Number 
TK7895 .E42 E69 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Godel's way : exploits into an undecidable world
Godel's way : exploits into an undecidable world
Author 
Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.
Preferred Shelf Number 
QA9.65 .C428 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Multiple-base number system : theory and applications
Multiple-base number system : theory and applications
Author 
Dimitrov, Vassil., author. Jullien, Graham. Muscedere, Roberto.
Preferred Shelf Number 
QA76.9 .C62 D56 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action