topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
ISBN: 9783540442356 / Angielski / Miękka / 2002 / 536 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Compiled from the proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain, in September 2002, this volume contains 32 revised full papers. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.
Compiled from the proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain, in September 2002, this volume cont...
|
cena:
195,42 zł |
 |
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Netherlands, September 20 - 22, 1995
ISBN: 9783540603597 / Angielski / Miękka / 1995 / 476 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.
The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight... This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95...
|
cena:
195,42 zł |
 |
Practical Aspects of Declarative Languages: 7th International Symposium, Padl 2005, Long Beach, Ca, Usa, January 10-11, 2005, Proceedings
ISBN: 9783540243625 / Angielski / Miękka / 2005 / 272 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. This work addresses various aspects of declarative programming including implementational issues and applications in areas such as database management, active networks, and more.
Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA i...
|
cena:
195,42 zł |
 |
Logic-Based Program Synthesis and Transformation: 26th International Symposium, Lopstr 2016, Edinburgh, Uk, September 6-8, 2016, Revised Selected Pape
ISBN: 9783319631387 / Angielski / Miękka / 2017 / 361 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
195,42 zł |
 |
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
ISBN: 9783540584025 / Angielski / Miękka / 1994 / 474 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and...
This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), h...
|
cena:
195,42 zł |
 |
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
ISBN: 9783642113185 / Angielski / Miękka / 2010 / 397 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa (1998), Venice (2002), New York (2003), Venice(2004), Paris(2005), Charleston(2006), Nice(2007), SanFrancisco(2008), and Savannah (2009). VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking,...
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), he...
|
cena:
195,42 zł |
 |
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
ISBN: 9783031442445 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
320,51 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
