İYTE Library Logo

551 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
000000000000DEFAULT
Print
1. 
Cover image for Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
2. 
Cover image for Refinement Semantics, Languages and Applications
Refinement Semantics, Languages and Applications
3. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XI
Transactions on Petri Nets and Other Models of Concurrency XI
4. 
Cover image for Elementary Logic For Software Development
Elementary Logic For Software Development
5. 
Cover image for A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
6. 
Cover image for Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
7. 
Cover image for Semantics with Applications: An Appetizer
Semantics with Applications: An Appetizer
8. 
Cover image for Abstract Computing Machines A Lambda Calculus Perspective
Abstract Computing Machines A Lambda Calculus Perspective
9. 
Cover image for A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
10. 
Cover image for Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
11. 
Cover image for Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
12. 
Cover image for Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Select All
551 Results Found Subscribe to search results
Limit Search Results
Author
SpringerLink (Online service)
(551)
Voronkov, Andrei. editor.
(9)
Liu, Zhiming. editor.
(7)
Stafford, Judith A. editor.
(6)
Bernardo, Marco. editor.
(5)
Material Type
E-Book
(551)
Language
English
(551)
Publication Date
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
2007
(105)
2016
(101)
2005
(95)
2006
(91)
2008
(91)
Subject
Logic design.
(551)
Logics and Meanings of Programs.
(551)
Computer science.
(524)
Software engineering.
(402)
Programming Languages, Compilers, Interpreters.
(278)
Shelf Location
Library

İYTE Kütüphanesi © 2020
library@iyte.edu.tr
+90 (232) 750-6335
Gülbahçe Kampüsü - Urla, İzmir 35430 TR