Showing
1 - 5
results of
5
for search '
Chechik, Marsha
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Chechik, Marsha
Showing
1 - 5
results of
5
for search '
Chechik, Marsha
'
, query time: 0.13s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Published 2016
Other Authors:
“…
Chechik
,
Marsha
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...
Published 2009
Other Authors:
“…
Chechik
,
Marsha
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2016
Other Authors:
“…
Chechik
,
Marsha
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
Published 2008
Other Authors:
“…
Chechik
,
Marsha
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
Published 2008
Other Authors:
“…
Chechik
,
Marsha
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer science
Computer Science
Computer logic
Logics and Meanings of Programs
Computation by Abstract Devices
Computer programming
Computers
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
Software Engineering
Software engineering
Mathematical Logic and Formal Languages
Mathematical logic
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Communication Networks
Computer communication systems
Organizing principles for web applications
Software Engineering/Programming and Operating Systems
Theory of Computation
Web applications
Web services
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών