Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
9 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT
Yazdır
1. 
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday için kapak resmi
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
by 
Grumberg, Orna. editor.
https://doi.org/10.1007/978-3-642-01748-3
Format: 
Alıntı: 
Programming and Software Engineering,
2. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
by 
Paule, Peter. editor.
https://doi.org/10.1007/978-3-319-00966-7
Format: 
Alıntı: 
Software engineering.
3. 
Foundations of Algebraic Specification and Formal Software Development için kapak resmi
Foundations of Algebraic Specification and Formal Software Development
by 
Sannella, Donald. author.
https://doi.org/10.1007/978-3-642-17336-3
Format: 
Alıntı: 
Software engineering.
4. 
Transactions on Petri Nets and Other Models of Concurrency III için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency III
by 
SpringerLink (Online service)
https://doi.org/10.1007/978-3-642-04856-2
Format: 
Alıntı: 
Software engineering.
5. 
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings için kapak resmi
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
by 
Ferré, Sébastien. editor.
https://doi.org/10.1007/978-3-642-01815-2
Format: 
Alıntı: 
Software engineering.
6. 
Logic and Integer Programming için kapak resmi
Logic and Integer Programming
by 
Williams, H. Paul. author.
https://doi.org/10.1007/978-0-387-92280-5
Format: 
Alıntı: 
Software engineering.
7. 
Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings için kapak resmi
Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
by 
Caires, Luis. editor.
https://doi.org/10.1007/11523468
Format: 
Alıntı: 
Software engineering.
8. 
Adapting Proofs-as-Programs The Curry--Howard Protocol için kapak resmi
Adapting Proofs-as-Programs The Curry--Howard Protocol
by 
Poernomo, Iman. author.
https://doi.org/10.1007/0-387-28183-5
Format: 
Alıntı: 
Software engineering.
9. 
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday için kapak resmi
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
by 
Hutter, Dieter. editor.
https://doi.org/10.1007/b106663
Format: 
Alıntı: 
Software engineering.